why (2.34-4ubuntu3) xenial; urgency=medium * Drop build dependency on libfloat-coq, not buildable with the the current coq. * why still fails to build, so drop the the libwhy-coq binary and coq build dependency.
Date: Tue, 23 Feb 2016 15:36:48 +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-4ubuntu3
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 23 Feb 2016 15:36:48 +0100 Source: why Binary: why why-examples Architecture: source Version: 2.34-4ubuntu3 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-4ubuntu3) xenial; urgency=medium . * Drop build dependency on libfloat-coq, not buildable with the the current coq. * why still fails to build, so drop the the libwhy-coq binary and coq build dependency. Checksums-Sha1: 5818a0dfdf088154cb720599426a1673867cb46a 2293 why_2.34-4ubuntu3.dsc 195d1d2dd7a132a51b223c43f1e9c66ccdef8274 11376 why_2.34-4ubuntu3.debian.tar.xz Checksums-Sha256: b8d7d82f2e60b9c3b01e9b5511df50a377349d32d19e37d4e1a17ecbd3b94b70 2293 why_2.34-4ubuntu3.dsc 116b850889f67eb4944b4041d7e0b6c85982382080cc2b3f17a905ab07c4835c 11376 why_2.34-4ubuntu3.debian.tar.xz Files: d8c04bd4053c9ce73869405d672ad4da 2293 math optional why_2.34-4ubuntu3.dsc e1bf47bac5fd684e7b5ee7e370e32156 11376 math optional why_2.34-4ubuntu3.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQIcBAEBCAAGBQJWzHaEAAoJEL1+qmB3j6b1cpcQAKbITT7RehaLXVM7jMR3VttM onGdyZytZb7+hlqCNW1wCysVU9/NHyl3Ag6+UJwl23fC9TxpTtClyyjcjIwEksZQ Z+gDvFyCO/rHPW9bNTuiBnVB9SSvBd0unT1JNKAUfHQT695U3io/8pirkzDo2Oxj msBYNceYy+V/h6SfNYYQiipoe1KCq2b0wyGfeyTiTSi80J9UIw6uVSYTOEAYOlew 5MHLLVVv6XNlwcmvFJfSmbDrlXn0ZkMoNdSFVjQqNosBXxvMNNfrZ2zSFhIL5zoW POrFqyoI7MhQO2DdMkiEu8ID8RLbm8LdqW3xdfwSN8FdY5QS8KFR9pYp1Vvjsz+p 1jW2ep7aikLXv+a+2U6td6V+kiBA2NqBUTutHAbagjW3cX+tFiMQYO33s2Gjl4mK vk2ZxV+b4KTa/2fqKHoSMzE/jg2qauY8c+CLcaNoE3NQtUb8nx9hqFA8gcxRIdNP bW3L08e+EpqmQXE3fA6++U81TC9FJ61IXIT3+vvNClQnlEaLtQ1z6wGaD/L3RZKe uVVN9bhtYanlbGDTxpL9DJzcC9RMV/B/4X2ReOmvEPiXRQyzLubvJn7XLxTVnOYV uPgLc4FVgdlJlLI3453DUP1FbOn3/hvfE0tcBXlMimmfixqAtILLN0EMS9+nqwch avhdKxe3VfALGU09SxIL =9fHR -----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