Debian Bug report logs - #482594
acl2: FTBFS when converted to new source format 3.0 (quilt)

version graph

Package: acl2; Maintainer for acl2 is Camm Maguire <camm@debian.org>; Source for acl2 is src:acl2 (PTS, buildd, popcon).

Reported by: hertzog@debian.org

Date: Fri, 23 May 2008 20:12:02 UTC

Severity: minor

Found in version acl2/3.3-1.1

Fixed in version acl2/3.4-1

Done: Camm Maguire <camm@enhanced.com>

Bug is archived. No further changes may be made.

Toggle useless messages

View this report as an mbox folder, status mbox, maintainer mbox

Report forwarded to Camm Maguire <camm@enhanced.com>:
Bug#482594; Package acl2. (full text, mbox, link).

Acknowledgement sent to hertzog@debian.org:
New Bug report received and forwarded. Copy sent to Camm Maguire <camm@enhanced.com>. (full text, mbox, link).

Message #5 received at maintonly@bugs.debian.org (full text, mbox, reply):

From: hertzog@debian.org
To: maintonly@bugs.debian.org
Subject: acl2: FTBFS when converted to new source format 3.0 (quilt)
Date: Fri, 23 May 2008 22:08:50 +0200
Package: acl2
Version: 3.3-1.1
Severity: minor
Usertags: 3.0-quilt-by-default

To prepare a possible switch to the new source package format "3.0
(quilt)" [1], I converted all source packages and rebuilt the packages
afterwards to see what breaks, and acl2 does break. To reproduce the
problem you can do this:

$ apt-get source acl2
$ sed -i -e '/^Source:/ aFormat: 3.0 (quilt)' acl2-3.3/debian/control
$ dpkg-source -b acl2-3.3
$ dpkg-source -x acl2_3.3-1.1.dsc
$ cd acl2-3.3 && debuild -us -uc

In this process, if the .diff.gz contains changes to upstream files,
dpkg-source will have created a corresponding patch in
debian/patches/debian-changes-3.3-1.1 and will have registered that
patch in a quilt series (debian/patches/series, it is created if needed).
All the patches listed in the "series" files are applied directly during
the extraction (dpkg-source -x). quilt itself is used if available (and
will thus lead to the creation of the .pc directory), otherwise
dpkg-source applies the patches by itself. For more information about the
new source package format see the manual page dpkg-source(1).

In the case of acl2, debian/patches (created by dpkg-source) ends up
being a directory that is in direct conflict with a "debian/patches" file
that the build process tries to create from debian/patches.in.

I suggest renaming that file to not clash with the new directory
and be ready for a future switch!

Cheers,

[1] http://lists.debian.org/debian-devel-announce/2008/04/msg00004.html
-- 
Raphael Hertzog

Reply sent to Camm Maguire <camm@enhanced.com>:
You have taken responsibility. (full text, mbox, link).

Notification sent to hertzog@debian.org:
Bug acknowledged by developer. (full text, mbox, link).

Message #10 received at 482594-close@bugs.debian.org (full text, mbox, reply):

From: Camm Maguire <camm@enhanced.com>
To: 482594-close@bugs.debian.org
Subject: Bug#482594: fixed in acl2 3.4-1
Date: Mon, 25 Aug 2008 09:32:12 +0000
Source: acl2
Source-Version: 3.4-1

We believe that the bug you reported is fixed in the latest version of
acl2, which is due to be installed in the Debian FTP archive:

acl2-books-certs_3.4-1_all.deb
  to pool/main/a/acl2/acl2-books-certs_3.4-1_all.deb
acl2-books-source_3.4-1_all.deb
  to pool/main/a/acl2/acl2-books-source_3.4-1_all.deb
acl2-books_3.4-1_i386.deb
  to pool/main/a/acl2/acl2-books_3.4-1_i386.deb
acl2-doc_3.4-1_all.deb
  to pool/main/a/acl2/acl2-doc_3.4-1_all.deb
acl2-emacs_3.4-1_all.deb
  to pool/main/a/acl2/acl2-emacs_3.4-1_all.deb
acl2-infix-source_3.4-1_all.deb
  to pool/main/a/acl2/acl2-infix-source_3.4-1_all.deb
