[ aramo ]
Virtual Package: libelpi-ocaml-dev-qbtp4
This is a virtual package. See the Debian policy for a definition of virtual packages.
Packages providing libelpi-ocaml-dev-qbtp4
- libelpi-ocaml-dev
- embeddable lambda-Prolog interpreter (dev files)