CVSROOT: /cvs Module name: ports Changes by: a...@cvs.openbsd.org 2015/08/30 10:34:41
Modified files: math/coq : Makefile Log message: bump coq REVISION due to OCaml 4.02.3 update ok jca@, tested by krw@ daniel@ jsg@
CVSROOT: /cvs Module name: ports Changes by: a...@cvs.openbsd.org 2015/08/30 10:34:41
Modified files: math/coq : Makefile Log message: bump coq REVISION due to OCaml 4.02.3 update ok jca@, tested by krw@ daniel@ jsg@