CVSROOT: /cvs Module name: ports Changes by: bcal...@cvs.openbsd.org 2019/03/16 21:26:54
Modified files: lang/compcert : Makefile distinfo lang/compcert/patches: patch-configure Log message: Update to compcert-3.5 ok daniel@ (MAINTAINER)
CVSROOT: /cvs Module name: ports Changes by: bcal...@cvs.openbsd.org 2019/03/16 21:26:54
Modified files: lang/compcert : Makefile distinfo lang/compcert/patches: patch-configure Log message: Update to compcert-3.5 ok daniel@ (MAINTAINER)