CVSROOT: /cvs Module name: ports Changes by: [email protected] 2019/09/27 03:58:09
Modified files:
math/coq : Makefile
Log message:
Missed bump.
-@depend lang/ocaml,-main:ocaml-=4.08.1:ocaml-4.08.1
-@depend x11/lablgtk3:lablgtk3-*:lablgtk3-3.0.beta6p0
+@depend lang/ocaml:ocaml-=4.09.0:ocaml-4.09.0
+@depend x11/lablgtk3:lablgtk3-*:lablgtk3-3.0.beta6p1
