[ etiona ]
Pakiet wirtualny: libssreflect-ocaml-2iti5
Jest to pakiet wirtualny. Proszę zapoznać się z polityką Debiana aby uzyskać definicję pakietu wirtualnego.
Pakiety udostępniające libssreflect-ocaml-2iti5
- libssreflect-ocaml
- small scale reflection extension for Coq (plugin)