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