Pacote virtual: libcoq-core-ocaml-dev-3d0o2

Pacote experimental

Aviso: este pacote é da distribuição experimental. Isso significa que provavelmente é instável ou tem erros, e pode até causar perda de dados. Certifique-se de consultar o changelog e outras documentações antes de usá-lo.

This is a virtual package. See the Debian policy for a definition of virtual packages.

Pacotes fornecendo libcoq-core-ocaml-dev-3d0o2

libcoq-core-ocaml-dev

development libraries and tools for Coq