dependency problem with cvc-libs-47 1.8.0-3.18.4

[tillmo]

cvc-libs-47 version 1.8.0-3.18.4 cannot be installed, due to the dependency on libantlr3c-3.2-0:

 apt show cvc-libs-47
Package: cvc-libs-47
Version: 1.8.0-3.18.4
Priority: optional
Section: math
Source: cvc-47-src
Maintainer: http://theo.cs.ovgu.de/ <jel+ubuntu-pkg@cs.uni-magdeburg.de>
Installed-Size: 24.2 MB
Depends: libantlr3c-3.2-0 | libantlr3c-antlrdbg-3.2-0, libc6 (>= 2.17), libgcc1 (>= 1:3.0), libgmp10, libstdc++6 (>= 5.2)
Replaces: libcvc4-7, libcvc4parser7
Download-Size: 5,540 kB
APT-Sources: http://ppa.launchpad.net/hets/hets/ubuntu bionic/main amd64 Packages
Description: SMT solver Cooperating Validity Checker (CVC4).
This package contains the shared libraries required to run cvc4 or related
applications. CVC4 is a tool for determining the satisfiability of a first
order formula modulo a first order theory (or a combination of such
theories). It is intended to be an open and extensible SMT engine. It can be
used as a stand−alone tool or as a library. It has been designed to increase
the performance and reduce the memory overhead of its predecessors. 

Strengely, with an older version, the dependecies are newer, and this can be installed:

apt show cvc-libs-47
Package: cvc-libs-47
Version: 1.8.0-2.20.4
Priority: optional
Section: math
Source: cvc-47-src
Maintainer: http://theo.cs.ovgu.de/ <jel+ubuntu-pkg@cs.uni-magdeburg.de>
Installed-Size: 28,7 MB
Depends: libantlr3c-3.4-0 | libantlr3c-antlrdbg-3.4-0, libc6 (>= 2.29), libgcc-s1 (>= 3.0), libgmp10, libstdc++6 (>= 9)
Replaces: libcvc4-7, libcvc4parser7
Download-Size: 6.296 kB
APT-Manual-Installed: no
APT-Sources: http://ppa.launchpad.net/hets/hets/ubuntu focal/main amd64 Packages
Description: SMT solver Cooperating Validity Checker (CVC4).
 This package contains the shared libraries required to run cvc4 or related
 applications. CVC4 is a tool for determining the satisfiability of a first
 order formula modulo a first order theory (or a combination of such
 theories). It is intended to be an open and extensible SMT engine. It can be
 used as a stand−alone tool or as a library. It has been designed to increase
 the performance and reduce the memory overhead of its predecessors.

[jelmd]

Hmmm, actually the first one is the latest for bionic, the second one the latest for focal (see last two numbers). Can you check your /etc/apt/sources.list and /etc/apt/sources.list.d/*.list, and replace bionic with focal everywhere?

[daniilsvc]

solved, thanks