ports - FreeBSD ports tree

	Commit message (Expand)	Author	Age	Files	Lines
*	math/eprover: Move man pages to share/man	Nuno Teixeira	2024-03-12	2	-14/+14
*	math/eprover: Improve PORTSCOUT	Yuri Victorovich	2023-08-22	1	-1/+1
*	math/eprover: Add PORTSCOUT line	Yuri Victorovich	2023-07-24	1	-0/+2
*	math/eprover: Update 2.0 → 2.6	Yuri Victorovich	2023-07-23	5	-35/+27
*	math/eprover: Take maintainership	Yuri Victorovich	2023-07-22	1	-1/+1
*	/: Release ports from maintainership	Fernando Apesteguía	2022-10-09	1	-1/+1
*	Remove WWW entries moved into port Makefiles	Stefan Eßer	2022-09-07	1	-2/+0
*	Add WWW entries to port Makefiles	Stefan Eßer	2022-09-07	1	-0/+1
*	One more small cleanup, forgotten yesterday.	Mathieu Arnold	2021-04-07	1	-1/+0
*	Remove # $FreeBSD$ from Makefiles.	Mathieu Arnold	2021-04-06	1	-1/+0
*	Remove compatibility code for FreeBSD < 11.2 from all ports.	Rene Ladan	2018-11-02	1	-11/+1
*	Update llvm dependency (for 10.x support) to llvm60.	Brooks Davis	2018-09-12	1	-4/+5
*	New port: math/eprover : Theorem prover for full first-order logic with equality	Yuri Victorovich	2017-11-19	6	-0/+118