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

Jens Petersen afe3c95527 apply cpphs patch		2016-10-06 12:23:24 +09:00
.gitignore	update to 2.4.2.5	2016-10-06 11:01:47 +09:00
Agda-cpphs-version.patch	allow cpphs-1.20	2016-10-06 12:19:22 +09:00
Agda.spec	apply cpphs patch	2016-10-06 12:23:24 +09:00
agda-mode-init.el	add agda-mode-init.el from ghc-Agda	2013-06-14 19:12:49 +09:00
sources	update to 2.4.2.5	2016-10-06 11:01:47 +09:00