kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/math/z3
History
khorben e93dd579a6 Re-introduce support for NetBSD in src/util/scoped_timer.cpp 
I forgot to patch this part in the latest update; sorry.
This has now been submitted upstream as well.

Originally from dholland@.

Compile-tested on NetBSD/amd64.

Bump PKGREVISION.
2018-03-13 21:20:34 +00:00
..
patches Re-introduce support for NetBSD in src/util/scoped_timer.cpp 2018-03-13 21:20:34 +00:00
buildlink3.mk Remove the references to wip 2018-03-13 00:34:02 +00:00
DESCR
distinfo Re-introduce support for NetBSD in src/util/scoped_timer.cpp 2018-03-13 21:20:34 +00:00
Makefile Re-introduce support for NetBSD in src/util/scoped_timer.cpp 2018-03-13 21:20:34 +00:00
Makefile.common Import a package for the Python bindings for math/z3 2018-03-13 00:36:04 +00:00
options.mk Update math/z3 to version 4.5.0 2018-03-13 00:31:16 +00:00
PLIST Update math/z3 to version 4.5.0 2018-03-13 00:31:16 +00:00