Go to file
2019-08-02 05:47:19 +05:30
.gitignore bump release over Agda 2017-12-26 11:01:10 +01:00
ghc-ieee754.spec cabal-rpm-1.0.0: add doc and prof subpkgs 2019-08-02 05:47:19 +05:30
sources bump release over Agda 2017-12-26 11:01:10 +01:00