-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Fri, 3 Oct 2003 17:08:29 +0200 Source: ocaml Binary: ocaml-native-compilers ocaml-base ocaml ocaml-source Architecture: source i386 all Version: 3.07-5 Distribution: unstable Urgency: low Maintainer: Sven Luther <luther@debian.org> Changed-By: Sven Luther <luther@debian.org> Description: ocaml - ML language implementation with a class-based object system ocaml-base - Runtime system for ocaml bytecode executables ocaml-native-compilers - Native code compilers of the ocaml suite (the .opt ones) ocaml-source - Sources for Objectif Caml Closes: 213862 Changes: ocaml (3.07-5) unstable; urgency=low . * Somehow the objinfo patch forgot to install objinfo, fixed now. Also renamed objinfo to ocamlobjinfo, to be more in line with the other ocaml executables. * Test for emacsen flavor early one and abort if unsupported. (Closes: #213862) Files: b6fef893679a955ae610b87d6e74a475 668 devel optional ocaml_3.07-5.dsc a20ee3dced08fb5c633a1743ec8e7b04 46736 devel optional ocaml_3.07-5.diff.gz a700e43d99647e2213b9e6ee23648106 7787106 devel optional ocaml_3.07-5_i386.deb 0d90a95786bc33320b32bcc0ba33da1e 2434424 devel optional ocaml-native-compilers_3.07-5_i386.deb 5d9bd894ccd09e214b5054ef9cdc74fe 156476 devel optional ocaml-base_3.07-5_i386.deb 1075901f8b8c3f8d037e9a5a7e28a1b7 1932316 devel optional ocaml-source_3.07-5_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.3 (GNU/Linux) iD8DBQE/fZ7r2WTeT3CRQaQRAqE6AJ42XqzXJuJ5PP+gRgPs705gGzVF8wCdFjuS M4piQ70nNDdYCIONqIMX9us= =ICCj -----END PGP SIGNATURE----- Accepted: ocaml-base_3.07-5_i386.deb to pool/main/o/ocaml/ocaml-base_3.07-5_i386.deb ocaml-native-compilers_3.07-5_i386.deb to pool/main/o/ocaml/ocaml-native-compilers_3.07-5_i386.deb ocaml-source_3.07-5_all.deb to pool/main/o/ocaml/ocaml-source_3.07-5_all.deb ocaml_3.07-5.diff.gz to pool/main/o/ocaml/ocaml_3.07-5.diff.gz ocaml_3.07-5.dsc to pool/main/o/ocaml/ocaml_3.07-5.dsc ocaml_3.07-5_i386.deb to pool/main/o/ocaml/ocaml_3.07-5_i386.deb -- To UNSUBSCRIBE, email to debian-devel-changes-request@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
