Package: acl2-books-certs
Version: 2.9.3-7
I have a group of computers here that are mainly trying to stay with
sarge, with a few updates. They currently have ACL2 version 2.9.1-1
(rather than the 2.9-2 in sarge, for the :dir :system fix).
||/ Name Version Description
+++-==============-==============-============================================
ii acl2 2.9.1-1 A Computational Logic for Applicative Common
ii acl2-books 2.9.1-1 A Computational Logic for Applicative Common
ii acl2-books-cer 2.9.1-1 A Computational Logic for Applicative Common
ii acl2-books-sou 2.9.1-1 A Computational Logic for Applicative Common
(My sources.list has all of stable, testing, and unstable listed, but
apt.conf has 'Default-Release "stable"'.)
However, if I try to do a "apt-get dist-upgrade", the upgrade path APT
suggests is one that would break ACL2. It can't upgrade acl2 proper
because of the libc6 dependency, so the correct conclusion should be
that none of the ACL2 packages should be upgraded, but instead it
thinks it can remove acl2-books and upgrade acl2-books-{certs,source}
to the latest version:
||/ Name Version Description
+++-==============-==============-============================================
ii acl2 2.9.1-1 A Computational Logic for Applicative Common
pn acl2-books <none> (no description available)
ii acl2-books-cer 2.9.3-7 A Computational Logic for Applicative Common
ii acl2-books-sou 2.9.3-7 A Computational Logic for Applicative Common
I probably don't need to tell you that this combination of packages
doesn't make for a very usable system: the books can't be found in the
usual location, the certificates aren't accepted because they're for
the wrong version, etc.
I can work around the problem by pinning the packages in
/etc/apt/preferences, but I think the dependencies on the packages
should be corrected so that such an inconsistent upgrade is
disallowed. It looks to me like acl2-books-{certs,source} need to
depend on matching versions of acl2-books, or acl2 itself, or both.
-- Stephen
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
