coq-float (1:8.2-1.2-3) unstable; urgency=low * Rebuild with Coq 8.2pl1
coq-float (1:8.2-1.2-2) unstable; urgency=low * Recompile with OCaml 3.11.1 ABI * Update Standards-Version to 3.8.2 Date: Sat, 15 Aug 2009 16:32:06 +0100 Changed-By: Michael Bienia <[email protected]> Maintainer: Debian OCaml Maintainers <[email protected]> Origin: Debian/unstable https://launchpad.net/ubuntu/karmic/+source/coq-float/1:8.2-1.2-3
Origin: Debian/unstable Format: 1.7 Date: Sat, 15 Aug 2009 16:32:06 +0100 Source: coq-float Binary: libfloat-coq Architecture: source Version: 1:8.2-1.2-3 Distribution: karmic Urgency: low Maintainer: Debian OCaml Maintainers <[email protected]> Changed-By: Michael Bienia <[email protected]> Changes: coq-float (1:8.2-1.2-3) unstable; urgency=low . * Rebuild with Coq 8.2pl1 . coq-float (1:8.2-1.2-2) unstable; urgency=low . * Recompile with OCaml 3.11.1 ABI * Update Standards-Version to 3.8.2 Files: 1c876660c786a4690c5b06508ec6d335 1327 libdevel optional coq-float_8.2-1.2-3.dsc dda115ea7539ecba4c6237a77a2f5724 2733 libdevel optional coq-float_8.2-1.2-3.diff.gz
-- Karmic-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/karmic-changes
