mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-24 09:25:01 +00:00
Code Issues Releases Activity
1015a6cef6
freebsd-ports/math/coq
History
Hiroki Sato bb3308956b Update to 8.6. Fix PORTEPOCH accidentally removed in the previous commit.
2016-12-31 23:05:08 +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 Update to 8.6. Fix PORTEPOCH accidentally removed in the previous commit. 2016-12-31 23:05:08 +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