[ etiona ]
Виртуальный пакет: libssreflect-ocaml-dev-2iti5
Это виртуальный пакет. О том, что такое виртуальные пакеты читайте в политике Debian.
Пакеты, предоставляющие libssreflect-ocaml-dev-2iti5
- libssreflect-ocaml-dev
- small scale reflection extension for Coq (devt files)