suzanne.soy/cur
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Tweaks dependencies

Browse Source
This commit is contained in:
William J. Bowman 2015-09-24 16:58:36 -04:00
parent 008f4451f7
commit 6e27c1fc39
No known key found for this signature in database
GPG Key ID: DDD48D26958F0D1A
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
info.rkt
View File

@ -1,6 +1,6 @@
#lang info #lang info
(define collection "cur") (define collection "cur")
(define deps '("base" "rackunit-lib" ("redex-lib" #:version "1.6"))) (define deps '("base" "rackunit-lib" ("redex-lib" #:version "1.8" #;redex-1-paul-public)))
(define build-deps '("scribble-lib" "racket-doc" "sandbox-lib")) (define build-deps '("scribble-lib" "racket-doc" "sandbox-lib"))
(define scribblings '(("scribblings/cur.scrbl" (multi-page)))) (define scribblings '(("scribblings/cur.scrbl" (multi-page))))
(define pkg-desc "Dependent types with parenthesis and meta-programming.") (define pkg-desc "Dependent types with parenthesis and meta-programming.")