[#] http://marc.info/?l=openbsd-ports-cvs&m=140877778223626&w=2
openbsd-ports-cvs(obsdave,2) — All
2014-08-23 11:55:12

Module name: ports
Changes by: chrisz@cvs.openbsd.org 2014/08/23 01:09:18

Modified files:
devel/frama-c : Makefile
lang/obc : Makefile
math/coq : Makefile

Log message:
Last OCaml REVISION bumps do to changes in BUILD_DEPENDS.