freebsd-ports/math/coq
2017-09-12 15:38:56 +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 Chase Emacs update 2017-09-12 15:38:56 +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