mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2025-02-06 11:41:52 +00:00
Code Issues Releases Activity
freebsd-ports/math/boolector
History
Bernhard Froehlich bd9a7a4930
math/boolector: Add CPE information 
Approved by:    portmgr (blanket)
2021-09-21 12:57:52 +00:00
..
files
…
distinfo
…
Makefile
math/boolector: Add CPE information
2021-09-21 12:57:52 +00:00
pkg-descr
…
pkg-plist
…