From fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Stefan=20E=C3=9Fer?= Date: Wed, 7 Sep 2022 23:30:14 +0200 Subject: 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) --- math/boolector/pkg-descr | 2 -- 1 file changed, 2 deletions(-) (limited to 'math/boolector') 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/ -- cgit v1.2.3