opnsense-ports/math/coq
Franco Fichtner afb6de4d59 */*: sync with upstream
Taken from: FreeBSD
2017-05-27 17:46:26 +02:00
..
files */*: sync with upstream 2017-01-01 14:58:41 +01:00
distinfo */*: sync with upstream 2017-01-01 14:58:41 +01:00
Makefile */*: sync with upstream 2017-05-27 17:46:26 +02:00
pkg-descr */*: sync with upstream 2016-11-20 11:10:19 +01:00
pkg-plist */*: sync with upstream 2017-01-01 14:58:41 +01:00