@@ -1,12 +1,12 @@
2−Version: 0.9
2+Version: 0.9.0
3License: BSD3
3License: BSD3
4License-file: LICENSE
4License-file: LICENSE
5Author: Edwin Brady
5Author: Edwin Brady
6Maintainer: Edwin Brady <eb@cs.st-andrews.ac.uk>
6Maintainer: Edwin Brady <eb@cs.st-andrews.ac.uk>
7Homepage: http://www.idris-lang.org/
7Homepage: http://www.idris-lang.org/
9−Stability: Alpha
9+Stability: Beta
10Category: Compilers/Interpreters, Dependent Types
10Category: Compilers/Interpreters, Dependent Types
11Synopsis: Dependently Typed Functional Programming Language
11Synopsis: Dependently Typed Functional Programming Language
12Description: Idris is a general purpose language with full dependent types.
12Description: Idris is a general purpose language with full dependent types.
@@ -21,6 +21,11 @@ Build-type: Custom
21Extra-source-files: lib/Makefile lib/*.idr lib/prelude/*.idr lib/network/*.idr
21Extra-source-files: lib/Makefile lib/*.idr lib/prelude/*.idr lib/network/*.idr
22 tutorial/examples/*.idr
22 tutorial/examples/*.idr
24+source-repository head
26+ location: git://github.com/edwinb/Idris-dev.git
24Executable idris
29Executable idris
25 Main-is: Main.hs
30 Main-is: Main.hs
26 hs-source-dirs: src
31 hs-source-dirs: src