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 години