Your message dated Sat, 25 Aug 2012 18:47:44 +0000
with message-id <[email protected]>
and subject line Bug#682719: fixed in acl2 5.0-1
has caused the Debian Bug report #682719,
regarding acl2: Should build-depend on emacs23 | emacs24
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.)
--
682719: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=682719
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: acl2
Version: 4.3-3
Severity: important
Tags: patch
Hello,
Since emacs24 is now in testing for Wheezy, emacs24 should be a build
dependency as well as emacs23. The debian/control file patch is inlined
below:
--- a/debian_control 2012-04-20 18:09:14.000000000 +0200
+++ b/debian/control 2012-07-25 00:01:09.000000000 +0200
@@ -2,7 +2,7 @@
Section: math
Priority: optional
Maintainer: Camm Maguire <[email protected]>
-Build-Depends: gcl ( >= 2.6.7-100 ), libgmp3-dev, libreadline-dev,
emacs23 | emacsen, debhelper ( >= 5 ), texlive-latex-recommended,
libxmu-dev, libxaw7-dev, time, tex-common
+Build-Depends: gcl ( >= 2.6.7-100 ), libgmp3-dev, libreadline-dev,
emacs23 | emacs24 | emacsen, debhelper ( >= 5 ),
texlive-latex-recommended, libxmu-dev, libxaw7-dev, time, tex-common
Standards-Version: 3.9.3
Package: acl2
By the way, there is no package named emacsen, only emacsen-common, so
why build-depend on a non-existing package: emacsen?
Thanks!
--- End Message ---
--- Begin Message ---
Source: acl2
Source-Version: 5.0-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.
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.
Camm Maguire <[email protected]> (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 [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Fri, 24 Aug 2012 18:45:28 +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: 5.0-1
Distribution: unstable
Urgency: low
Maintainer: Camm Maguire <[email protected]>
Changed-By: Camm Maguire <[email protected]>
Description:
acl2 - Computational Logic for Applicative Common Lisp: main binary
acl2-books - Computational Logic for Applicative Common Lisp: compiled librari
acl2-books-certs - Computational Logic for Applicative Common Lisp: library
certific
acl2-books-source - Computational Logic for Applicative Common Lisp: library
sources
acl2-doc - Computational Logic for Applicative Common Lisp: documentation
acl2-emacs - Computational Logic for Applicative Common Lisp: emacs interface
acl2-infix - Computational Logic for Applicative Common Lisp: infix interface
acl2-infix-source - Computational Logic for Applicative Common Lisp: infix
source
acl2-source - Computational Logic for Applicative Common Lisp: source files
Closes: 682719
Changes:
acl2 (5.0-1) unstable; urgency=low
.
* New upstream release
* books retrieved separately from
http://acl2-books.googlecode.com/files/books-5.0.tar.gz
* Bug fix: "Should build-depend on emacs23 | emacs24", thanks to
[email protected]</a>; (Closes: #682719).
Checksums-Sha1:
2698dbe817f2c730044e9f59913b2c6545d6fed6 1491 acl2_5.0-1.dsc
7f30d94a5adab5364c94d78e846f666f4137fd79 17337004 acl2_5.0.orig.tar.gz
bd3fccc3f59a667fc2d0e771d36e1a2d4e53378b 18516 acl2_5.0-1.debian.tar.gz
de695764e0444e8513544e7426944bbb529c4ba9 3573070 acl2-source_5.0-1_all.deb
84142156847042b61290c26086b8d22381fd4d48 60954 acl2-emacs_5.0-1_all.deb
27d294a5bd298a48ffccf3b6b5367fa247754c1a 91586 acl2-infix-source_5.0-1_all.deb
39a34d02c03cc57fbb08e9a1074d1da9b099618e 7330716
acl2-books-source_5.0-1_all.deb
8084f169e922982b8b6210bf8554ad4f1301a179 4995984 acl2-books-certs_5.0-1_all.deb
f2e8599d02a246f864b5b9cf6e326596847f25a8 369602 acl2-doc_5.0-1_all.deb
fa70cc18ba6fbdb3373f745380f92a540b4ae614 25798840 acl2_5.0-1_i386.deb
a6dd19c4de13ab8e3721c265a9af5a73980cd965 184572 acl2-infix_5.0-1_i386.deb
77be8d31c6d00705124c5ecdaf3487414e802e8a 15180296 acl2-books_5.0-1_i386.deb
Checksums-Sha256:
6a0e76456918d8254f73bd9d1f4c6cb4036eea8bc28583274619022e4ab4ba62 1491
acl2_5.0-1.dsc
60d3da31a80ad5f31c5530b54aa9172e60acaf6513713145a3fd2ff64b3b834c 17337004
acl2_5.0.orig.tar.gz
c033de3f9bdfcf3ef93b8482a05bc6a48f41d7f637c3b6820514cb1e9ce9da77 18516
acl2_5.0-1.debian.tar.gz
ec42c266fdc9638e5c1646781b5af0fcb93fdce0dc93c4d78171596b171c9b4d 3573070
acl2-source_5.0-1_all.deb
92042f349e4184772c6d5b03eb0156756bf130410cf2e2a9f696d9e1c9724b84 60954
acl2-emacs_5.0-1_all.deb
265f243ba24e0137cee7372fc17b0e120f058b597f994f45f75019011c236a95 91586
acl2-infix-source_5.0-1_all.deb
04009eaae93c70ce3a69d8d64e3054712a23ac6be503b6fb0d079d27215036c4 7330716
acl2-books-source_5.0-1_all.deb
aedbb4fb27b674a46d2335ed56671b619c13d8de0aab93b2b2050d17201b6c59 4995984
acl2-books-certs_5.0-1_all.deb
8132a3dc7e6c15c0298e8644f3e449b14d09d0eb7c3006d4e5f2eb422bc1c66b 369602
acl2-doc_5.0-1_all.deb
9fb93682dab6eae0f0aa5a3b183e04265f7cc332aecf25907cbf41041f71b771 25798840
acl2_5.0-1_i386.deb
0294e3d7555d1a931845e62298f8825a0ff82310a76af03defc97e2162c92522 184572
acl2-infix_5.0-1_i386.deb
cd6e99cd6c33d1a1597039f0d6829428681eb69af2e25de6cf950e21de1114f0 15180296
acl2-books_5.0-1_i386.deb
Files:
517b7f5fd3da8d909ff880b98f134de8 1491 math optional acl2_5.0-1.dsc
0ba810db35ad61747dca2fca9cc49e33 17337004 math optional acl2_5.0.orig.tar.gz
4ad3be25211877a94cfa4d3896b7139e 18516 math optional acl2_5.0-1.debian.tar.gz
6cc5a69d8bb60724843fcf90ed3f9c65 3573070 math optional
acl2-source_5.0-1_all.deb
e41d4e2d56af0281943f04ddaf33380b 60954 math optional acl2-emacs_5.0-1_all.deb
cbd15099e85cdd00a17a9a963444beaa 91586 math optional
acl2-infix-source_5.0-1_all.deb
e170f24f98e051ba5a13a9f93a5f0fd5 7330716 math optional
acl2-books-source_5.0-1_all.deb
26368dccc9c47ed3c0c8c1dfbec295af 4995984 math optional
acl2-books-certs_5.0-1_all.deb
342268210d3a7f9944eea7fbd3644144 369602 doc optional acl2-doc_5.0-1_all.deb
4cc01a0de9a72ef2c753cc0e31a0d885 25798840 math optional acl2_5.0-1_i386.deb
be118946d676c54b0b7b9e9e5d9da6da 184572 math optional acl2-infix_5.0-1_i386.deb
dde21dbe1c8461a547ccc25d4bbc2fff 15180296 math optional
acl2-books_5.0-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iEYEARECAAYFAlA5B4YACgkQczG1wFfwRdwjZwCdHzTYpDc2SRkDK1YD+AhNZ+Ns
RzsAnjXMu5ZodkON545P7asHvHwPmNJf
=vXDv
-----END PGP SIGNATURE-----
--- End Message ---
