rpms/ghc-ieee754
3
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
29 Commits 17 Branches 0 Tags 67 KiB
7da7d7a65f
Commit Graph

2 Commits

Author SHA1 Message Date
Jens Petersen
e2ed9332be bump release over Agda 2017-12-26 11:01:10 +01:00
Jens Petersen
412267aaba import (#1104579) 2017-12-26 08:45:19 +01:00