sync/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2025-05-22 11:48:35 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions
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