git.iko.soy/Idris-dev
on master help sign in
add issue tracker to .cabal file
5843c91Jens Petersen
idris.cabal+1
compare with master
unifiedsplit
@@ -5,6 +5,7 @@ License-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/
8+Bug-reports: https://github.com/idris-lang/Idris-dev/issues
8
9
9Stability: Beta
10Stability: Beta
10Category: Compilers/Interpreters, Dependent Types
11Category: Compilers/Interpreters, Dependent Types