Clone of https://src.fedoraproject.org/rpms/Agda

Jens Petersen 04232b3527 rebuild		2017-03-13 12:15:19 +09:00
.gitignore	add tarballs	2017-03-10 14:30:32 +09:00
Agda-HashMap.patch	add patch for HashMap	2016-10-06 14:30:37 +09:00
Agda.spec	rebuild	2017-03-13 12:15:19 +09:00
agda-mode-init.el	add agda-mode-init.el from ghc-Agda	2013-06-14 19:12:49 +09:00
sources	add tarballs	2017-03-10 14:30:32 +09:00