why (2.30+dfsg-5build1) saucy; urgency=low * Rebuild for new OCaml ABIs.
Date: Thu, 09 May 2013 15:11:24 +0100 Changed-By: Colin Watson <[email protected]> Maintainer: Debian OCaml Maintainers <[email protected]> https://launchpad.net/ubuntu/saucy/+source/why/2.30+dfsg-5build1
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Thu, 09 May 2013 15:11:24 +0100 Source: why Binary: why why-examples libwhy-coq Architecture: source Version: 2.30+dfsg-5build1 Distribution: saucy Urgency: low Maintainer: Debian OCaml Maintainers <[email protected]> Changed-By: Colin Watson <[email protected]> Description: libwhy-coq - Why library for Coq why - Software verification tool why-examples - Examples of programs certified with Why Changes: why (2.30+dfsg-5build1) saucy; urgency=low . * Rebuild for new OCaml ABIs. Checksums-Sha1: 705186b0454ced546115abcde3870fbb8ef66734 2396 why_2.30+dfsg-5build1.dsc d843e94d20e2fd30f682719963318add2351c54e 11381 why_2.30+dfsg-5build1.debian.tar.gz Checksums-Sha256: 35f8a4e940bbe1b4aa4bf4f14296d6ac7281574f3929c7c0351725df7bdad89d 2396 why_2.30+dfsg-5build1.dsc 08621d2aa374c67bd4bda3fd77aad7693d9d6a3d1f08a7322ec8d295ebf1c37a 11381 why_2.30+dfsg-5build1.debian.tar.gz Files: d0520a21199a4e569d253e625c17666f 2396 math optional why_2.30+dfsg-5build1.dsc 877f8e6d351eacebc36eb9588012f24e 11381 math optional why_2.30+dfsg-5build1.debian.tar.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) Comment: Colin Watson <[email protected]> -- Debian developer iQIVAwUBUYuukjk1h9l9hlALAQggmg//dj3XbE4H3uPJ3Y3oljsR3GekcuA9II5p DTeVRWRvvu47FllulTHPt73oq21qgaMq3XPwVUlw9a3qjnB7m9TFcCudalJlShqK g8UWbxyS68jdQ/Q3klxL04YbyBN/3z9+nh4YzQ0QRefWLRwz0ZTF9oHepnt9iRW3 ZaQmSXav/ovyQK67XrZoWpCpmIzDNtKGbbP/gsvxmW6djaX9P0yz07MpFMDEi+xm 5LOwmJxEQyY/oX6y4Fq+m6xJpj/P0j5qYwAqBVIYgvLQkFrq16u/jSCpVFs5yfg7 TQ8NstyC2zzKJGRjXSu8PKbdJb6XMKaEaJnqfMwKDQm8EAW2LMhth4hytp6sU9ac TrLnz5S+fEL5OYgxLVspIgzvwpXyq3Jz1PQDWmVbiekjgLnYIlaLoOUH7IgK6PgT 1x8t02u8L54/H93kllFiqw4mgLxzcLqRSTZNPG+E8iYdeCUrUdfYYPxPCyWhdpIz dCC9sVZeYXeTmpGj6/C3FJNto8K1+ZFQM9BQGzp2se/a0zHezyS0Dh2R5WvXaMGf FrGoUUENiXu+ko1X09HAR03RamIUDlYPDv7/CupCX/f6+W0r9CGe9BiXzx4i09yE kUHGC/gs/t96iYNslficBJls+53jEijubTurEWX5duoZ67fxs+H5AIfsRwqHmzmT eaQBTHvy0Xg= =9wpA -----END PGP SIGNATURE-----
-- Saucy-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/saucy-changes
