pkgsrc - [no description]

Age	Commit message (Expand)	Author	Files	Lines
2021-10-26	math: Replace RMD160 checksums with BLAKE2s checksums	nia	1	-2/+2
2021-10-07	math: Remove SHA1 hashes for distfiles	nia	1	-2/+1
2021-03-08	Recursive revbump associated with update of lang/ocaml	jaapb	1	-2/+2
2020-05-31	Explicitly read files as unicode for Python 3. The content is converted	joerg	3	-7/+62
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	11	-352/+48
2018-11-12	Revbumps associated with update of lang/ocaml.	jaapb	1	-2/+2
2018-10-01	z3: rlim_t fixes.	jperkin	2	-1/+17
2018-07-19	Recursive revbump associated with the update of lang/ocaml to 4.07.	jaapb	1	-2/+2
2018-06-15	z3: Fix broken build system by pretending SunOS is Linux.	jperkin	2	-6/+27
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	3	-2/+63
2018-03-13	Import a package for the Python bindings for math/z3	khorben	1	-1/+2
2018-03-13	Remove the references to wip	khorben	2	-7/+6
2018-03-13	Update math/z3 to version 4.5.0	khorben	11	-113/+304
2018-03-11	Requires ocaml-num with ocaml 4.06	dholland	1	-1/+2
2018-02-27	z3: forbid python 3.x	wiz	1	-1/+3
2018-02-23	Add support for DESTDIR	khorben	2	-6/+18
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-07-16	gcc6 build fix	markd	3	-1/+33
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	6	-0/+112