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