Alle Optionen
buster  ]

Virtuelles Paket: libcoq-ocaml-dev-m8xw4

Dies ist ein virtuelles Paket. Sehen Sie in die Debian-Richtlinien bezüglich einer Definition von virtuellen Paketen.

Pakete, die libcoq-ocaml-dev-m8xw4 bereitstellen

libcoq-ocaml-dev
development libraries and tools for Coq