add issue tracker to .cabal file
commit5843c91e3c0184546e24baa81dbc404f4bf052de
authorJens Petersen <juhpetersen@gmail.com>
dateThu 22 Feb 2018, 16:58 (9 years ago)
parenta7257e6
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