Permalink
Browse files

Add dependency, bump version.

  • Loading branch information...
leepike committed Feb 4, 2012
1 parent 804654d commit c4e6b6d6d4874861f0c53eccfadce9cace785b33
Showing with 2 additions and 1 deletion.
  1. +2 −1 copilot.cabal
View
@@ -1,5 +1,5 @@
name: copilot
-version: 2.0.6
+version: 2.0.7
cabal-version: >= 1.10
license: BSD3
license-file: LICENSE
@@ -58,6 +58,7 @@ executable copilot-regression
, Examples
, Examples2
, ExtFuns
+ , Languages
, Local
, LTLExamples
, PTLTLExamples

0 comments on commit c4e6b6d

Please sign in to comment.