[ trixie ]
Paquet virtuel : liblem-ocaml-dev-dqvd1
This is a virtual package. See the Debian policy for a definition of virtual packages.
Paquets fournissant liblem-ocaml-dev-dqvd1
- liblem-ocaml-dev
- Tool merging math and logic for executable definitions (development)