ports - FreeBSD ports tree

	Commit message (Expand)	Author	Age	Files	Lines
*	math/boolector: update 3.2.2 → 3.2.3	Yuri Victorovich	2023-11-05	3	-45/+7
*	math/cadical: Update 1.5.3 → 1.6.0	Yuri Victorovich	2023-06-25	1	-1/+1
*	math/boolector: Add and correct dependencies	Yuri Victorovich	2023-01-04	1	-3/+9
*	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
*	math/boolector: Add CPE information	Bernhard Froehlich	2021-09-21	1	-1/+3
*	math/boolector: Update 3.2.1 -> 3.2.2	Yuri Victorovich	2021-06-02	3	-9/+10
*	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
*	math/boolector: Update 3.2.0 -> 3.2.1	Yuri Victorovich	2020-03-26	2	-4/+4
*	math/boolector: Update 3.1.0 -> 3.2.0	Yuri Victorovich	2020-02-08	2	-6/+9
*	math/boolector: Update 3.0.0-239 -> 3.1.0	Yuri Victorovich	2019-12-04	5	-25/+36
*	Bump PORTREVISION for ports depending on the canonical version of GCC	Gerald Pfeifer	2019-07-26	1	-0/+1
*	math/boolector: Add USES=compiler:c++11-lang	Yuri Victorovich	2019-06-14	1	-1/+1
*	New port: math/boolector: Satisfiability Modulo Theories (SMT) solver	Yuri Victorovich	2019-06-14	6	-0/+79