Your message dated Sat, 26 Mar 2016 21:56:43 +0000 with message-id <e1ajwcj-0007v7...@franck.debian.org> and subject line Bug#806139: fixed in mona 1.4-17-1 has caused the Debian Bug report #806139, regarding testsuite times out 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.) -- 806139: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=806139 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
--- Begin Message ---Package: mona Version: 1.4-15-1.1 Severity: normal User: autopkgtest-de...@lists.alioth.debian.org Usertags: autopkgtest Hi As you can see on https://ci.debian.net/packages/m/mona/unstable/amd64/ the test suite for mona is timing out on ci.debian.net. I am blacklisting the package on ci.debian.net for now, and will reconsider that when this bug is fixed. -- System Information: Debian Release: stretch/sid APT prefers buildd-unstable APT policy: (500, 'buildd-unstable'), (500, 'unstable'), (500, 'testing'), (1, 'experimental') Architecture: amd64 (x86_64) Kernel: Linux 4.2.0-1-amd64 (SMP w/4 CPU cores) Locale: LANG=pt_BR.UTF-8, LC_CTYPE=pt_BR.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system) -- Antonio Terceiro <terce...@debian.org>
signature.asc
Description: PGP signature
--- End Message ---
--- Begin Message ---Source: mona Source-Version: 1.4-17-1 We believe that the bug you reported is fixed in the latest version of mona, 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 806...@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 mona 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: Sat, 26 Mar 2016 19:46:18 +0100 Source: mona Binary: mona Architecture: source amd64 Version: 1.4-17-1 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> Changed-By: Ralf Treinen <trei...@debian.org> Description: mona - theorem prover based on automata Closes: 806139 Changes: mona (1.4-17-1) unstable; urgency=medium . * New upstream version. This version fixes the default alloc used (closes: #806139). * Standards-version 3.9.7 (no change) * Update URL in Vcs-*fields * Dropped XS-testsuite field which is no longer useful * d/copyright: updated libtool entry Checksums-Sha1: 5db919c04ea25d770f435b4ac6e0dfd96f220afe 1963 mona_1.4-17-1.dsc f512a9fce8fb704b57e412a2f00f9277ed903f12 699352 mona_1.4-17.orig.tar.gz 46cfc9ccf8ca79357423aef36211cf31b7c2cd5b 6312 mona_1.4-17-1.debian.tar.xz ea0297dcec6a0e20894aa85313831f4f8fab85e2 977474 mona-dbgsym_1.4-17-1_amd64.deb 8e805ddeadd207328a10e7ecc82fc70031c5f2e8 385136 mona_1.4-17-1_amd64.deb Checksums-Sha256: e04994e3c8bfc86d479f7c5c27317343044f97bca679b91035c121273111aaf0 1963 mona_1.4-17-1.dsc 5471c80dbe71e691b21ead6d703a925daa5daa2ca55f94fe22fdb436c9370b46 699352 mona_1.4-17.orig.tar.gz 8c20989e009511133d7ccd0562ec4bd26f68841587dd490fce19dd8affdb6051 6312 mona_1.4-17-1.debian.tar.xz c66864940cab4f993d81a8e90d1fca5d5a0fd63857c55bf72484a0baad7cc579 977474 mona-dbgsym_1.4-17-1_amd64.deb 383f51cd789a6add847162293e0fbed561fb27fe9d002acc43e7f5655392ecd2 385136 mona_1.4-17-1_amd64.deb Files: 0234f58dc312d47e5d2895b85cfcc5fc 1963 science extra mona_1.4-17-1.dsc e1f7646b8284ca21cd505c4713c55e7e 699352 science extra mona_1.4-17.orig.tar.gz 54bfa2dda748a1db429e9ac2b3527795 6312 science extra mona_1.4-17-1.debian.tar.xz 959a883a87c07f425b9dec16ecd6c130 977474 debug extra mona-dbgsym_1.4-17-1_amd64.deb b03056d267d0a199488cb463aa5556c2 385136 science extra mona_1.4-17-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJW9uh9AAoJEHRcR2bUys3/oxMP/2FtY8LYAVYbFrNG+MnxGJiU nKHhUrATFFd59+0D0UBlFco3zIgALGa+wdzEliHbbcMNhgoMq+uRg+ZOD9kFyagb YeJbSivXC98lEPQcuKmDAHDGFCXSDrtVFRuogOHw94kaDlCoASkEWQp6wHSkMG6O 2Ew45Vp4YqTYp1FgUgTb3hfh4F/F9pqfsTzEyGQTgnu5lT9+GAG1JDwPrmhslVvc BMJ6A2G2QRNsamcIwsxSgLaDPO/AnuYYOOBthCrNoaMI1wrFx7piZdyJnpKt7pSE /QnFZt/Pt74LA0alAYzU/1MKRxZT8UIIRJ2g5WSsiWVY5HousLzAzEENjZrDCmbo Dr9dPMFbEYJCskAEONXoljGwfvxOiv/zWUAXaiEhJFu+41KY8pO4wcnNohGwqzRt 2ZP5sWm7MD9/WcLvJDpg6QjbvTl2PPSfNSzwBsI2ZReTOEtJwfl6F8f6d6xhpKFB kQ2SWJouB77DMI4nmpz56CcpmTebEFHtLdlZhWnLVdPe864wTZFP9i5y4KriMpN0 m1afsr6s9tk6H3kptrlCxzVjspyMUp2fWkKu/SrWCqYIVBWXES72VN0MXJ3GTi+x NmultWVha94Tmvzm3SvDsYT9gK7CcfVUJJNatcCbqzWUGrzxOcCQ1/bcTw5hweiH plUks6EY+wfhUfr26sAB =vYfH -----END PGP SIGNATURE-----
--- End Message ---
-- debian-science-maintainers mailing list debian-science-maintainers@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers
