1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-15 03:14:23 +00:00
freebsd-ports/math/coq
Mark Linimon bf43557044 For ports that are marked BROKEN on armv6, and also fail to build on
armv7, mark them so.

This is part two of a multipart commit to bring armv7 ports to parity
with armv6.

Approved by:	portmgr (tier-2 blanket)
Obtained from:	lonesome.com -exp run
2017-11-30 06:13:34 +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 For ports that are marked BROKEN on armv6, and also fail to build on 2017-11-30 06:13:34 +00:00
pkg-descr - Move license information from port description into LICENSE knobs 2016-11-19 11:39:40 +00:00
pkg-plist Update to 8.6. Fix PORTEPOCH accidentally removed in the previous commit. 2016-12-31 23:05:08 +00:00