[ etiona ]
Виртуален пакет: libssreflect-ocaml-dev-2iti5
Това е виртуален пакет. Вижте Политиката на Дебиан за дефиницията на виртуален пакет.
Пакети, предлагащи libssreflect-ocaml-dev-2iti5
- libssreflect-ocaml-dev
- small scale reflection extension for Coq (devt files)