Skip to content
Browse files

Update version number (to ensure bug fixes for latest idris)

  • Loading branch information...
1 parent 0460dac commit 1c3e40900f8cdb5b74506d0d062d947955c30547 Edwin Brady committed Jan 6, 2012
Showing with 1 addition and 1 deletion.
  1. +1 −1 epic.cabal
View
2 epic.cabal
@@ -1,5 +1,5 @@
Name: epic
-Version: 0.9.1
+Version: 0.9.2
Author: Edwin Brady
License: BSD3
License-file: LICENSE

0 comments on commit 1c3e409

Please sign in to comment.
Something went wrong with that request. Please try again.