notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)All times are UTC		 Ukraine
The safest procedure: change your FreshPorts password. Anything you had set before Friday March 24 2023 09:49:20 UTC should be changed. You can read more here: SQL inejection issues fixed and FreshSource code fixes Sorry about the extra work for you.
All known SQL injection issues patched. There is no evidence it was exploited. That doesn’t mean it wasn’t. Please change your password.
Port details
cvc5 Automatic theorem prover for SMT (Satisfiability Modulo Theories)
1.0.5 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 Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2023-01-04 11:54:07
Last Update: 2023-03-27 18:25:49
Commit Hash: 359167a
Also Listed In: java
License: BSD3CLAUSE
Description:
Homepage    cgit ¦ Codeberg ¦ GitHub ¦ GitLab ¦ SVNWeb - no subversion history for this port
pkg-plist: as obtained via: make generate-plist
Expand this list (25 items)
Collapse this list.
  1. @ldconfig
  2. /usr/local/share/licenses/cvc5-1.0.5/catalog.mk
  3. /usr/local/share/licenses/cvc5-1.0.5/LICENSE
  4. /usr/local/share/licenses/cvc5-1.0.5/BSD3CLAUSE
  5. bin/cvc5
  6. include/cvc5/cvc5.h
  7. include/cvc5/cvc5_export.h
  8. include/cvc5/cvc5_kind.h
  9. include/cvc5/cvc5_sort_kind.h
  10. include/cvc5/cvc5_types.h
  11. lib/cmake/cvc5/cvc5Config.cmake
  12. lib/cmake/cvc5/cvc5ConfigVersion.cmake
  13. lib/cmake/cvc5/cvc5JavaTargets.cmake
  14. lib/cmake/cvc5/cvc5Targets-production.cmake
  15. lib/cmake/cvc5/cvc5Targets.cmake
  16. lib/libcvc5.so
  17. lib/libcvc5.so.1
  18. lib/libcvc5jni.so
  19. lib/libcvc5parser.so
  20. lib/libcvc5parser.so.1
  21. share/java/cvc5-1.0.5.jar
  22. share/java/cvc5.jar
  23. @owner
  24. @group
  25. @mode
Collapse this list.
Dependency lines:
  • cvc5>0:math/cvc5
To install the port:
cd /usr/ports/math/cvc5/ && make install clean
To add the package, run one of these commands:
  • pkg install math/cvc5
  • pkg install cvc5
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.
PKGNAME: cvc5
Flavors: there is no flavor information for this port.
distinfo:
Packages (timestamps in pop-ups are UTC):
cvc5
ABIlatestquarterly
FreeBSD:11:aarch64pkg-falloutpkg-fallout
FreeBSD:11:amd64pkg-falloutpkg-fallout
FreeBSD:11:armv6pkg-falloutpkg-fallout
FreeBSD:11:i386pkg-falloutpkg-fallout
FreeBSD:11:mipspkg-falloutpkg-fallout
FreeBSD:11:mips64pkg-falloutpkg-fallout
FreeBSD:12:aarch64pkg-falloutpkg-fallout
FreeBSD:12:amd641.0.5pkg-fallout
FreeBSD:12:armv6pkg-falloutpkg-fallout
FreeBSD:12:armv7pkg-falloutpkg-fallout
FreeBSD:12:i3861.0.5pkg-fallout
FreeBSD:12:mipspkg-falloutpkg-fallout
FreeBSD:12:mips64pkg-falloutpkg-fallout
FreeBSD:12:powerpc64pkg-falloutpkg-fallout
FreeBSD:13:aarch64pkg-falloutpkg-fallout
FreeBSD:13:amd641.0.5pkg-fallout
FreeBSD:13:armv6pkg-falloutpkg-fallout
FreeBSD:13:armv7pkg-falloutpkg-fallout
FreeBSD:13:i3861.0.5pkg-fallout
FreeBSD:13:mipspkg-falloutpkg-fallout
FreeBSD:13:mips64pkg-falloutpkg-fallout
FreeBSD:13:powerpc64pkg-falloutpkg-fallout
FreeBSD:13:riscv64pkg-falloutpkg-fallout
FreeBSD:14:aarch64pkg-falloutpkg-fallout
FreeBSD:14:amd641.0.5pkg-fallout
FreeBSD:14:armv6pkg-falloutpkg-fallout
FreeBSD:14:armv7pkg-falloutpkg-fallout
FreeBSD:14:i3861.0.5pkg-fallout
FreeBSD:14:mipspkg-falloutpkg-fallout
FreeBSD:14:mips64pkg-falloutpkg-fallout
FreeBSD:14:powerpc64pkg-falloutpkg-fallout
FreeBSD:14:riscv64pkg-falloutpkg-fallout
 
Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. bash : shells/bash
  2. libcadical.a : math/cadical
  3. symfpu.a : math/symfpu
  4. py39-toml>0 : textproc/py-toml@py39
  5. py39-pyparsing>0 : devel/py-pyparsing@py39
  6. libedit>0 : devel/libedit
  7. swig : devel/swig
  8. java : java/openjdk8
  9. cmake : devel/cmake-core
  10. ninja : devel/ninja
  11. pkgconf>=1.3.0_1 : devel/pkgconf
  12. python3.9 : lang/python39
