aac-tactics (0.2.pl2-7build1) saucy; urgency=low * Rebuild for new OCaml ABIs.
Date: Thu, 09 May 2013 15:02:24 +0100 Changed-By: Colin Watson <[email protected]> Maintainer: Debian OCaml Maintainers <[email protected]> https://launchpad.net/ubuntu/saucy/+source/aac-tactics/0.2.pl2-7build1
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Thu, 09 May 2013 15:02:24 +0100 Source: aac-tactics Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq Architecture: source Version: 0.2.pl2-7build1 Distribution: saucy Urgency: low Maintainer: Debian OCaml Maintainers <[email protected]> Changed-By: Colin Watson <[email protected]> Description: libaac-tactics-coq - Coq tactics for reasoning modulo AC (theories) libaac-tactics-ocaml - Coq tactics for reasoning modulo AC (plugin) libaac-tactics-ocaml-dev - Coq tactics for reasoning modulo AC (devt files) Changes: aac-tactics (0.2.pl2-7build1) saucy; urgency=low . * Rebuild for new OCaml ABIs. Checksums-Sha1: 96bbd8226c278e084969c156fa7e4d00762b5b4b 2298 aac-tactics_0.2.pl2-7build1.dsc e63de90e068c4b0dc52eac43ee977a0996cd6f56 2867 aac-tactics_0.2.pl2-7build1.debian.tar.gz Checksums-Sha256: 97b8c377f02c2165ca9c81fdf6f3b055119237b3f63cce0bdeb9e5e282bcbfd0 2298 aac-tactics_0.2.pl2-7build1.dsc 02ea2077a922922cd133ed0dbf38eba3e00adee0c80f4ba258297f6d053ff8d8 2867 aac-tactics_0.2.pl2-7build1.debian.tar.gz Files: 28787893b8a9d819808494cd8ddc4b25 2298 math optional aac-tactics_0.2.pl2-7build1.dsc d77c215738aa1fff35fe100f8ad24695 2867 math optional aac-tactics_0.2.pl2-7build1.debian.tar.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) Comment: Colin Watson <[email protected]> -- Debian developer iQIVAwUBUYuscjk1h9l9hlALAQhqPw//dXz1STSBJ2G9uPDMVUPK1C6Izpn4wODH aAxuEGpL3zX/+damCx0OB7Xzjk5O0EFGy1pVbYlRflJDPUXIxsEJU73wszWBjpX2 veiY0E/h14oD1c4gKg1eRQE4wJVRE9iq9YSY0hGMcT/UiNHQVlrfRDER6B0nFA+3 aFpW+XzMOidQgQIRgL+6xOGgvrDkWOXb/9U3jaN4UUqpi70eWLh5T+ul/izLZHrT E/e0KIK0v3axdTS2QyEVm3VmTKvz0zA/auLOhpfYxrfEDljrmohsrWloDv3Fno4I IxG9Z/nQEIj4gWAOg/uAEc1MtWh3dmQJu5T1w0MavcTal15Q4yV8+v13xC9Ot1NN MyM5adOxG6NtCC0QE2Rr7HuB8cRbKu7LbM0i7O3IYKnoXjoX4hwXK0WNkrUUORFM u7p/ULK2TyGw5ZaUC257Ol2Bmzt5vqzcYaZ2/UG5H3FCnxnBjjqpJWeG37z0SF87 uzxo4uJEbP6g4CZnk3xHHoiVPNAb2BUHmNUwOq0nNrfAJLQdOBZVf77NvsCU7gRh NjAGzX8HqIDeOKtVr4+CNr+9zyV19S0i70/zvTY8pAc+kpBhqkAOzBhbf5l5Wym5 wFTFN+j+jhz74EMJfRQ5Ags7tDzf89KqtiEmMsISoVEDvmAvso2tnjkA1qCvUWoA BeZIJl24n1c= =0Wvr -----END PGP SIGNATURE-----
-- Saucy-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/saucy-changes
