why (2.26+dfsg-2) unstable; urgency=low [ Stéphane Glondu ] * Add 0006-Cope-with-OCaml-3.12-s-Map.patch (Closes: #585459)
[ Mehdi Dogguy ] * Rebuild with Coq 8.2pl2 * Convert to 3.0 (quilt) source format. * Bump standards version to 3.9.0, no changes needed. * Bump minimum frama-c-base's version to 20100401+boron+dfsg-4~. * Add "make" to runtime dependencies of Why. Date: Tue, 20 Jul 2010 19:35:51 +0200 Changed-By: Iain Lane <[email protected]> Maintainer: Debian OCaml Maintainers <[email protected]> Signed-By: Iain Lane <[email protected]> Origin: debian/unstable https://launchpad.net/ubuntu/maverick/+source/why/2.26+dfsg-2
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Tue, 20 Jul 2010 19:35:51 +0200 Source: why Binary: why why-examples libwhy-coq Architecture: source Version: 2.26+dfsg-2 Distribution: maverick Urgency: low Maintainer: Debian OCaml Maintainers <[email protected]> Changed-By: Iain Lane <[email protected]> Description: libwhy-coq - Why library for Coq why - A software verification tool why-examples - Examples of programs certified with Why Closes: 585459 Changes: why (2.26+dfsg-2) unstable; urgency=low . [ Stéphane Glondu ] * Add 0006-Cope-with-OCaml-3.12-s-Map.patch (Closes: #585459) . [ Mehdi Dogguy ] * Rebuild with Coq 8.2pl2 * Convert to 3.0 (quilt) source format. * Bump standards version to 3.9.0, no changes needed. * Bump minimum frama-c-base's version to 20100401+boron+dfsg-4~. * Add "make" to runtime dependencies of Why. Checksums-Sha1: 5e665829e38cef4b0ba34627897ac0701ce36c0a 1584 why_2.26+dfsg-2.dsc 16d40e2f8f045e0b7ea81077dd08aaaa6fce6ac2 10637 why_2.26+dfsg-2.debian.tar.gz Checksums-Sha256: 23808c295c69d13ccc0f714012bbd519f808a9ba57aac3dfda74a1e0ff45b828 1584 why_2.26+dfsg-2.dsc ba7425547eb92a1522a7273cb489afbc8ae0c83dba43be21780d9bf294262873 10637 why_2.26+dfsg-2.debian.tar.gz Files: b04fb9aaa9b5cff7e3d0101535c0b3dc 1584 math optional why_2.26+dfsg-2.dsc 398bd27c2a03574aa5ed12713ef51f26 10637 math optional why_2.26+dfsg-2.debian.tar.gz Origin: debian/unstable -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAkxXLCAACgkQPy0SnCC/zccQzQCfbrzxV0oYdGNvqgT+9x0gYPv6 hl8AoIALCZBL3wYaMbkfw9sLZ5q8G+CV =nh2J -----END PGP SIGNATURE-----
-- Maverick-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/maverick-changes
