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 년 전