why (2.34-4ubuntu5) yakkety; urgency=medium * No-change rebuild against frama-c 20151002+magnesium+dfsg-1build2
Date: Sun, 10 Jul 2016 13:41:00 -0700 Changed-By: Steve Langasek <[email protected]> Maintainer: Ubuntu Developers <[email protected]> https://launchpad.net/ubuntu/+source/why/2.34-4ubuntu5
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 10 Jul 2016 13:41:00 -0700 Source: why Binary: why why-examples Architecture: source Version: 2.34-4ubuntu5 Distribution: yakkety Urgency: medium Maintainer: Ubuntu Developers <[email protected]> Changed-By: Steve Langasek <[email protected]> Description: why - Software verification tool why-examples - Examples of programs certified with Why Changes: why (2.34-4ubuntu5) yakkety; urgency=medium . * No-change rebuild against frama-c 20151002+magnesium+dfsg-1build2 Checksums-Sha1: 714063e3263aecff63ef99dc2953d6d7050718c0 2372 why_2.34-4ubuntu5.dsc d9b3a68317439d97d3267fa088fea272bc323e0f 11516 why_2.34-4ubuntu5.debian.tar.xz Checksums-Sha256: 6ab93a3dff02d24f60ad73422f26d8a2ffee38ed62484de80f4b7ec5669bd65e 2372 why_2.34-4ubuntu5.dsc 877960ee14253021429a9c9b47fba6011989de97ab3c15aff7c5c46f288c05d8 11516 why_2.34-4ubuntu5.debian.tar.xz Files: e2975e3df91672ca84b594b98f44bda1 2372 math optional why_2.34-4ubuntu5.dsc d004c0e81fdad5cc88bc487c479f9491 11516 math optional why_2.34-4ubuntu5.debian.tar.xz Original-Maintainer: Debian OCaml Maintainers <[email protected]> -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCgAGBQJXgrL9AAoJEFaNMPMhshM9LesQAI7sCV/yNb1uD47MpAJQJZ9x EQSewwIckCVFDokJLvudK0XQtw5J82au6oRiQTfo9I7Mu2s/Rob3IgW1lfPgMpS1 xXBHVUGI4F39czSXVniHE9xNdyQuQVQJqbewRAuYrTQgbADgqeo+tTVVAxrMDtgi oe+BD8cl9J2luS6iy8CRg8nhatf/lO9FHz3Fz0STnFvM0KQXUMP47JaJNAJSssKJ 6PZNv0aNvhjKP/RnwGaHMkNCbkYg3/mZEpjCrzFur6kfAQld4ghAzyL5NGGOKvg6 vf4mLKe0erUK/d2YSP/xcA6NFeDEPTY3pk+8GfrPw1kmPR6E8oMeTVMOKSe8YE0w wK0w9erp70ygDIAcacbiVmMYwCRnIMQuvL2GIQFk66gQ1ql874ZYfwKfiFTX1Fd0 ti7O3IHkU8eRHFNp8Wvr8IEcFJ+hRr+0uVZE3Frifm6qzMlt1wZgYrROr5msLip+ kQuydrI5wbClAJfiKukkKeW00btJXWlOv/cIFKO87S3vpZcCb60vWrsQnGWHkSx1 8PibztaPAiphINcJSvklas9jWc8LysprUwPNtQX43pQteVvasjFRUtV8PkpJ6f66 mF5bylOFucUEK5oT8Ax0kHDjq5pbBPQi7Q0NumHdzVUd9N7JSbYq+aOdnbkqb6KP /Ln9QRkyRu0o7n9wL/we =d5C7 -----END PGP SIGNATURE-----
-- Yakkety-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/yakkety-changes