acl2-infix_3.4-1_i386.deb
  to pool/main/a/acl2/acl2-infix_3.4-1_i386.deb
acl2-source_3.4-1_all.deb
  to pool/main/a/acl2/acl2-source_3.4-1_all.deb
acl2_3.4-1.diff.gz
  to pool/main/a/acl2/acl2_3.4-1.diff.gz
acl2_3.4-1.dsc
  to pool/main/a/acl2/acl2_3.4-1.dsc
acl2_3.4-1_i386.deb
  to pool/main/a/acl2/acl2_3.4-1_i386.deb
acl2_3.4.orig.tar.gz
  to pool/main/a/acl2/acl2_3.4.orig.tar.gz



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 482594@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Camm Maguire <camm@enhanced.com> (supplier of updated acl2 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 ftpmaster@debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Sun, 24 Aug 2008 21:26:46 +0000
Source: acl2
Binary: acl2 acl2-source acl2-emacs acl2-infix acl2-infix-source acl2-books acl2-books-source acl2-books-certs acl2-doc
Architecture: source all i386
Version: 3.4-1
Distribution: unstable
Urgency: low
Maintainer: Camm Maguire <camm@enhanced.com>
Changed-By: Camm Maguire <camm@enhanced.com>
Description: 
 acl2       - A Computational Logic for Applicative Common Lisp: main binary
 acl2-books - A Computational Logic for Applicative Common Lisp: compiled libra
 acl2-books-certs - A Computational Logic for Applicative Common Lisp: library certif
 acl2-books-source - A Computational Logic for Applicative Common Lisp: library source
 acl2-doc   - A Computational Logic for Applicative Common Lisp: documentation
 acl2-emacs - A Computational Logic for Applicative Common Lisp: emacs interfac
 acl2-infix - A Computational Logic for Applicative Common Lisp: infix interfac
 acl2-infix-source - A Computational Logic for Applicative Common Lisp: infix source
 acl2-source - A Computational Logic for Applicative Common Lisp: source files
Closes: 482594 494328
Changes: 
 acl2 (3.4-1) unstable; urgency=low
 .
   * New upstream release
   * Bug fix: "acl2-status.txt should contain :INITIALIZED.", thanks to
     Lucas Nussbaum (Closes: #494328).  New release works around compiler
     issue.
   * Bug fix: "FTBFS when converted to new source format 3.0 (quilt)",
     thanks to hertzog@debian.org</a>; (Closes: #482594). patches ->
     dpatches
Checksums-Sha1: 
 aaccc398e964bcf5ce52595668db9f14d0d9e7f5 1177 acl2_3.4-1.dsc
 9326fb97f7a351bc41943bb433d34e98d1dbf84f 8003235 acl2_3.4.orig.tar.gz
 ba06fae8e0429c2ff7f05b8fd7167660a5de9830 13765 acl2_3.4-1.diff.gz
 2fa77a253b25f54c90be9637afcc93f5e3269d24 2611492 acl2-source_3.4-1_all.deb
 3bd893defc5ac27fbe7edcf0338083da7c3f273b 55466 acl2-emacs_3.4-1_all.deb
 a5b64dbc0dcacdc726ae24c170da010458831b48 86726 acl2-infix-source_3.4-1_all.deb
 0ba627874de2debe3adc642de4838d515c6e29eb 2970558 acl2-books-source_3.4-1_all.deb
 a9ddc69e300ad1678637eec207b94e2623b853ab 1297394 acl2-books-certs_3.4-1_all.deb
 9dd0c8181842d7844475202186d485a1b7d5a1ee 2407554 acl2-doc_3.4-1_all.deb
 b0b425a49e69c9b11bb1a8cae2ff8128d5408717 19363946 acl2_3.4-1_i386.deb
 bed59291bcff492d5af0351687e5c567de8a6078 399510 acl2-infix_3.4-1_i386.deb
 468e18e5058bba39add6f7b73c847ac1a8d64771 21529886 acl2-books_3.4-1_i386.deb
Checksums-Sha256: 
 02377fa580c8f888af98be89efab6a42daedaf585195d88659efa795e0c68e58 1177 acl2_3.4-1.dsc
 71373ab5d0fe72f6db1d9a86b7b062eb09707cb7b69f69eccfd41c9f0b938abe 8003235 acl2_3.4.orig.tar.gz
 da89cd3d9a06e7d49f31ac20bb05b67ee60adc50949158000c507b8e370a19c7 13765 acl2_3.4-1.diff.gz
 790fd031b60d3b525f3299e611d7d3ccdf9f377e0085c9a4d46f380e5b2ff443 2611492 acl2-source_3.4-1_all.deb
 90faf4b396a8dd187af478bfd8a9f9ff6fa94fe85929cde379dbbc46b3bad9b7 55466 acl2-emacs_3.4-1_all.deb
 ba3774432ca4a2816f0bbdacabcdc9676350108f3a6661fe886b86512702de91 86726 acl2-infix-source_3.4-1_all.deb
 467c9dedea335ee581a1394f87841bd06036a919065976a546f48d73cb5fee6b 2970558 acl2-books-source_3.4-1_all.deb
 9ed488ee97ceea6cb6379dd1189b859f250b5157105ce347ed813e3ee927b5b1 1297394 acl2-books-certs_3.4-1_all.deb
 8df51ab2cd0101dc5343c28d6f36f1e09b75df5f4f1b347cd07aacd31b80672f 2407554 acl2-doc_3.4-1_all.deb
 329895f627dcaaf6241a1e881e0f5afbae246db6f8479a9656c2b5fd4b69ad7e 19363946 acl2_3.4-1_i386.deb
 08fc6db611d297689230d6b3d59e07742bc149a758ce38eb83f335662a9f97af 399510 acl2-infix_3.4-1_i386.deb
 9c4785d8d3203005e5d2817ec2defdfc6fd0d501d5799cce2214a8ba9188268e 21529886 acl2-books_3.4-1_i386.deb
Files: 
 2425ae793ddcbbfdfa05a27fec1afc6c 1177 math optional acl2_3.4-1.dsc
 00c210b69b585941d856616c7a66c463 8003235 math optional acl2_3.4.orig.tar.gz
 441c3713e610a92e8f07a5ab4e66296d 13765 math optional acl2_3.4-1.diff.gz
 a6b04fbc373672094c2df4b36a35ecc1 2611492 math optional acl2-source_3.4-1_all.deb
 3b7efe9e196a4d73964f8335b09ccd0f 55466 math optional acl2-emacs_3.4-1_all.deb
 57b852d1939f51eb10e9d81b3a2b390f 86726 math optional acl2-infix-source_3.4-1_all.deb
 796a3bb265b3e6dea0c238e34c1c1f15 2970558 math optional acl2-books-source_3.4-1_all.deb
 80946c897190d8926cd97673b815040f 1297394 math optional acl2-books-certs_3.4-1_all.deb
 630c3b15a33d0ed5f9964389f48a8e6a 2407554 doc optional acl2-doc_3.4-1_all.deb
 4c878248efb67e0ad06a35fa7c219a13 19363946 math optional acl2_3.4-1_i386.deb
 461b39561e80e4cb6d9ee924a3f1b275 399510 math optional acl2-infix_3.4-1_i386.deb
 46fa09ca30dba49f43ed030257be7f0e 21529886 math optional acl2-books_3.4-1_i386.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)

iD8DBQFIse4tczG1wFfwRdwRAmmLAKC7saAqMJAIOCSf0BZxI9r2x4kIjACfcxip
uoSwoMh9KyoR5Dk1xlVoBUs=
=lHcU
-----END PGP SIGNATURE-----

Bug archived. Request was from Debbugs Internal Request <owner@bugs.debian.org> to internal_control@bugs.debian.org. (Tue, 24 Mar 2009 07:37:00 GMT) (full text, mbox, link).

Send a report that this bug log contains spam.

Debian bug tracking system administrator <owner@bugs.debian.org>. Last modified: Thu Jan 11 20:33:37 2018; Machine Name: beach

Debian Bug tracking system

Debbugs is free software and licensed under the terms of the GNU Public License version 2. The current version can be obtained from https://bugs.debian.org/debbugs-source/.

Copyright © 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson, 2005-2017 Don Armstrong, and many other contributors.