alt-ergo (0.99.1+dfsg1-4build1) wily; urgency=medium * No-change rebuild for Ocaml ABI changes.
Date: Tue, 08 Sep 2015 10:53:36 +0200 Changed-By: Matthias Klose <[email protected]> Maintainer: Debian OCaml Maintainers <[email protected]> https://launchpad.net/ubuntu/+source/alt-ergo/0.99.1+dfsg1-4build1
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 08 Sep 2015 10:53:36 +0200 Source: alt-ergo Binary: alt-ergo Architecture: source Version: 0.99.1+dfsg1-4build1 Distribution: wily Urgency: medium Maintainer: Debian OCaml Maintainers <[email protected]> Changed-By: Matthias Klose <[email protected]> Description: alt-ergo - Automatic theorem prover dedicated to program verification Changes: alt-ergo (0.99.1+dfsg1-4build1) wily; urgency=medium . * No-change rebuild for Ocaml ABI changes. Checksums-Sha1: 9588dc834b84f8106dddbff7dcf6ca04a5a13198 2256 alt-ergo_0.99.1+dfsg1-4build1.dsc a9f09880e7a03218baee1e84a5f84eb4cd637e74 12748 alt-ergo_0.99.1+dfsg1-4build1.debian.tar.xz Checksums-Sha256: 26c3318b16758509d6a4ccdf29c11941d4ea7efdb0ce8567d45673a3af04329f 2256 alt-ergo_0.99.1+dfsg1-4build1.dsc 5f4d4c77eeb48890cbfeb5dab7aed848c1664d975be48ce7b27999641916f941 12748 alt-ergo_0.99.1+dfsg1-4build1.debian.tar.xz Files: 5b7a9f8f3a7c182c8a1e56241f63f14a 2256 math optional alt-ergo_0.99.1+dfsg1-4build1.dsc bca39e499d2eac562d5d09ce6b8400fe 12748 math optional alt-ergo_0.99.1+dfsg1-4build1.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJV7qJDAAoJEL1+qmB3j6b1jMEQAK/sysrIK99fHoSKS45SfiQN 75NRs9JD8MhnWBURP9QnDGAdRzPSD6YB6e1R/XImc75m4fJolH5CyR3hOmSjguuc IgaVrnxdEi3IuELxIHoe0c6QR8u02Rf0dMNl5tSC6ipJ2G1sePQ5S2j7IqOHtxto 296VpXirKSaiFhxIOhr+RknZahtB0ZTjmAt9WdlTwRLKGCXrzE5j8b0EYkv28/mz KjJofi6hBCPNph0dNDeHMbZ40cVkai/LnDjBYfO7xyYyGLsccqYZS0Zty9Ae3qwR hbTK0l79nT+xgovUHhYR/G7mcOnsjO6u4Zhn66zxWyXmHN1Vh7fHPHVIxx9VBxAb n/zsJaCLH42h+reiPn/vDTMISZYrBtcof859LhZGgSIjxDXQTvG3Pv/kMQw0bdZm aG482GdmCN5X8pYMQgaDdEvKAXc3Ab62Xh6/v1YzKAlG/cbZ86BU1OUjNYORUe1L VXvVHoEVhKZcSqOc1jQPE4PXcv8wqzFQs7wfVaVG8F22WfCbVBmlD235JJeHv/pK gHplC5qGalMtoo1VJQdkejHQM+9YXB+XRztSPIVIVgnJiQj1T/5M6vs9nZ4U860k hUJCPJTXEAMn+Vm4gFjbkDOPlvvR8sJSpMBceM4MVfSgWPDIrH4m0j+kRSyOCyd/ 9r2r5E3sXF4Z+byesu1s =Jikg -----END PGP SIGNATURE-----
-- Wily-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/wily-changes
