-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Wed, 17 Dec 2003 12:02:52 +0100 Source: ocaml-nums Binary: libnums-ocaml libnums-ocaml-dev Architecture: source i386 Version: 3.07-1 Distribution: unstable Urgency: low Maintainer: Sven Luther <[EMAIL PROTECTED]> Changed-By: Sven Luther <[EMAIL PROTECTED]> Description: libnums-ocaml - integer arithmetic and rational arithmetic in arbitrary precision libnums-ocaml-dev - integer arithmetic and rational arithmetic in arbitrary precision Changes: ocaml-nums (3.07-1) unstable; urgency=low . * Initial Release. * This is the nat/bignum library from the ocaml CVS (snapshot taken on Dec 16, 2003). This replaces the old nat/bignum library which was previously part of ocaml 3.07, but which was removed due to licence issues. Since we still want to have this library available, i took this free reimplementation of it from the ocaml CVS, and made it a separate package, which will naturally dissapear again once ocaml 3.08 is released. Files: 449229078f387783083b1ff2b3f4cd77 623 libdevel optional ocaml-nums_3.07-1.dsc bb14ca95b09be8255fbc97aad62247bd 46765 libdevel optional ocaml-nums_3.07.orig.tar.gz 3210de5ce65858c2a05d9fd3af8b7555 2523 libdevel optional ocaml-nums_3.07-1.diff.gz c24f3e8bddbfefdb8fb9d8a2e7d9750d 22438 libs optional libnums-ocaml_3.07-1_i386.deb 97ed5129de6071287ffb9d4b11351ca9 75980 libdevel optional libnums-ocaml-dev_3.07-1_i386.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.3 (GNU/Linux) iD8DBQE/4Ff02WTeT3CRQaQRArsJAJ4riBPCg7h6NrwKrbiKfSfsOEDEmwCfdiwX VrIpAy4kTqVcmq/Fy78/oiI= =zqlY -----END PGP SIGNATURE----- Accepted: libnums-ocaml-dev_3.07-1_i386.deb to pool/main/o/ocaml-nums/libnums-ocaml-dev_3.07-1_i386.deb libnums-ocaml_3.07-1_i386.deb to pool/main/o/ocaml-nums/libnums-ocaml_3.07-1_i386.deb ocaml-nums_3.07-1.diff.gz to pool/main/o/ocaml-nums/ocaml-nums_3.07-1.diff.gz ocaml-nums_3.07-1.dsc to pool/main/o/ocaml-nums/ocaml-nums_3.07-1.dsc ocaml-nums_3.07.orig.tar.gz to pool/main/o/ocaml-nums/ocaml-nums_3.07.orig.tar.gz -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]