CVSROOT: /cvs Module name: ports Changes by: dan...@cvs.openbsd.org 2015/06/19 15:25:32
Modified files: math/coq : Makefile distinfo math/coq/patches: patch-configure math/coq/pkg : PFRAG.dynlink-native PLIST Log message: Update to coq 8.4pl6; ok Yozo (MAINTAINER), sthen@