why (2.34-2ubuntu2) wily; urgency=medium * Rebuild for new OCaml ABIs.
Date: Wed, 02 Sep 2015 11:57:29 +0200 Changed-By: Matthias Klose <[email protected]> Maintainer: Ubuntu Developers <[email protected]> https://launchpad.net/ubuntu/+source/why/2.34-2ubuntu2
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Wed, 02 Sep 2015 11:57:29 +0200 Source: why Binary: why why-examples libwhy-coq Architecture: source Version: 2.34-2ubuntu2 Distribution: wily Urgency: medium Maintainer: Ubuntu Developers <[email protected]> Changed-By: Matthias Klose <[email protected]> Description: libwhy-coq - Why library for Coq why - Software verification tool why-examples - Examples of programs certified with Why Changes: why (2.34-2ubuntu2) wily; urgency=medium . * Rebuild for new OCaml ABIs. Checksums-Sha1: 7c27f3d943d1d90688dc8c8f224f563d92a25968 2456 why_2.34-2ubuntu2.dsc 6fff38cef7981f526d0abb4ce3624375b490d9a9 10700 why_2.34-2ubuntu2.debian.tar.xz Checksums-Sha256: 90f504c086ce8a192fad11b6cafd98864cd4a8efffff2750879cd4d0ad68ed22 2456 why_2.34-2ubuntu2.dsc bc0e191907204dc36877e0d3da6fbf07696295d378dfd066efe224991268762b 10700 why_2.34-2ubuntu2.debian.tar.xz Files: 50a7b6fff3e68567a6c4e5595ffdc58d 2456 math optional why_2.34-2ubuntu2.dsc e1ba52c9c25b881f215a8ae4dad1efcf 10700 math optional why_2.34-2ubuntu2.debian.tar.xz Original-Maintainer: Debian OCaml Maintainers <[email protected]> -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJV5slsAAoJEL1+qmB3j6b1CJIQAI3uvCcNyQE8TbsRJUOxOoF+ 7N3oSg3pcv5evK/g/CuZou7O/r4M/ni87BrZTgrw77/nARe8EbgJUqaGYOxMdKZT grFmvQpTGhSKglQ+7QlQlh5y8LUPj6/qfoNhIbsJMBliIyIQDujj0unO8TEx9Gqj vY5ywza5yVBAxTttjvGlDbt6abAiTbGcIEqKjEfn+ABsdvCSAm/luWYDfvNHqFsu 6xzftPolC+M66ZTTlAzM7iGeZxEkC5+D81qFuSwpZFdUCEQoxFbMx7wGVfvon9CJ fL95KDc3kVQA4wApfsa+/QbuVuoEZgkSggx0Qh8f7j0bliaaZBh/gzwrKf99J/qz Ti0GTxsW1Wu1fZX88Mx1e1AEo2hBlv/BRxsZtJqyH2Rb3q+KDPGLKWzJmRy0TDxm 3TxF+j86t//Bs9TV3eKQyAY8jVEXr9wXJ1xnp0MlL7mxrAntyU6PbMzrbhudwKMA zpnt2nk3Zq2M9xt68KfDmTBat3sAfTpM2N4OqDIxgsqTMiYnMm1zJSkFyX2seU9Q oTvoRI7uEeZuX/UB4NunISrZMdg/gcWM484oJoknimY6H0BFCa81WC4KwJawf0M5 RypcbntY5509/NkrQgykCLNCnGvHH3ZeMfGdhk99/icB/ynfWvz0utQKHEnfxsOI N5yQ/CpOPQMWG/66BF88 =VTAC -----END PGP SIGNATURE-----
-- Wily-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/wily-changes
