Your message dated Mon, 13 Apr 2015 01:03:43 +0000 with message-id <[email protected]> and subject line Bug#782027: fixed in berkeley-abc 1.01+20141105hg5b5af75+dfsg-2 has caused the Debian Bug report #782027, regarding berkeley-abc: Broken on big-endian architectures 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 [email protected] immediately.) -- 782027: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=782027 Debian Bug Tracking System Contact [email protected] with problems
--- Begin Message ---Package: berkeley-abc Version: 1.01+20141105hg5b5af75+dfsg-1 Severity: normal Tags: upstream A bug has been found and fixed by Clifford Wolf. It makes some operations in berkeley-abc broken for big-endian architectures, and may cause unstability also for other architectures. The following patch fixes it: Index: berkeley-abc/src/opt/ret/retIncrem.c =================================================================== --- berkeley-abc.orig/src/opt/ret/retIncrem.c 2015-04-03 18:36:00.361381237 +0200 +++ berkeley-abc/src/opt/ret/retIncrem.c 2015-04-03 18:36:00.357383236 +0200 @@ -176,7 +176,7 @@ { // this is an old latch // get its number in the original order - if ( ! st__lookup( tLatches, (char *)pLatch, (char **)&Index ) ) + if ( ! st__lookup_int( tLatches, (char *)pLatch, &Index ) ) { printf( "Abc_NtkRetimeFinalizeLatches(): Internal error.\n" ); return 0; Ruben -- System Information: Debian Release: 8.0 APT prefers unstable APT policy: (500, 'unstable') Architecture: amd64 (x86_64) Kernel: Linux 3.16.0-4-amd64 (SMP w/2 CPU cores) Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system) Versions of packages berkeley-abc depends on: ii libbz2-1.0 1.0.6-7+b3 ii libc6 2.19-17 ii libreadline6 6.3-8+b3 ii zlib1g 1:1.2.8.dfsg-2+b1 berkeley-abc recommends no packages. berkeley-abc suggests no packages. -- no debconf information
--- End Message ---
--- Begin Message ---Source: berkeley-abc Source-Version: 1.01+20141105hg5b5af75+dfsg-2 We believe that the bug you reported is fixed in the latest version of berkeley-abc, 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 [email protected], and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Ruben Undheim <[email protected]> (supplier of updated berkeley-abc 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 [email protected]) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 31 Mar 2015 16:12:51 +0200 Source: berkeley-abc Binary: berkeley-abc Architecture: source amd64 Version: 1.01+20141105hg5b5af75+dfsg-2 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers <[email protected]> Changed-By: Ruben Undheim <[email protected]> Description: berkeley-abc - ABC - A System for Sequential Synthesis and Verification Closes: 780449 780450 782027 Changes: berkeley-abc (1.01+20141105hg5b5af75+dfsg-2) unstable; urgency=medium . * debian/patches/04_memory_alignment_fix.patch: - Patch for memory alignment issue - already applied upstream * debian/patches/abc-bugfix-20150403.diff (Closes: #782027) * Patches from Johann Klammer (Thanks): - debian/patches/reproducibility.patch Patch for reproducibility (Closes: #780449) - debian/patches/writepla.patch Fixed "fails to export trivial .PLA files" (Closes: #780450) Checksums-Sha1: a27ce02cbe652a8304967f5387fd5dab20b8f770 2202 berkeley-abc_1.01+20141105hg5b5af75+dfsg-2.dsc f0c6c12d7fcb6c7e3d3191626d72dd920b91a489 7988 berkeley-abc_1.01+20141105hg5b5af75+dfsg-2.debian.tar.xz 8a0ce823b5ce0577b3ab0abfc89e9adbe6ba6a13 3373430 berkeley-abc_1.01+20141105hg5b5af75+dfsg-2_amd64.deb Checksums-Sha256: 473a8938440f8f8bdb85a6bcd317384ee30387db9ec9b09ca3d6f1e58548aaa8 2202 berkeley-abc_1.01+20141105hg5b5af75+dfsg-2.dsc 573ab6ae90b21d3cab9404b0c5551b8d0bd3115d91ede4e0022f48a29bd113b1 7988 berkeley-abc_1.01+20141105hg5b5af75+dfsg-2.debian.tar.xz 7f312c519b33eb961f966df8872805992369245a0ed1aa4f4dd9868be31df644 3373430 berkeley-abc_1.01+20141105hg5b5af75+dfsg-2_amd64.deb Files: 5e5732e955ecb758917497c89ebd1abf 2202 electronics optional berkeley-abc_1.01+20141105hg5b5af75+dfsg-2.dsc 04a6dc71c7906e2fb79d97728934cda4 7988 electronics optional berkeley-abc_1.01+20141105hg5b5af75+dfsg-2.debian.tar.xz b4e616dbb9a7671fb37f06877b8b98da 3373430 electronics optional berkeley-abc_1.01+20141105hg5b5af75+dfsg-2_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJVKxSGAAoJEC/YvtrAIO7RipcQAKGU0SpeZv+mLPsDAXU+mD5j +hRMHgEQKGPk9y195gw04W5REVjosmizETIjHG1EUXlOkrJ2uGMerKjIioalHXtW TkubALr15JpaxwmP4e1WO3tpGYnrfXoWPI1IR2J9C6VeUwV4wV9LL+BjyG0gjCmL El6/fY5dYhXLHmFc6OCpd6mUGd254qF9aw15SeKIoIPUUgRR3y5GnqFdTCAYxv2Q 5L02v4tSQoa3VNklaxZpeY+7jXuAQqQ7WYlr/+mTJ8OpjenOlUJrhBdgk1gt8J1X ddZNr0uFAdDCqYcvN2MCyBEYxqJreXoT9M/n0VYvwFx+ecn66N8S/+mHsmS/Cok6 ado/J9LukcEInFiZxPdKq0xgNhjmvSmSMmk91XEjlApRfMVB2D+h1CHeFZTzLDS4 dbsLfX5kQgL5ijsrye7QJKC6Odt0GODG/GZVgJoq23/QdlrjdCqWPKyfP4Bs37Jc pnxhnAqCVMLiHHeUTXx9oAk5qSf+mLkkg7a9w7ObzQszTDl+mzzSHQ7taVSgrZgY ZnKoBor6/KdmCTeGzDhgHNhsWK7IdXf80wzcqGJDrh0S1/WS4957WPzE+en+x2Lp w0ybrdwcZ1Mv84F/38hMP292s9X81Oot/Z626EaksImLfYrYBBQLKqkvtAvGbzJT Bz1/PFtScO+5i5GQnX1K =9ke9 -----END PGP SIGNATURE-----
--- End Message ---
-- debian-science-maintainers mailing list [email protected] http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers
