Пакунок: libssreflect-ocaml-dev (1.6.1-3 and others) [debports]

[ Source:  ]

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 [not hppa]

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

• dep: camlp5-ajc05 [hppa]

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

• dep: libcoq-ocaml-dev-eqz92 [not hppa]

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

• dep: libcoq-ocaml-dev-uqoh2 [hppa]

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

• dep: libssreflect-ocaml-ec091 [hppa]

  virtual package provided by libssreflect-ocaml

• dep: libssreflect-ocaml-j83f4 [not hppa]

  virtual package provided by libssreflect-ocaml

• dep: ocaml-nox-4.02.3 [hppa]

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

• dep: ocaml-nox-4.05.0 [not hppa]

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

Завантажити libssreflect-ocaml-dev

Завантаження для всіх доступних архітектур

Архітектура	Версія	Розмір пакунка	Розмір після встановлення	Файли
alpha (unofficial port)	1.6.1-3	61.9 kB	363.0 kB	[список файлів]
hppa (unofficial port)	1.6.1-2+b1	62.5 kB	354.0 kB	[список файлів]
ia64 (unofficial port)	1.6.1-3	62.0 kB	363.0 kB	[список файлів]
sh4 (unofficial port)	1.6.1-3	61.9 kB	363.0 kB	[список файлів]
sparc64 (unofficial port)	1.6.1-3	61.9 kB	363.0 kB	[список файлів]
x32 (unofficial port)	1.6.1-3	61.9 kB	363.0 kB	[список файлів]