Permalink
Browse files

base constraint.

  • Loading branch information...
leepike committed Nov 10, 2011
1 parent bdb29ac commit e92f3d1b4f07cdcfb653c7c38560f9a1af3f2787
Showing with 2 additions and 2 deletions.
  1. +2 −2 copilot.cabal
View
@@ -4,7 +4,7 @@ cabal-version: >= 1.10
license: BSD3
license-file: LICENSE
author: Nis Nordby Wegmann, Lee Pike, Robin Morisset, Sebastian Niller, Alwyn Goodloe
-synopsis: A stream DSL for writing embedded C (constant memory and constant time) programs.
+synopsis: A stream DSL for writing embedded C programs.
build-type: Simple
maintainer: Lee Pike <leepike@galois.com>
category: Language, Embedded
@@ -28,7 +28,7 @@ library
-caf-all
-fno-warn-orphans
build-depends:
- base >= 4.0
+ base >= 4.0 && <5
, copilot-core
, copilot-language
, copilot-libraries

0 comments on commit e92f3d1

Please sign in to comment.