opnsense-ports/math/cvc4
Franco Fichtner 1e19029bb4 */*: sync with upstream
Taken from: HardenedBSD
2019-11-28 08:38:04 +01:00
..
files */*: sync with upstream 2019-08-02 08:50:20 +02:00
distinfo */*: sync with upstream 2019-08-02 08:50:20 +02:00
Makefile */*: sync with upstream 2019-11-28 08:38:04 +01:00
pkg-descr */*: sync with upstream 2018-06-22 07:30:49 +02:00
pkg-plist */*: sync with upstream 2019-08-02 08:50:20 +02:00