CVSROOT: /cvs Module name: ports Changes by: dan...@cvs.openbsd.org 2021/03/10 08:00:53
Modified files: lang/compcert : Makefile distinfo Log message: update to commit 6bf310dd for coq 8.13.1 support from Yozo Toda
CVSROOT: /cvs Module name: ports Changes by: dan...@cvs.openbsd.org 2021/03/10 08:00:53
Modified files: lang/compcert : Makefile distinfo Log message: update to commit 6bf310dd for coq 8.13.1 support from Yozo Toda