git.iko.soy/Idris-dev
on master help sign in
Merge pull request #4344 from juhp/patch-4
3a71443Ahmad Salim Al-Sibahi
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