rpms/Agda
3
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Clone of https://src.fedoraproject.org/rpms/Agda
7 Commits 29 Branches 0 Tags 141 KiB
Emacs Lisp 100%
e9c90f6ee6
Go to file
Jens Petersen e9c90f6ee6 rebuild
2012-12-25 14:44:18 +09:00
.gitignore import (#710383) 2012-07-15 16:28:54 +09:00
Agda.spec rebuild 2012-12-25 14:44:18 +09:00
sources import (#710383) 2012-07-15 16:28:54 +09:00