| Port details on branch 2022Q4 |
- eprover Theorem prover for full first-order logic with equality
- 2.0_1 math
 =0      2.0_1Version of this port present on the latest quarterly branch. - There is no maintainer for this port.
- Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org
- Port Added: 2022-10-09 20:51:07
- Last Update: 2022-10-09 20:45:51
- Commit Hash: 5103313
- License: LGPL20+ GPLv2+
- WWW:
- https://www.eprover.org
- Description:
- A saturating theorem prover for full first-order logic with equality. It accepts
a problem specification, typically consisting of a number of first-order clauses
or formulas, and a conjecture, again either in clausal or full first-order
form. The system will then try to find a formal proof for the conjecture,
assuming the axioms.
  ¦  ¦  ¦  ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - USE_RC_SUBR (Service Scripts)
- no SUBR information found for this port
- Dependency lines:
-
- To install the port:
- cd /usr/ports/math/eprover/ && make install clean
- To add the package, run one of these commands:
- pkg install math/eprover
- pkg install eprover
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: eprover
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1508690062
SHA256 (eprover-eprover-E-2.0_GH0.tar.gz) = 63986bcfa139381831c14af5ef83e350f8efb169b1d22d15cb92026259ea14d2
SIZE (eprover-eprover-E-2.0_GH0.tar.gz) = 1315451
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- bash : shells/bash
- help2man : misc/help2man
- Runtime dependencies:
-
- bash : shells/bash
- There are no ports dependent upon this port
Configuration Options:- No options to configure
- Options name:
- math_eprover
- USES:
- shebangfix
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
Number of commits found: 1
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
2.0_1
09 Oct 2022 20:45:51
 |
Fernando Apesteguía (fernape) |
*/*: Release ports from maintainership
Maintainer releases all his ports.
PR: 266871
Reported by: unrelentingtech <greg@unrelenting.technology>
(cherry picked from commit f57221afde929c42521a9325c8e6416e2e400178)
Note deskutils/iconbrowser from the original commit was not in 2022Q4, but
deskutils/lookbook was. |
Number of commits found: 1
|
As an Amazon Associate I earn from qualifying purchases.