why (2.34-4ubuntu4) xenial; urgency=medium * Disable the why+coq autopkg test.
Date: Tue, 23 Feb 2016 16:34:34 +0100 Changed-By: Matthias Klose <d...@ubuntu.com> Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> https://launchpad.net/ubuntu/+source/why/2.34-4ubuntu4
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 23 Feb 2016 16:34:34 +0100 Source: why Binary: why why-examples Architecture: source Version: 2.34-4ubuntu4 Distribution: xenial Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Matthias Klose <d...@ubuntu.com> Description: why - Software verification tool why-examples - Examples of programs certified with Why Changes: why (2.34-4ubuntu4) xenial; urgency=medium . * Disable the why+coq autopkg test. Checksums-Sha1: 3b65d779c20077e6efd4e6362f9b6f67cd0aae15 2293 why_2.34-4ubuntu4.dsc 2c4e0d96500f92210bd8972c50fe1cc1a0667370 11396 why_2.34-4ubuntu4.debian.tar.xz Checksums-Sha256: 47a3920891f641d44574ad8763110ba0d2abc81621fe798a5fee2163db0f47a9 2293 why_2.34-4ubuntu4.dsc 9be813fe4354285f4c3f92ccc3aac33c721d46b453fb259310ca66c317df4557 11396 why_2.34-4ubuntu4.debian.tar.xz Files: 5ea9055117ae6469584b22f7639f555c 2293 math optional why_2.34-4ubuntu4.dsc 8ba7ea87bde74105febc64f9ef2e31c0 11396 math optional why_2.34-4ubuntu4.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQIcBAEBCAAGBQJWzI83AAoJEL1+qmB3j6b1lCIP/2669RGQAi5rNwP6GObOtERo A1bGzbNPuHHqbA7+OihLkLFVLnT0qTjTq4Jbi3EPpTlOQ7Ew1ht2PvQlfQHUUHq+ qotD5AgcncpHKtKcDDIOz9w7zIRhZDGTXVBOwN98Tks9YIpZ8zz6Bdll5F8g23xW aXtKPeoOJXDm/uThm3FKoHuOSmqADUfWSTAM2jjiQ3/oR9Dt+aoNux+/Kol/G2Pp aKYuxrjQaO65FiN2M/ebkKoXBQM7q2TCxgnafp/JzerUoAe+d25GpvmLbTkiGLW3 T1t5EzoQsIU+uFqTRhZllxz9+ELUdDR3KM3ard2H90SFSt9lxo0J6etizsX1eB7J WOV6Wro0uGSd7hNAbNEI8z4j6jCsIueWv7cR4ycbtzyByBLEZChvNuM+FdlEn308 LvnirQHryahCvfn2FwGNt/GyVLlLBoDLt0js9W1OJKe76pcERdTRBxHWgAXk4Ki4 fvoagg+i2DHa/r9aj9+5pngADgKTTPsrs7tIY3TY7PIwB48+PfVfNZ8yndn5y2Fv iLhb1WAGvk5byK4hGa/VH/HNjc30FUxSpSBhWqqnoD3iPqM4cT0yAUsR40P1qR8a r8rxJw4xUd6VSOo8S7Z05IGRn96R6ZxjvaxeSVAfxAhUTt05gp4tMc4RHgXEwOZM xMVVs26d3WFuSS/m4XBO =rcvS -----END PGP SIGNATURE-----
-- Xenial-changes mailing list Xenial-changes@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/xenial-changes