Merge pull request #4344 from juhp/patch-4
add issue tracker to .cabal file
commit3a714430271c3e9e7edcee87e671c1f0b2e11d47
authorAhmad Salim Al-Sibahi <asal@itu.dk>
dateThu 22 Feb 2018, 10:38 (9 years ago)
parentfab28415843c91
idris.cabal+1
@@ -5,6 +5,7 @@ License-file: LICENSE
55Author: Edwin Brady
66Maintainer: Edwin Brady <eb@cs.st-andrews.ac.uk>
77Homepage: http://www.idris-lang.org/
8+Bug-reports: https://github.com/idris-lang/Idris-dev/issues
89
910Stability: Beta
1011Category: Compilers/Interpreters, Dependent Types