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
eprover Theorem prover for full first-order logic with equality
2.0_1 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 2.0_1Version of this port present on the latest quarterly branch.
Maintainer: greg@unrelenting.technology search for ports maintained by this maintainer
Port Added: 2017-11-19 21:59:40
Last Update: 2021-04-07 08:09:01
Commit Hash: cf118cc
License: LGPL20+ GPLv2+
Description:
SVNWeb : git : Homepage
pkg-plist: as obtained via: make generate-plist
Expand this list (33 items)
Collapse this list.
  1. /usr/local/share/licenses/eprover-2.0_1/catalog.mk
  2. /usr/local/share/licenses/eprover-2.0_1/LICENSE
  3. /usr/local/share/licenses/eprover-2.0_1/LGPL20+
  4. /usr/local/share/licenses/eprover-2.0_1/GPLv2+
  5. bin/checkproof
  6. bin/e_axfilter
  7. bin/e_deduction_server
  8. bin/e_ltb_runner
  9. bin/eground
  10. bin/ekb_create
  11. bin/ekb_delete
  12. bin/ekb_ginsert
  13. bin/ekb_insert
  14. bin/epclextract
  15. bin/eproof
  16. bin/eproof_ram
  17. bin/eprover
  18. man/man1/checkproof.1.gz
  19. man/man1/e_axfilter.1.gz
  20. man/man1/e_deduction_server.1.gz
  21. man/man1/e_ltb_runner.1.gz
  22. man/man1/eground.1.gz
  23. man/man1/ekb_create.1.gz
  24. man/man1/ekb_delete.1.gz
  25. man/man1/ekb_ginsert.1.gz
  26. man/man1/ekb_insert.1.gz
  27. man/man1/epclextract.1.gz
  28. man/man1/eproof.1.gz
  29. man/man1/eproof_ram.1.gz
  30. man/man1/eprover.1.gz
  31. @owner
  32. @group
  33. @mode
Collapse this list.
Dependency lines:
  • eprover>0:math/eprover
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
PKGNAME: eprover
Flavors: there is no flavor information for this port.
distinfo:
Packages (timestamps in pop-ups are UTC):
eprover
ABIlatestquarterly
FreeBSD:11:aarch642.0_12.0_1
FreeBSD:11:amd642.0_12.0_1
FreeBSD:11:armv6-2.0_1
FreeBSD:11:i3862.0_12.0_1
FreeBSD:11:mips--
FreeBSD:11:mips64--
FreeBSD:12:aarch642.0_12.0_1
FreeBSD:12:amd642.0_12.0_1
FreeBSD:12:armv62.0_12.0_1
FreeBSD:12:armv72.0_12.0_1
FreeBSD:12:i3862.0_12.0_1
FreeBSD:12:mips--
FreeBSD:12:mips642.0_1-
FreeBSD:12:powerpc64-2.0_1
FreeBSD:13:aarch642.0_12.0_1
FreeBSD:13:amd642.0_12.0_1
FreeBSD:13:armv62.0_12.0_1
FreeBSD:13:armv72.0_12.0_1
FreeBSD:13:i3862.0_12.0_1
FreeBSD:13:mips--
FreeBSD:13:mips642.0_12.0_1
FreeBSD:13:powerpc642.0_12.0_1
FreeBSD:14:aarch642.0_1-
FreeBSD:14:amd642.0_1-
FreeBSD:14:armv62.0_1-
FreeBSD:14:armv72.0_1-
FreeBSD:14:i3862.0_1-
FreeBSD:14:mips--
FreeBSD:14:mips642.0_1-
FreeBSD:14:powerpc642.0_1-
 

Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. bash : shells/bash
  2. help2man : misc/help2man
Runtime dependencies:
  1. bash : shells/bash
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/eprover/eprover/tar.gz/E-2.0?dummy=/
Collapse this list.

Number of commits found: 5

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
07 Apr 2021 08:09:01
 files touched by this commit commit hash:cf118ccf875508b9a1c570044c93cfcc82bd455c  2.0_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  2.0_1
mat search for other commits by this committer
Remove # $FreeBSD$ from Makefiles.
02 Nov 2018 13:32:35
Original commit files touched by this commit Revision:483807  2.0_1
rene search for other commits by this committer
Remove compatibility code for FreeBSD < 11.2 from all ports.

Simplify some ports where DragonFlyBSD no longer needs to be special-cased.
Submitted by:	rene
Reviewed by:	bapt, jbeich
Differential Revision:	https://reviews.freebsd.org/D17724
12 Sep 2018 16:01:03
Original commit files touched by this commit Revision:479612  2.0_1
brooks search for other commits by this committer
Update llvm dependency (for 10.x support) to llvm60.

PR:		231289
Approved by:	Greg V <greg@unrelenting.technology> (maintainer)
Sponsored by:	DARPA, AFRL
19 Nov 2017 21:59:32
Original commit files touched by this commit Revision:454506  2.0
yuri search for other commits by this committer
New port: math/eprover : Theorem prover for full first-order logic with equality

PR:		211903
Submitted by:	Greg V <greg@unrelenting.technology>
Approved by:	tcberner (mentor)
Differential Revision:	https://reviews.freebsd.org/D13150

Number of commits found: 5