rpms/Agda-stdlib
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
66 commits 29 branches 0 tags 73 KiB

Default branch

rawhide

fef6782f21 · Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild · Updated 2026-01-16 02:27:29 +00:00
 ZIP  TAR.GZ

Branches

f25

ed310a0ca7 · drop %ghc_arches_with_ghci · Updated 2016-03-07 13:53:09 +00:00    rpms

55
0
 Included
 ZIP  TAR.GZ
f24

efc162578c · - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild · Updated 2016-02-03 15:19:04 +00:00    rpms

56
0
 Included
 ZIP  TAR.GZ
f23

cf73a92b37 · - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild · Updated 2015-06-16 22:41:06 +00:00    rpms

57
0
 Included
 ZIP  TAR.GZ
f22

001ba0471e · move ffi lib into main package · Updated 2015-04-17 06:40:44 +00:00    rpms

58
0
 Included
 ZIP  TAR.GZ
f21

f191f9a56c · - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild · Updated 2014-08-15 18:10:34 +00:00    rpms

61
0
 Included
 ZIP  TAR.GZ
f19

357e012495 · no ghc-rpm-macros-extra on F19 · Updated 2014-02-12 06:07:48 +00:00    rpms

63
0
 Included
 ZIP  TAR.GZ
f20

357e012495 · no ghc-rpm-macros-extra on F19 · Updated 2014-02-12 06:07:48 +00:00    rpms

63
0
 Included
 ZIP  TAR.GZ
el6

dfb65bb6a0 · Initial setup of the repo · Updated 2014-02-10 13:19:37 +00:00    rpms

65
0
 Included
 ZIP  TAR.GZ