packages
[ Източник: ssreflect ]
Пакет: libssreflect-ocaml-dev (1.2+dfsg-3build1) [universe]
Връзки за libssreflect-ocaml-dev
Ресурси за Ubuntu:
Изтегляне на пакет-източник ssreflect.
- [ssreflect_1.2+dfsg-3build1.dsc]
- [ssreflect_1.2+dfsg.orig.tar.gz]
- [ssreflect_1.2+dfsg-3build1.debian.tar.gz]
Отговорник:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian OCaml Maintainers (Пощенски архив)
- Stéphane Glondu
It should generally not be necessary for users to contact the original maintainer.
Външни препратки:
- Начална страница [www.msr-inria.inria.fr]
Подобни пакети:
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-tgj08 [i386]
- виртуален пакет, предлаган от camlp5
-
- dep: camlp5-vyeg0 [amd64]
- виртуален пакет, предлаган от camlp5
-
- dep: libcoq-ocaml-dev-12bq6 [i386]
- виртуален пакет, предлаган от libcoq-ocaml-dev
-
- dep: libcoq-ocaml-dev-wwre2 [amd64]
- виртуален пакет, предлаган от libcoq-ocaml-dev
-
- dep: libssreflect-ocaml-igyj4 [amd64]
- виртуален пакет, предлаган от libssreflect-ocaml
-
- dep: libssreflect-ocaml-ydkt8 [i386]
- виртуален пакет, предлаган от libssreflect-ocaml
-
- dep: ocaml-nox-3.11.2
- виртуален пакет, предлаган от ocaml-nox
Изтегляне на libssreflect-ocaml-dev
| Архитектура | Големина на пакета | Големина след инсталиране | Файлове |
|---|---|---|---|
| amd64 | 315,5 кБ | 1 796,0 кБ | [списък на файловете] |
| i386 | 306,9 кБ | 1 152,0 кБ | [списък на файловете] |