Bug#1019239: transition: coq (41 packages involved)

[Julien Puydt <julien.puydt@gmail.com>]

Hi

Le sam. 10 sept. 2022 à 14:00, Sebastian Ramacher <sramacher@debian.org> a écrit :

coq-stdpp can be installed with any coq version. That will need fixing.

The coq version is a non-issue: the libcoq-stdlib dep should already cover that. I'll look into why it doesn't.

Cheers

J.Puydt