nia
414fc7869d
math: Replace RMD160 checksums with BLAKE2s checksums
...
All checksums have been double-checked against existing RMD160 and
SHA512 hashes
2021-10-26 10:55:21 +00:00
nia
3c576fbd23
math: Remove SHA1 hashes for distfiles
2021-10-07 14:27:43 +00:00
riastradh
2a147aab60
math/gappa, math/sollya: Cite upstreamed patches.
2020-07-17 17:30:13 +00:00
riastradh
c4cad5eafa
Fix patchsum.
2020-05-23 22:59:31 +00:00
riastradh
3b5c832dc4
gappa: Import gappa-1.3.5 as math-gappa
...
Gappa is a tool intended to help verifying and formally proving
properties on numerical programs dealing with floating-point or
fixed-point arithmetic.
2020-05-19 21:42:29 +00:00
