Go to file
2023-02-16 12:44:15 +08:00
.gitignore bump release over Agda 2017-12-26 11:01:10 +01:00
ghc-ieee754.spec refresh to cabal-rpm-2.1.0 with SPDX migration 2023-02-16 12:44:15 +08:00
sources bump release over Agda 2017-12-26 11:01:10 +01:00