Log In
rpms
/
Agda-stdlib
Clone
Source Code
GIT
Source
Issues
Pull Requests
0
Stats
History Agda-stdlib.spec
Branch:
12fcba20ad3e16d2678a6bb6fcd8c073e75034a7
el6
epel9
f19
f20
f21
f22
f23
f24
f25
f26
f27
f28
f29
f30
f31
f32
f33
f34
f35
f36
f37
f38
f39
f40
main
rawhide
12fcba20ad3e16d2678a6bb6fcd8c073e75034a7
Agda-stdlib.spec
update to 0.9
Jens Petersen
• 9 years ago
12fcba2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
Peter Robinson
• 9 years ago
f191f9a
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
Dennis Gilmore
• 10 years ago
1fdd505
no ghc-rpm-macros-extra on F19
Jens Petersen
• 10 years ago
357e012
import (#839260)
Jens Petersen
• 10 years ago
3a702b0