From 93b6495d69112e2660e689d4e9d7de0d05569dd8 Mon Sep 17 00:00:00 2001 From: "William J. Bowman" Date: Sun, 10 Jan 2016 18:52:35 -0500 Subject: [PATCH] Add cur meta-package; tweaked descrip. of cur-lib --- cur-lib/info.rkt | 2 +- cur/info.rkt | 6 ++++++ 2 files changed, 7 insertions(+), 1 deletion(-) create mode 100644 cur/info.rkt diff --git a/cur-lib/info.rkt b/cur-lib/info.rkt index 8967515..fc2d01e 100644 --- a/cur-lib/info.rkt +++ b/cur-lib/info.rkt @@ -2,6 +2,6 @@ (define collection 'multi) (define deps '("base" ("redex-lib" #:version "1.11"))) (define build-deps '()) -(define pkg-desc "Dependent types with parenthesis and meta-programming.") +(define pkg-desc "implementation (no documentation, tests) part of \"cur\".") (define version "0.2") (define pkg-authors '(wilbowma)) diff --git a/cur/info.rkt b/cur/info.rkt new file mode 100644 index 0000000..b4cb13d --- /dev/null +++ b/cur/info.rkt @@ -0,0 +1,6 @@ +#lang info +(define collection 'multi) +(define deps '("cur-lib" "cur-doc" "cur-test")) +(define implies '("cur-lib" "cur-doc" "cur-test")) +(define pkg-desc "Dependent types with parenthesis and meta-programming.") +(define pkg-authors '(wilbowma))