Browse files

bump version.

  • Loading branch information...
1 parent 4440f80 commit 804654d435b9a1b45b23572fc655d7dba8dd047c @leepike committed Feb 4, 2012
Showing with 4 additions and 2 deletions.
  1. +4 −2 copilot.cabal
View
6 copilot.cabal
@@ -1,5 +1,5 @@
name: copilot
-version: 2.0.5
+version: 2.0.6
cabal-version: >= 1.10
license: BSD3
license-file: LICENSE
@@ -30,7 +30,7 @@ library
build-depends:
base >= 4.0 && <5
, copilot-core >= 0.2.3
- , copilot-language >= 0.3
+ , copilot-language >= 0.4
, copilot-libraries
, copilot-cbmc
exposed-modules: Language.Copilot
@@ -63,6 +63,8 @@ executable copilot-regression
, PTLTLExamples
, Random
, RegExpExamples
+ , Sat
, StackExamples
, StatExamples
, VotingExamples
+

0 comments on commit 804654d

Please sign in to comment.