dfanfdsanfdsa/ood-ports-lbsd-fork1 @ f08698bfd37fd2660c12a33be02e897cc2b4ec42

派生自 jimmy/ood-ports-lbsd

krw f5fd6f0fd2 Upgrade Ocaml to 4.3.0 and tweak ports the minimal amount to keep		8 年之前
..
patch-Makefile_build	7d0c407ab6 update to coq 8.4pl2, from Daniel Dickman, ok Yozo TODA (maintainer)	11 年之前
patch-configure	1c147d96fd Update to coq 8.4pl6; ok Yozo (MAINTAINER), sthen@	9 年之前
patch-coqmktmp_ml	f5fd6f0fd2 Upgrade Ocaml to 4.3.0 and tweak ports the minimal amount to keep	8 年之前