diff options
| author | Stefan Eßer <se@FreeBSD.org> | 2022-09-07 21:30:14 +0000 |
|---|---|---|
| committer | Stefan Eßer <se@FreeBSD.org> | 2022-09-07 21:58:51 +0000 |
| commit | fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4 (patch) | |
| tree | 4bfc4b617ac23047eb736c72fb80d2b4f9069605 /math/boolector | |
| parent | c53ddded1db88147493efaad6a9aa436d9b71fae (diff) | |
| download | ports-fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4.tar.gz ports-fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4.zip | |
Remove WWW entries moved into port Makefiles
Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.
This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.
Approved by: portmgr (tcberner)
Diffstat (limited to 'math/boolector')
| -rw-r--r-- | math/boolector/pkg-descr | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/math/boolector/pkg-descr b/math/boolector/pkg-descr index 252fae2909cf..fe82dc9c2f39 100644 --- a/math/boolector/pkg-descr +++ b/math/boolector/pkg-descr @@ -3,5 +3,3 @@ fixed-size bit-vectors, arrays and uninterpreted functions. It supports the SMT-LIB logics BV, QF_ABV, QF_AUFBV, QF_BV and QF_UFBV. Boolector provides a rich C and Python API and supports incremental solving, both with the SMT-LIB commands push and pop, and solving under assumptions. - -WWW: https://boolector.github.io/ |