opnsense-ports/math/coq
Franco Fichtner be015fa6e2 */*: sync with upstream
Taken from: FreeBSD
2023-08-21 13:14:09 +02:00
..
files */*: sync with upstream 2022-04-12 13:54:03 +02:00
distinfo
Makefile */*: sync with upstream 2023-08-21 13:14:09 +02:00
pkg-descr ports: bulk WWW change from FreeBSD 2022-09-07 22:33:21 +02:00
pkg-plist