pkgsrc - [no description]

Age	Commit message (Expand)	Author	Files	Lines
2019-04-25	PKGREVISION bump for anything using python without a PYPKGPREFIX.	maya	1	-2/+2
2018-12-18	z3: Upgrade to 4.8.3	kamil	1	-2/+1
2018-11-12	Revbumps associated with update of lang/ocaml.	jaapb	1	-2/+2
2018-07-19	Recursive revbump associated with the update of lang/ocaml to 4.07.	jaapb	1	-2/+2
2018-04-13	Revbump associated with the upgrade of lang/ocaml	jaapb	1	-2/+2
2018-03-13	Re-introduce support for NetBSD in src/util/scoped_timer.cpp	khorben	1	-1/+2
2018-03-13	Update math/z3 to version 4.5.0	khorben	1	-25/+2
2018-02-27	z3: forbid python 3.x	wiz	1	-1/+3
2018-01-10	Recursive revbump associated with the update to OCaml 4.06.	jaapb	1	-2/+2
2017-09-08	Recursive revbump associated with update of ocaml to 4.05	jaapb	1	-2/+2
2017-07-11	Revbump associated with ocaml-4.04.2	jaapb	1	-2/+2
2016-12-30	Recursive revbump associated with ocaml update to 4.04.	jaapb	1	-2/+2
2016-05-05	Recursive revbump associated with ocaml update.	jaapb	1	-1/+2
2015-11-24	Package the Z3 theorem prover / SMT solver from Microsoft Research.	dholland	1	-0/+29