rpms
/
Agda
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
54 Commits 29 Branches 0 Tags 141 KiB
Commit Graph

54 Commits

Author SHA1 Message Date
Dennis Gilmore 5c578a52e9 - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild 2012-07-18 07:49:21 -05:00
Jens Petersen 7d0ed70eb3 note emacs-agda interactive environment in description 2012-07-15 16:30:33 +09:00
Jens Petersen 1567c74efa import (#710383) 2012-07-15 16:28:54 +09:00
Fedora Release Engineering 18fff63fc3 Initial setup of the repo 2012-07-13 22:58:13 +00:00