1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-10-19 19:59:43 +00:00
freebsd-ports/math/coq
2018-05-31 01:18:05 +00:00
..
files Update to 8.6. Fix PORTEPOCH accidentally removed in the previous commit. 2016-12-31 23:05:08 +00:00
distinfo Update to 8.6. Fix PORTEPOCH accidentally removed in the previous commit. 2016-12-31 23:05:08 +00:00
Makefile USES=emacs ports: Bump PORTREVISION for editors/emacs 26.1 upgrade 2018-05-31 01:18:05 +00:00
pkg-descr
pkg-plist Update to 8.6. Fix PORTEPOCH accidentally removed in the previous commit. 2016-12-31 23:05:08 +00:00