Update path to preserves package
This commit is contained in:
parent
c55e5924f7
commit
d300f24243
|
@ -21,6 +21,6 @@
|
|||
"struct-defaults"
|
||||
"auxiliary-macro-context"
|
||||
"bitsyntax"
|
||||
"https://gitlab.com/preserves/preserves.git?path=implementations/racket"))
|
||||
"https://gitlab.com/preserves/preserves.git?path=implementations/racket/preserves"))
|
||||
|
||||
(define build-deps '("rackunit-lib"))
|
||||
|
|
Loading…
Reference in New Issue