[ bookworm ]
Virtual Package: libelpi-ocaml-dev-k4ip2
This is a virtual package. See the Debian policy for a definition of virtual packages.
Packages providing libelpi-ocaml-dev-k4ip2
- libelpi-ocaml-dev
- interprete lambda-Prolog incorporabile (file di sviluppo)