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

Default Branch

rawhide

659376cb02 · bump release · Updated 2023-02-17 16:53:34 +00:00
 ZIP  TAR.GZ

Branches

f22

425f93e8ad · move agda from ghc-Agda-devel to ghc-Agda · Updated 2015-04-17 04:32:33 +00:00
91
0
 Included
 ZIP  TAR.GZ
f21

ca128ef253 · fix deps for ftbfs · Updated 2014-08-16 15:15:05 +00:00
101
0
 Included
 ZIP  TAR.GZ
epel7

2555551f5a · - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild · Updated 2014-08-15 18:10:09 +00:00
102
0
 Included
 ZIP  TAR.GZ
f20

e6f563dd1a · exclude archs without ghci since geniplate uses template-haskell (#1038068) · Updated 2014-01-22 01:38:31 +00:00
105
0
 Included
 ZIP  TAR.GZ
f19

4ea8724782 · drop defattr's · Updated 2013-09-02 03:39:26 +00:00
107
0
 Included
 ZIP  TAR.GZ
f18

9e1a47c6ad · remove ExclusiveArch ghc_arches_with_ghci · Updated 2012-12-06 09:57:07 +00:00
124
0
 Included
 ZIP  TAR.GZ
f16

7d0ed70eb3 · note emacs-agda interactive environment in description · Updated 2012-07-15 07:30:33 +00:00
127
0
 Included
 ZIP  TAR.GZ
f17

7d0ed70eb3 · note emacs-agda interactive environment in description · Updated 2012-07-15 07:30:33 +00:00
127
0
 Included
 ZIP  TAR.GZ