libcoq-core-ocaml-dev - 8.16.1+dfsg-1+b2
Missing dependencies
Required by: libc6-dev Version: 2.36-9+deb12u7 Type: Binary Package