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
13 Commits 17 Branches 0 Tags 67 KiB
RPM Spec 100%
72f773c78f
Go to file
Jens Petersen 72f773c78f BR prof for lib and static for executable
2019-08-05 18:30:06 +08:00
.gitignore bump release over Agda 2017-12-26 11:01:10 +01:00
ghc-ieee754.spec BR prof for lib and static for executable 2019-08-05 18:30:06 +08:00
sources bump release over Agda 2017-12-26 11:01:10 +01:00