ports - FreeBSD ports tree

	Commit message (Expand)	Author	Age	Files	Lines
*	math/yices: Properly fix distfile source specification	Älven	2025-09-22	2	-5/+5
*	math/yices: Bump PORTREVISION for new distfile	Älven	2025-09-21	1	-0/+1
*	math/yices: Fix distfile source specification	Daniel Engberg	2025-09-21	2	-3/+4
*	math/yices: Update 2.6.5 => 2.7.0, mark as PIE_UNSAFE	Älven	2025-09-21	3	-14/+15
*	math/yices: update 2.6.4 → 2.6.5	Yuri Victorovich	2024-08-19	3	-7/+8
*	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/yices: Update 2.6.2 -> 2.6.4	Yuri Victorovich	2022-01-26	4	-23/+14
*	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/yices: fix build on GCC architectures	Piotr Kubaj	2020-04-18	1	-1/+1
*	math/yices: Update 2.6.1 -> 2.6.2	Yuri Victorovich	2020-04-07	4	-7/+9
*	math/yices: Update 2.6.0 -> 2.6.1	Yuri Victorovich	2018-10-28	2	-4/+4
*	New port: math/yices: SMT solver	Yuri Victorovich	2018-07-21	5	-0/+87