diff options
| author | Alex Kozlov <ak@FreeBSD.org> | 2016-02-10 16:14:34 +0000 |
|---|---|---|
| committer | Alex Kozlov <ak@FreeBSD.org> | 2016-02-10 16:14:34 +0000 |
| commit | fbb0e4c0a6d6de82902e3e16b9ac191573ae99b9 (patch) | |
| tree | a4de6c11498bc4d479141b67aa3e3b4e7003eec0 /math/why3 | |
| parent | 424ceb4c2512d1dc5dbdb6849fb75d955b0272b7 (diff) | |
| download | ports-fbb0e4c0a6d6de82902e3e16b9ac191573ae99b9.tar.gz ports-fbb0e4c0a6d6de82902e3e16b9ac191573ae99b9.zip | |
Notes
Diffstat (limited to 'math/why3')
| -rw-r--r-- | math/why3/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/math/why3/Makefile b/math/why3/Makefile index 3a0aa5cfbd6a..453515dbb17e 100644 --- a/math/why3/Makefile +++ b/math/why3/Makefile @@ -14,7 +14,7 @@ COMMENT= Deductive program verification platform LICENSE= LGPL21 LICENSE_FILE= ${WRKSRC}/LICENSE -CONFLICT_INSTALL= why3-gpl-* +CONFLICTS_INSTALL= why3-gpl-* BUILD_DEPENDS= ocaml-zarith>1.2:${PORTSDIR}/math/ocaml-zarith \ lablgtk2:${PORTSDIR}/x11-toolkits/ocaml-lablgtk2 \ |