[ etiona ]
Sanal Paket: libssreflect-ocaml-2iti5
Bu bir sanal pakettir. Sanal paketlerin tanımı için Debian ilkesine bakın.
libssreflect-ocaml-2iti5 sağlayan paketler
- libssreflect-ocaml
- small scale reflection extension for Coq (plugin)
Bu bir sanal pakettir. Sanal paketlerin tanımı için Debian ilkesine bakın.