虛擬套件： libssreflect-ocaml-dev-2iti5

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

提供 libssreflect-ocaml-dev-2iti5 的套件

libssreflect-ocaml-dev

small scale reflection extension for Coq (devt files)