changelog entry for version 4.2-1 debian/4.2-1
-rw-r--r-- 1119 Makefile
-rw-r--r-- 650 _tags
-rw-r--r-- 15916 approx.ml
-rw-r--r-- 1237 config.ml
-rw-r--r-- 849 config.mli
-rw-r--r-- 1681 config_file.ml
-rw-r--r-- 482 config_file.mli
-rw-r--r-- 4697 control_file.ml
-rw-r--r-- 2337 control_file.mli
drwxr-xr-x - debian
drwxr-xr-x - doc
drwxr-xr-x - etc
-rw-r--r-- 5767 gc.ml
-rw-r--r-- 5350 import.ml
-rw-r--r-- 812 log.ml
-rw-r--r-- 331 log.mli
-rw-r--r-- 728 myocamlbuild.ml
-rw-r--r-- 306 network.mli
-rw-r--r-- 3077 patch.ml
-rw-r--r-- 652 patch.mli
-rw-r--r-- 4774 pdiff.ml
-rw-r--r-- 591 pdiff.mli
-rw-r--r-- 1077 program.ml
-rw-r--r-- 578 program.mli
-rw-r--r-- 2168 release.ml
-rw-r--r-- 1314 release.mli
drwxr-xr-x - tests
-rw-r--r-- 2414 update.ml
-rw-r--r-- 3500 url.ml
-rw-r--r-- 1219 url.mli
-rw-r--r-- 8764 util.ml
-rw-r--r-- 5835 util.mli