rpms
/
Agda
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
6 Commits 29 Branches 0 Tags 141 KiB
Emacs Lisp 100%
Go to file
Jens Petersen 9e1a47c6ad remove ExclusiveArch ghc_arches_with_ghci 
Agda does not use TemplateHaskell
 		2012-12-06 18:57:07 +09:00
.gitignore import (#710383) 2012-07-15 16:28:54 +09:00
Agda.spec remove ExclusiveArch ghc_arches_with_ghci 2012-12-06 18:57:07 +09:00
sources import (#710383) 2012-07-15 16:28:54 +09:00