Пакет: libssreflect-ocaml-dev (1.6.1-3) [debports]

[ Источник:  ]

small scale reflection extension for Coq (devt files)

This package is part of Ssreflect, the small scale reflection extension for Coq. It provides the static native-code library, needed to build custom toplevels, and the compiled interface.

Другие пакеты, относящиеся к libssreflect-ocaml-dev

• dep: camlp5-9k749

  Пакет недоступен

• dep: libcoq-ocaml-dev-eqz92

  Пакет недоступен

• dep: libssreflect-ocaml-j83f4

  виртуальный пакет, предоставляемый libssreflect-ocaml

• dep: ocaml-nox-4.05.0

  Пакет недоступен

Загрузка libssreflect-ocaml-dev

Загрузить для всех доступных архитектур

Архитектура	Размер пакета	В установленном виде	Файлы
alpha (неофициальный перенос)	61,9 Кб	363,0 Кб	[список файлов]