-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Wed, 7 Aug 2002 00:04:20 +0200 Source: ocaml-tools Binary: ocaml-tools Architecture: source all Version: 2002.08.06-1 Distribution: unstable Urgency: low Maintainer: Ralf Treinen <treinen@debian.org> Changed-By: Ralf Treinen <treinen@debian.org> Description: ocaml-tools - Various tools for ocaml programmers Closes: 155343 Changes: ocaml-tools (2002.08.06-1) unstable; urgency=low . * New upstream release of the autoconfig files (files as of 2002/08/05) and of ocamlmake (4.9.13). This version of ocamlmake sets .DELETE_ON_ERROR, as suggested (thanks!) by Tim Freeman <tim@fungible.com> (closes: bug#155343). Files: 83805a572fea373d8ea331673e275775 616 devel optional ocaml-tools_2002.08.06-1.dsc 56098a88603b82cd0347aa25c4585d54 35530 devel optional ocaml-tools_2002.08.06.orig.tar.gz 6f50946f644a7183fb08c53c99f41fd2 2824 devel optional ocaml-tools_2002.08.06-1.diff.gz fefc6c7174e80dc1a03d11e911caaf80 42600 devel optional ocaml-tools_2002.08.06-1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.0.7 (GNU/Linux) iD8DBQE9UEtjtzWmSeC6BMERAgDRAKD0lqegeQni49afYm8Qvdq3cI7hAgCg5cnu DbtlyZxTp1PsPAkDv1ZhQdc= =nbT+ -----END PGP SIGNATURE----- Accepted: ocaml-tools_2002.08.06-1.diff.gz to pool/main/o/ocaml-tools/ocaml-tools_2002.08.06-1.diff.gz ocaml-tools_2002.08.06-1.dsc to pool/main/o/ocaml-tools/ocaml-tools_2002.08.06-1.dsc ocaml-tools_2002.08.06-1_all.deb to pool/main/o/ocaml-tools/ocaml-tools_2002.08.06-1_all.deb ocaml-tools_2002.08.06.orig.tar.gz to pool/main/o/ocaml-tools/ocaml-tools_2002.08.06.orig.tar.gz