Permalink
Browse files

Bump version.

  • Loading branch information...
1 parent 0ebad84 commit 1a8c1f4de5affcead0a0c218f3cf7818515830a0 @leepike committed Jan 28, 2012
Showing with 3 additions and 3 deletions.
  1. +3 −3 copilot.cabal
View
@@ -1,5 +1,5 @@
name: copilot
-version: 2.0.4
+version: 2.0.5
cabal-version: >= 1.10
license: BSD3
license-file: LICENSE
@@ -29,8 +29,8 @@ library
-fno-warn-orphans
build-depends:
base >= 4.0 && <5
- , copilot-core
- , copilot-language
+ , copilot-core >= 0.2.3
+ , copilot-language >= 0.3
, copilot-libraries
, copilot-cbmc
exposed-modules: Language.Copilot

0 comments on commit 1a8c1f4

Please sign in to comment.