rpms/ghc-ieee754
3
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Clone of https://src.fedoraproject.org/rpms/ghc-ieee754
18 Commits 17 Branches 0 Tags 67 KiB
RPM Spec 100%
7fd1fd39c1
Go to file
Jens Petersen 7fd1fd39c1 bump release
2020-07-17 18:18:48 +08:00
.gitignore bump release over Agda 2017-12-26 11:01:10 +01:00
ghc-ieee754.spec bump release 2020-07-17 18:18:48 +08:00
sources bump release over Agda 2017-12-26 11:01:10 +01:00