summaryrefslogtreecommitdiffstats
path: root/testsuite/external
ModeNameSize
-rw-r--r--.ignore1742logstatsplain
-rw-r--r--Makefile46459logstatsplain
-rwxr-xr-xPatcher.sh1193logstatsplain
-rw-r--r--TODO.txt655logstatsplain
-rw-r--r--boomerang-0.2.patch373logstatsplain
-rw-r--r--camlimages-4.0.1.patch434logstatsplain
-rw-r--r--camlp5-6.06.patch74121logstatsplain
-rw-r--r--camlp5-6.08.patch37377logstatsplain
-rw-r--r--camlp5-6.10.patch469logstatsplain
-rw-r--r--camlp5-git.patch355logstatsplain
-rw-r--r--camlpdf-0.5.patch604logstatsplain
-rw-r--r--camlzip-1.04.patch1480logstatsplain
-rw-r--r--coq-8.3pl4.patch2324logstatsplain
-rw-r--r--coq-8.4pl1.patch417logstatsplain
-rw-r--r--coq-8.4pl2.patch417logstatsplain
-rw-r--r--core-109.37.00.patch779logstatsplain
-rw-r--r--core-suite-108.00.01.patch9465logstatsplain
-rw-r--r--extlib-1.5.2.patch360logstatsplain
-rw-r--r--frama-c-Nitrogen-20111001.patch4820logstatsplain
-rw-r--r--frama-c-Oxygen-20120901.patch5719logstatsplain
-rw-r--r--hevea-1.10.patch657logstatsplain
-rw-r--r--kaputt-1.2.patch1392logstatsplain
-rw-r--r--lablgtk-2.14.2.patch390logstatsplain
-rw-r--r--lablgtk-2.16.0.patch872logstatsplain
-rw-r--r--lablgtkextras-1.1.patch856logstatsplain
-rw-r--r--lablgtkextras-1.3.patch359logstatsplain
-rw-r--r--lwt-2.4.0.patch690logstatsplain
-rw-r--r--menhir-20120123.patch532logstatsplain
-rw-r--r--mldonkey-3.1.2.patch1231logstatsplain
-rw-r--r--oasis-common.patch1733logstatsplain
-rw-r--r--obrowser-1.1.1.patch54837logstatsplain
-rw-r--r--ocaml-bitstring-2.0.3.patch349logstatsplain
-rw-r--r--ocaml-mysql-1.0.4.patch.disabled427logstatsplain
-rw-r--r--ocamlnet-3.5.1.patch2048logstatsplain
-rw-r--r--ocsigen-bundle-2.2.2.patch2408logstatsplain
-rw-r--r--omake-0.9.8.6.patch372logstatsplain
-rw-r--r--sks-1.1.3.patch857logstatsplain
-rw-r--r--vsyml-2010-04-06.patch1019logstatsplain
-rw-r--r--xml-light-2.2.patch584logstatsplain