@@ -1,12 +1,12 @@
11Name: idris
2−Version: 0.9
2+Version: 0.9.0
33License: BSD3
44License-file: LICENSE
55Author: Edwin Brady
66Maintainer: Edwin Brady <eb@cs.st-andrews.ac.uk>
77Homepage: http://www.idris-lang.org/
88
9−Stability: Alpha
9+Stability: Beta
1010Category: Compilers/Interpreters, Dependent Types
1111Synopsis: Dependently Typed Functional Programming Language
1212Description: Idris is a general purpose language with full dependent types.
@@ -21,6 +21,11 @@ Build-type: Custom
2121Extra-source-files: lib/Makefile lib/*.idr lib/prelude/*.idr lib/network/*.idr
2222 tutorial/examples/*.idr
2323
24+source-repository head
25+ type: git
26+ location: git://github.com/edwinb/Idris-dev.git
27+
28+
2429Executable idris
2530 Main-is: Main.hs
2631 hs-source-dirs: src