pkgsrc - [no description]

Age	Commit message (Collapse)	Author	Files	Lines
2020-05-19	gappa: Import gappa-1.3.5 as math-gappa	riastradh	1	-0/+31
	Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic.