[ 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
- embeddable lambda-Prolog interpreter (dev files)