Go to file
2018-01-24 14:11:25 +01:00
.gitignore bump release over Agda 2017-12-26 11:01:10 +01:00
ghc-ieee754.spec refresh to cabal-rpm-0.12.1 2018-01-24 14:11:25 +01:00
sources bump release over Agda 2017-12-26 11:01:10 +01:00