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
..
2014-11-05 14:59:12 +00:00