CVSROOT: /cvs Module name: ports Changes by: ajacou...@cvs.openbsd.org 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