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