Your message dated Mon, 24 Apr 2017 19:18:58 +0000 with message-id <e1d2jvi-000cvc...@fasolo.debian.org> and subject line Bug#858366: fixed in why 2.38-1 has caused the Debian Bug report #858366, regarding libwhy-coq: sourceful upload needed to update coq dependency to be marked as done.
This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 858366: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=858366 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
--- Begin Message ---Package: libwhy-coq Version: 2.36-5 Severity: serious User: debian...@lists.debian.org Usertags: piuparts Hi, during a test with piuparts I noticed your package is no longer installable in sid: The following packages have unmet dependencies: libwhy-coq : Depends: coq-8.5+4.02.3 but it is not installable A binNMU is not possible since libwhy-coq is arch:all. Please also consider relaxing the frama-c-base dependency to not require a binNMU for every frama-c upload. Cheers, Andreas
--- End Message ---
--- Begin Message ---Source: why Source-Version: 2.38-1 We believe that the bug you reported is fixed in the latest version of why, which is due to be installed in the Debian FTP archive. A summary of the changes between this version and the previous one is attached. Thank you for reporting the bug, which will now be closed. If you have further comments please address them to 858...@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Ralf Treinen <trei...@debian.org> (supplier of updated why package) (This message was generated automatically at their request; if you believe that there is a problem with it please contact the archive administrators by mailing ftpmas...@ftp-master.debian.org) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Mon, 24 Apr 2017 08:25:31 +0200 Source: why Binary: why libwhy-coq Architecture: source Version: 2.38-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: libwhy-coq - Why library for Coq why - Software verification tool for C and Java Closes: 858366 Changes: why (2.38-1) unstable; urgency=medium . * New upstream version (closes: #858366) - refreshed patches bprintf, edge - dropped hunks of patch reproducible_build that have been applied by upstream. * Bump build-dependency on frama-c-base to 20161101+silicon+dfsg * debian/why.install: install Jessie.o * Restrict Architecture of the why package to architectures having a native-code compiler for ocaml, since upstream ceased to maintain the why package for bytecode-only architectures. Checksums-Sha1: 4d7284212c5de6f55c31efaa65ea83b6f4a4f80c 2428 why_2.38-1.dsc 1c421cdde44021424195c9426365a5173695a161 1728736 why_2.38.orig.tar.gz 0d385a4c049f176a3d4bf5c72ae7708647f949c0 11600 why_2.38-1.debian.tar.xz 9aa2d01b4fd71040e4f2e44709345a34d7c5d607 8635 why_2.38-1_source.buildinfo Checksums-Sha256: e47f35d717925497d41289ecabffa36bfe6b4b08a0b416aab1c399d09734d0d8 2428 why_2.38-1.dsc 16e174b4190352b229259f2ea47628f9ca4f33053c28c531536f6d350231db12 1728736 why_2.38.orig.tar.gz c29d7a2e5b0cae856ed21c97868b6cb5788456d65221e02b0a5d07d66d8633eb 11600 why_2.38-1.debian.tar.xz cea4775098f01de94e9b99c18713e653870d1843be52c1ef7bd10ab79a586897 8635 why_2.38-1_source.buildinfo Files: f55748f9af36c2e3fb431d4914b3e2b8 2428 math optional why_2.38-1.dsc 3add4408954b07a23629b14d74a0a16e 1728736 math optional why_2.38.orig.tar.gz 42215888c0c54ee479b16d689c40610e 11600 math optional why_2.38-1.debian.tar.xz 53aa26793979568d46b26b7ea1ad61dd 8635 math optional why_2.38-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlj+SmsACgkQdFxHZtTK zf9ywBAAgUcAkgOBRZIbzFjo7KNc5ZgfmoBbhN4hnZO/l8EHCb8ngPjpGPNp9/SO WjiVkJpX6lLSz5Cod1shSBLoSLTummg2xBOS6dSOXf15KpE+OdC65rg8FsqQPIWX dojZTrJ9w2TPtA0nYrQQW3DrWRuSlHyX468zV0vBAFnGaFYUqYn76Pw1frh+EEJ1 eeqOBzbsw1aecr0vOYSnLS8zIEf7ofnq/XgYuXobk7wlJXFLk8GaIOcpkAhxzGxP 94BLAPpN8qCuqDat6N7wCj7OlVA7YlixOW3avq+agNZ+7DRJyCs/5+9mWVYooJBM oJsGkf7OtFWPQix3LL77HzF9vHt/rHhhHDOuUNVR9WhmsDQG2Z0Qdsou3vZpijmJ R5+nbGkSjRY6PcjQjxgH24ng9mvua9jvJgAU4jX8s4KnRG4gmNQWzuT44wHmtL4G 1+tNr87NRRPR9U2x/gOOADtXG/2PZPL2uSqWqZmmo/dniHtsNT36KQjSxlYTQBUa lEENxxMLYMl/eUF5cNxI5tHvEEX8LNDVkQ4tPfqZM4DcIGVYZZu/QiuvvW3S8LKJ 0g1pgClM83FYXVZkwWaN1zFTehM7I9GbRSJ8sNP19rfzPMtbKNiYQXpAXkbq+8ab CTM572frC+ihFperdpecVknENughXIv7Nuoxf/0jsMK/XapBYzg= =3DDV -----END PGP SIGNATURE-----
--- End Message ---
