hol-light (20120602-1build1) saucy; urgency=low * Rebuild for new OCaml ABIs.
Date: Thu, 09 May 2013 14:58:25 +0100 Changed-By: Colin Watson <[email protected]> Maintainer: Debian OCaml Maintainers <[email protected]> https://launchpad.net/ubuntu/saucy/+source/hol-light/20120602-1build1
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Thu, 09 May 2013 14:58:25 +0100 Source: hol-light Binary: hol-light Architecture: source Version: 20120602-1build1 Distribution: saucy Urgency: low Maintainer: Debian OCaml Maintainers <[email protected]> Changed-By: Colin Watson <[email protected]> Description: hol-light - HOL Light theorem prover Changes: hol-light (20120602-1build1) saucy; urgency=low . * Rebuild for new OCaml ABIs. Checksums-Sha1: 330a706b669bf2b998fc3e862fb8b01e7f9820b9 2106 hol-light_20120602-1build1.dsc ecb3753a35fe6a4e26e2cf1de179f971c6a0ccd2 8074 hol-light_20120602-1build1.debian.tar.gz Checksums-Sha256: fb920d949bac40bae6dcbd6c7028c3e4d903baa6bf2618154c9177bdd6cc039a 2106 hol-light_20120602-1build1.dsc 184976c1c0083cbcbf913197887eaec0c5f216148632d76718e069edf0a6b8ed 8074 hol-light_20120602-1build1.debian.tar.gz Files: 4054f0f8787dead096fd6605a39ec297 2106 math optional hol-light_20120602-1build1.dsc 17d2b27485b2e9cabf4d552ad7b84ab8 8074 math optional hol-light_20120602-1build1.debian.tar.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) Comment: Colin Watson <[email protected]> -- Debian developer iQIVAwUBUYurjzk1h9l9hlALAQg4Uw/+ML9OPCQtzHViUwgD0Oj4BEyWvOoCxue8 Z3mf00MdRcR+bFDLyRte1rkUmjD6Wf5fenTxCgn/8EJhTM+4CHTXSiWCxkTnE/Bg YxnDtBX76z9sCtXv4g8kz+CpMh0kTUwIdc38ionBl31UUBmEulrABe6aT9bQyXMl qcveh1X8kXMtAfebgHVMbbQ6+eGCp6SQyVgcOMQ4Q6TlddaCxbvdXRb0r0CAbxEY TOckjvDWLpGxTPg603UUKOAfM0LBHiWL6o2ICVWMQAp3Xi9fZuFB4Q0Wuw2N52Xs zfth6staSQW3AIYILNHP7bmRHyw77DMM6eoxukAvLV08fDgpUQ6DE1/8LeiJplmb jDtljtRYigEPkJrlq7Iuxo8tPQ6iUizcV/n/Du6bk+K97TVcfNaI4KJUt/hxsuhh UG4iJPugdoJT3mhLWa3lTwGAQ+8GThj9jQIXI4w7f4UZa3dvmoyRb/8ANFvbv/js sh1aeeOkxFvmSxY8z9CElPSfCR8pmsqN8vZG+e1Uqb1gxzCflz2vqceL1Ny7UZCO FEpJabTUdgkfmKPoUNf8/kboFAJXwuy9M+jSd64kkktj7HC2cf6NG9e5XOLf7RQb Mem3zzN2lUlgoYcFtOXEMduYMRmZztH6kdIHy3j8FcaKd91U6nKxS374c2+YV127 tD8UZD7wzmM= =68hJ -----END PGP SIGNATURE-----
-- Saucy-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/saucy-changes
