diff options
| author | khorben <khorben@pkgsrc.org> | 2018-03-13 00:36:04 +0000 |
|---|---|---|
| committer | khorben <khorben@pkgsrc.org> | 2018-03-13 00:36:04 +0000 |
| commit | 880d7149846a8d2567ca629facc422a01c5ea8a8 (patch) | |
| tree | e7c0b0fa6a2a959552d7b0498aebac786c6f95b5 /math/z3 | |
| parent | 34d79d1f2fd7663f6239025b4069eb88590b2367 (diff) | |
| download | pkgsrc-880d7149846a8d2567ca629facc422a01c5ea8a8.tar.gz | |
Import a package for the Python bindings for math/z3
Diffstat (limited to 'math/z3')
| -rw-r--r-- | math/z3/Makefile.common | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/math/z3/Makefile.common b/math/z3/Makefile.common index 0a955ee36da..6e14c6dc3a5 100644 --- a/math/z3/Makefile.common +++ b/math/z3/Makefile.common @@ -1,5 +1,6 @@ -# $NetBSD: Makefile.common,v 1.2 2018/03/13 00:34:02 khorben Exp $ +# $NetBSD: Makefile.common,v 1.3 2018/03/13 00:36:04 khorben Exp $ # +# used by math/py-z3/Makefile # used by math/z3/Makefile DISTNAME= z3-4.5.0 |