Runtime dependencies:
  1. libedit>0 : devel/libedit
Library dependencies:
  1. libantlr3c.so : devel/libantlr3c
  2. libboost_system.so : devel/boost-libs
  3. libcryptominisat5.so : math/cryptominisat
  4. libgmp.so : math/gmp
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/cvc5/cvc5/tar.gz/cvc5-1.0.5?dummy=/
Collapse this list.
Port Moves
  • port moved here from math/cvc3 on 2023-01-04
    REASON: CVC3 was succeeded by CVC4 and CVC5

  • port moved here from math/cvc4 on 2023-01-03
    REASON: CVC4 was succeeded by CVC5

Number of commits found: 7

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
1.0.5
27 Mar 2023 18:25:49
commit hash:359167a298721dff5bc99fc9bcae00d7819b50f6commit hash:359167a298721dff5bc99fc9bcae00d7819b50f6commit hash:359167a298721dff5bc99fc9bcae00d7819b50f6commit hash:359167a298721dff5bc99fc9bcae00d7819b50f6 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/cvc5: Fix tests
1.0.5
26 Mar 2023 17:35:48
commit hash:f2389f083f3992c10828674544e068d754db8178commit hash:f2389f083f3992c10828674544e068d754db8178commit hash:f2389f083f3992c10828674544e068d754db8178commit hash:f2389f083f3992c10828674544e068d754db8178 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/cvc5: Add PORTSCOUT line
1.0.5
15 Mar 2023 08:50:43
commit hash:a732bcdc59d6acb3b275fd9ae0f3a0776c8b8335commit hash:a732bcdc59d6acb3b275fd9ae0f3a0776c8b8335commit hash:a732bcdc59d6acb3b275fd9ae0f3a0776c8b8335commit hash:a732bcdc59d6acb3b275fd9ae0f3a0776c8b8335 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/cvc5: Update 1.0.4 → 1.0.5
1.0.4_1
10 Feb 2023 09:42:14
commit hash:ca722003daacc9cf18b1eccb22500099e4fcf26acommit hash:ca722003daacc9cf18b1eccb22500099e4fcf26acommit hash:ca722003daacc9cf18b1eccb22500099e4fcf26acommit hash:ca722003daacc9cf18b1eccb22500099e4fcf26a files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/cvc5: Correct options section
1.0.4
07 Feb 2023 03:00:43
commit hash:7c8a6b010bfac0c78c4123c4d3e8049600d95f73commit hash:7c8a6b010bfac0c78c4123c4d3e8049600d95f73commit hash:7c8a6b010bfac0c78c4123c4d3e8049600d95f73commit hash:7c8a6b010bfac0c78c4123c4d3e8049600d95f73 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/cvc5: Update 1.0.3 → 1.0.4
1.0.3_1
16 Jan 2023 19:32:07
commit hash:e1287d0d1228d93e469256fa6c4c824b9d20426bcommit hash:e1287d0d1228d93e469256fa6c4c824b9d20426bcommit hash:e1287d0d1228d93e469256fa6c4c824b9d20426bcommit hash:e1287d0d1228d93e469256fa6c4c824b9d20426b files touched by this commit		 Dima Panov (fluffy) search for other commits by this committer 
*/*:	bump libboost*.so libraries consumert after Boost upgrade
1.0.3
04 Jan 2023 11:50:53
commit hash:faf8043d8972b9be04156c476417ed611a280821commit hash:faf8043d8972b9be04156c476417ed611a280821commit hash:faf8043d8972b9be04156c476417ed611a280821commit hash:faf8043d8972b9be04156c476417ed611a280821 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/cvc4: Move to math/cvc5 - CVC4 was succeeded by CVC5

Remove the PYTHON option - it will be made into a separate port.

Number of commits found: 7
Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
Security Policy
Privacy
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
cinnyMar 29
element-webMar 29
opensslMar 29
openssl30Mar 29
openssl31Mar 29
xorg-serverMar 29
xwaylandMar 29
xwayland-develMar 29
dinoMar 24
openssl*Mar 24
openssl30*Mar 24
openssl31*Mar 24
phpmyfaqMar 24
rubygem-rackMar 24
rubygem-rack16Mar 24

13 vulnerabilities affecting 179 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last processed:
2023-03-29 23:49:00 UTC


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)

Calculated hourly:
Port count 31364
Broken 136
Deprecated 185
Ignore 311
Forbidden 0
Restricted 2
No CDROM 0
Vulnerable 31
Expired 7
Set to expire 151
Interactive 0
new 24 hours 4
new 48 hours6
new 7 days17
new fortnight61
new month116
Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD 		Valid HTML, CSS, and RSS. Copyright © 2000-2023 Dan Langille. All rights reserved.