rpms
/
ghc-ieee754
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
29 Commits 17 Branches 0 Tags 67 KiB
RPM Spec 100%
Go to file
David Abdurachmanov 7da7d7a65f
Rebuilt for Fedora/RISCV (riscv64); adding .rvreX to Release: 
Signed-off-by: David Abdurachmanov <davidlt@rivosinc.com>
 		2023-06-22 20:08:42 +03:00
.gitignore bump release over Agda 2017-12-26 11:01:10 +01:00
changelog Convert to %autorelease and %autochangelog 2023-02-16 13:28:34 +08:00
ghc-ieee754.spec Rebuilt for Fedora/RISCV (riscv64); adding .rvreX to Release: 2023-06-22 20:08:42 +03:00
sources bump release over Agda 2017-12-26 11:01:10 +01:00