Bug#944204: coq: Updating ocaml to 4.08.1-2 removes coq
Source: coq
Version: 8.9.1-1
Severity: important
Dear Maintainer,
root@debian:~# apt dist-upgrade -V
Reading package lists... Done
Building dependency tree
Reading state information... Done
Calculating upgrade... Done
The following packages were automatically installed and are no longer required:
libdevel-globaldestruction-perl (0.14-1)
libfindlib-ocaml (1.8.1-1+b1)
libfindlib-ocaml-dev (1.8.1-1+b1)
ocaml-findlib (1.8.1-1+b1)
Use 'apt autoremove' to remove them.
The following packages will be REMOVED:
coq (8.9.1-1)
coq-theories (8.9.1-1)
libcoq-ocaml (8.9.1-1)
The following NEW packages will be installed:
ocaml-man (4.08.1-2)
The following packages will be upgraded:
bamfdaemon (0.5.4-1 => 0.5.4-2)
bittwist (2.0-11 => 2.0-12)
bruteforce-salted-openssl (1.4.2-1 => 1.4.2-2)
cewl (5.4.4.2-1 => 5.4.4.2-2)
chromium (76.0.3809.100-1 => 78.0.3904.87-1)
chromium-common (76.0.3809.100-1 => 78.0.3904.87-1)
chromium-l10n (76.0.3809.100-1 => 78.0.3904.87-1)
chromium-sandbox (76.0.3809.100-1 => 78.0.3904.87-1)
gir1.2-bamf-3 (0.5.4-1 => 0.5.4-2)
ledit (2.04-3 => 2.04-4)
libbamf3-2 (0.5.4-1 => 0.5.4-2)
libfindlib-ocaml (1.8.1-1 => 1.8.1-1+b1)
libfindlib-ocaml-dev (1.8.1-1 => 1.8.1-1+b1)
libhivex0 (1.3.18-1+b2 => 1.3.18-1+b3)
libhpmud0 (3.19.8+dfsg0-7+b1 => 3.19.11+dfsg0-1)
libwin-hivex-perl (1.3.18-1+b2 => 1.3.18-1+b3)
libz3-4 (4.8.6-2 => 4.8.6-2+b1)
libz3-4:i386 (4.8.6-2 => 4.8.6-2+b1)
libz3-4-dbgsym (4.8.6-2 => 4.8.6-2+b1)
libz3-dev (4.8.6-2 => 4.8.6-2+b1)
ocaml (4.05.0-12 => 4.08.1-2)
ocaml-base (4.05.0-12 => 4.08.1-2)
ocaml-base-nox (4.05.0-12 => 4.08.1-2)
ocaml-compiler-libs (4.05.0-12 => 4.08.1-2)
ocaml-interp (4.05.0-12 => 4.08.1-2)
ocaml-nox (4.05.0-12 => 4.08.1-2)
printer-driver-hpcups (3.19.8+dfsg0-7+b1 => 3.19.11+dfsg0-1)
printer-driver-hpijs (3.19.8+dfsg0-7+b1 => 3.19.11+dfsg0-1)
printer-driver-postscript-hp (3.19.8+dfsg0-7+b1 => 3.19.11+dfsg0-1)
29 upgraded, 1 newly installed, 3 to remove and 0 not upgraded.
Need to get 0 B/270 MB of archives.
After this operation, 335 MB disk space will be freed.
Do you want to continue? [Y/n]
(Reading database ... 637762 files and directories currently installed.)
Removing coq (8.9.1-1) ...
Removing coq-theories (8.9.1-1) ...
Removing libcoq-ocaml (8.9.1-1) ...
(Reading database ... 633168 files and directories currently installed.)
...
...
Not sure if coq needs to target specific version of ocaml and it is
correct (and I shoudl simply wait), or maybe dependencies are specified
incorrect in coq package.
Best regards,
Witold
-- System Information:
Debian Release: bullseye/sid
APT prefers unstable-debug
APT policy: (500, 'unstable-debug'), (500, 'testing-debug'), (500, 'unstable'), (1, 'experimental-debug'), (1, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386
Kernel: Linux 5.2.0-3-amd64 (SMP w/32 CPU cores)
Kernel taint flags: TAINT_PROPRIETARY_MODULE, TAINT_OOT_MODULE, TAINT_UNSIGNED_MODULE
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8), LANGUAGE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /usr/bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled
Reply to: