kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
345252 commits 166 branches 0 tags 1.5 GiB
Commit graph

3 commits

Author SHA1 Message Date
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