mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-25 00:51:21 +00:00
Code Issues Releases Activity
2023Q1
freebsd-ports/math/cvc4
History
Fernando Apesteguía f57221afde */*: Release ports from maintainership 
Maintainer releases all his ports.

PR:		266871
Reported by:	unrelentingtech <greg@unrelenting.technology>
2022-10-09 13:56:28 +02:00
..
files
distinfo
Makefile */*: Release ports from maintainership 2022-10-09 13:56:28 +02:00
pkg-descr Remove WWW entries moved into port Makefiles 2022-09-07 23:58:51 +02:00
pkg-plist