虛擬套件： libelpi-ocaml-qbtp4

這是一個虛擬套件。檢視Debian 政策瞭解虛擬套件的定義。

提供 libelpi-ocaml-qbtp4 的套件

libelpi-ocaml

embeddable lambda-Prolog interpreter (runtime files)