kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/math/z3/patches
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
..
patch-configure Update math/z3 to version 4.5.0 2018-03-13 00:31:16 +00:00
patch-scripts_mk__util.py Update math/z3 to version 4.5.0 2018-03-13 00:31:16 +00:00
patch-src_util_scoped__timer.cpp Re-introduce support for NetBSD in src/util/scoped_timer.cpp 2018-03-13 21:20:34 +00:00
patch-src_util_stopwatch.h Update math/z3 to version 4.5.0 2018-03-13 00:31:16 +00:00