mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-24 00:45:52 +00:00
Code Issues Releases Activity
959c14d82f
freebsd-ports/math/coq
History
Eitan Adler 6e2e6fe4b0 multiple: avoid RUN_DEPENDS=${BUILD_DEPENDS} anti-pattern 
The ports infrastructure may insert additional content into the
	BUILD_DEPENDS variable which is not supposed to be a run depend.

Approved by:	portmgr (bapt)
2014-07-01 07:04:47 +00:00
..
distinfo - Update coq to 8.4.3 2014-01-11 09:31:40 +00:00
Makefile multiple: avoid RUN_DEPENDS=${BUILD_DEPENDS} anti-pattern 2014-07-01 07:04:47 +00:00
pkg-descr
pkg-plist - Update coq to 8.4.3 2014-01-11 09:31:40 +00:00