Permalink
Browse files

cabal changes

  • Loading branch information...
1 parent 1112fe4 commit b47740d5580a6a700965ebcc1af4e3a629fe8f53 Edwin Brady committed Jan 12, 2012
Showing with 8 additions and 3 deletions.
  1. +1 −1 CHANGELOG
  2. +7 −2 idris.cabal
View
@@ -1,4 +1,4 @@
-0.1.x to 0.9:
+0.1.x to 0.9.0:
Complete rewrite. User visible changes:
View
@@ -1,12 +1,12 @@
Name: idris
-Version: 0.9
+Version: 0.9.0
License: BSD3
License-file: LICENSE
Author: Edwin Brady
Maintainer: Edwin Brady <eb@cs.st-andrews.ac.uk>
Homepage: http://www.idris-lang.org/
-Stability: Alpha
+Stability: Beta
Category: Compilers/Interpreters, Dependent Types
Synopsis: Dependently Typed Functional Programming Language
Description: Idris is a general purpose language with full dependent types.
@@ -21,6 +21,11 @@ Build-type: Custom
Extra-source-files: lib/Makefile lib/*.idr lib/prelude/*.idr lib/network/*.idr
tutorial/examples/*.idr
+source-repository head
+ type: git
+ location: git://github.com/edwinb/Idris-dev.git
+
+
Executable idris
Main-is: Main.hs
hs-source-dirs: src

0 comments on commit b47740d

Please sign in to comment.