rpms/Agda
3
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Clone of https://src.fedoraproject.org/rpms/Agda
8 Commits 29 Branches 0 Tags 141 KiB
Emacs Lisp 100%
3b28604955
Go to file
Dennis Gilmore 3b28604955 - Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
2013-02-13 08:45:29 -06:00
.gitignore import (#710383) 2012-07-15 16:28:54 +09:00
Agda.spec - Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild 2013-02-13 08:45:29 -06:00
sources import (#710383) 2012-07-15 16:28:54 +09:00