notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)

/commits.php is going away

I'm proposing to take /commits.php away - it mainly duplicates the home page. Details in this GitHub issue.
Port details
boolector Satisfiability Modulo Theories (SMT) solver
3.2.2 math on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 3.2.2Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2019-06-14 07:37:12
Last Update: 2021-09-21 12:57:52
Commit Hash: bd9a7a4
License: MIT
Description:
SVNWeb : git : Homepage
pkg-plist: as obtained via: make generate-plist
Expand this list (15 items)
Collapse this list.
  1. /usr/local/share/licenses/boolector-3.2.2/catalog.mk
  2. /usr/local/share/licenses/boolector-3.2.2/LICENSE
  3. /usr/local/share/licenses/boolector-3.2.2/MIT
  4. bin/boolector
  5. bin/btormc
  6. include/boolector/boolector.h
  7. include/boolector/btortypes.h
  8. lib/cmake/Boolector/BoolectorConfig.cmake
  9. lib/cmake/Boolector/BoolectorConfigVersion.cmake
  10. lib/cmake/Boolector/BoolectorTargets-release.cmake
  11. lib/cmake/Boolector/BoolectorTargets.cmake
  12. lib/libboolector.so
  13. @owner
  14. @group
  15. @mode
Collapse this list.
Dependency lines:
  • For RUN/BUILD depends:
    • boolector>0:math/boolector
  • For LIB depends:
    • libboolector.so:math/boolector
To install the port: cd /usr/ports/math/boolector/ && make install clean
To add the package, run one of these commands:
  • pkg install math/boolector
  • pkg install boolector
PKGNAME: boolector
Flavors: there is no flavor information for this port.
distinfo:
Packages (timestamps in pop-ups are UTC):
boolector
ABIlatestquarterly
FreeBSD:11:aarch64-3.2.1
FreeBSD:11:amd643.2.23.2.2
FreeBSD:11:armv6-3.2.1
FreeBSD:11:i3863.2.23.2.2
FreeBSD:11:mips--
FreeBSD:11:mips64--
FreeBSD:12:aarch64-3.2.2
FreeBSD:12:amd643.2.23.2.2
FreeBSD:12:armv6-3.2.1
FreeBSD:12:armv7-3.2.1
FreeBSD:12:i3863.2.23.2.2
FreeBSD:12:mips--
FreeBSD:12:mips64--
FreeBSD:12:powerpc64-3.2.1
FreeBSD:13:aarch643.2.13.2.2
FreeBSD:13:amd643.2.23.2.2
FreeBSD:13:armv63.2.13.2.1
FreeBSD:13:armv73.2.13.2.1
FreeBSD:13:i3863.2.23.2.2
FreeBSD:13:mips--
FreeBSD:13:mips64--
FreeBSD:13:powerpc643.2.13.2.2
FreeBSD:14:aarch643.2.2-
FreeBSD:14:amd643.2.2-
FreeBSD:14:armv63.2.1-
FreeBSD:14:armv73.2.1-
FreeBSD:14:i3863.2.2-
FreeBSD:14:mips--
FreeBSD:14:mips64--
FreeBSD:14:powerpc643.2.1-
 

Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. cadical>0 : math/cadical
  2. cmake : devel/cmake
Library dependencies:
  1. libbtor2parser.so : math/btor2tools
  2. libminisat.so : math/minisat
  3. libpicosat.so : math/picosat
There are no ports dependent upon this port

Configuration Options:
Options name:

USES:

FreshPorts was unable to extract/find any pkg message
Master Sites:
Expand this list (1 items)
Collapse this list.
  1. https://codeload.github.com/Boolector/boolector/tar.gz/3.2.2?dummy=/
Collapse this list.

Number of commits found: 10

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
21 Sep 2021 12:57:52
 files touched by this commit commit hash:bd9a7a493052e721ef9c5daea8cfb6179fd9dbd9  3.2.2
decke search for other commits by this committer
math/boolector: Add CPE information

Approved by:    portmgr (blanket)
02 Jun 2021 08:49:44
 files touched by this commit commit hash:d4a7860092b926b2744f80200a9c8bf314aa4e13  3.2.2
yuri search for other commits by this committer
math/boolector: Update 3.2.1 -> 3.2.2

Reported by:	portscout
07 Apr 2021 08:09:01
 files touched by this commit commit hash:cf118ccf875508b9a1c570044c93cfcc82bd455c  3.2.1
mat search for other commits by this committer
One more small cleanup, forgotten yesterday.
Reported by:	lwhsu
06 Apr 2021 14:31:07
 files touched by this commit commit hash:305f148f482daf30dcf728039d03d019f88344eb  3.2.1
mat search for other commits by this committer
Remove # $FreeBSD$ from Makefiles.
26 Mar 2020 07:35:49
Original commit files touched by this commit Revision:529165  3.2.1
yuri search for other commits by this committer
math/boolector: Update 3.2.0 -> 3.2.1

Reported by:	portscout
08 Feb 2020 19:10:38
Original commit files touched by this commit Revision:525595  3.2.0
yuri search for other commits by this committer
math/boolector: Update 3.1.0 -> 3.2.0

Reported by:	portscout
04 Dec 2019 07:18:02
Original commit files touched by this commit Revision:518999  3.1.0
yuri search for other commits by this committer
math/boolector: Update 3.0.0-239 -> 3.1.0

Reported by:	portscout
26 Jul 2019 20:46:57
Original commit files touched by this commit Revision:507372  3.0.0.239_1
gerald search for other commits by this committer
Bump PORTREVISION for ports depending on the canonical version of GCC
as defined in Mk/bsd.default-versions.mk which has moved from GCC 8.3
to GCC 9.1 under most circumstances now after revision 507371.

This includes ports
 - with USE_GCC=yes or USE_GCC=any,
 - with USES=fortran,
 - using Mk/bsd.octave.mk which in turn features USES=fortran, and
 - with USES=compiler specifying openmp, nestedfct, c11, c++0x, c++11-lang,
   c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib
plus, everything INDEX-11 shows with a dependency on lang/gcc9 now.

PR:		238330
14 Jun 2019 07:46:35
Original commit files touched by this commit Revision:504170  3.0.0.239
yuri search for other commits by this committer
math/boolector: Add USES=compiler:c++11-lang
14 Jun 2019 07:37:00
Original commit files touched by this commit Revision:504169  3.0.0.239
yuri search for other commits by this committer
New port: math/boolector: Satisfiability Modulo Theories (SMT) solver

Number of commits found: 10