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