mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-07 02:06:57 +00:00
Code Issues Releases Activity
704f3d6735
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 math/boolector: Update 3.2.1 -> 3.2.2 2021-06-02 01:49:44 -07:00
Makefile math/boolector: Add CPE information 2021-09-21 12:57:52 +00:00
pkg-descr math/boolector: Update 3.2.1 -> 3.2.2 2021-06-02 01:49:44 -07:00
pkg-plist