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

Jens Petersen 659376cb02 bump release		2023-02-18 00:53:34 +08:00
.gitignore	bump geniplate-mirror to 0.7.9	2023-01-29 22:44:09 +08:00
Agda-2.6.2.1.cabal	update to 2.6.2.1	2022-03-07 13:13:30 +08:00
Agda-2.6.2.2.cabal	refresh to cabal-rpm-2.1.0	2023-01-21 16:44:24 +08:00
Agda-HashMap.patch	add patch for HashMap	2016-10-06 14:30:37 +09:00
Agda.spec	bump release	2023-02-18 00:53:34 +08:00
agda-mode-init.el	add agda-mode-init.el from ghc-Agda	2013-06-14 19:12:49 +09:00
sources	bump geniplate-mirror to 0.7.9	2023-01-29 22:44:09 +08:00