chrisz 808e37d32c run depending should be enough. ... math/coq and devel/frama-c already do it this way.		2014-11-05 14:59:12 +00:00
..
pkg
distinfo
Makefile	run depending should be enough.	2014-11-05 14:59:12 +00:00