Zdrojový balík: ssreflect (1.6.1-3build1)
Odkazy pre ssreflect
Zdroje Trisquel:
Správca:
Original Maintainers:
- Debian OCaml Maintainers
(Konferencia)
- Stéphane Glondu
- Enrico Tassi
Externé zdroje:
Nasledovné binárne balíky sú zostavované z tohto zdrojového balíka:
- libssreflect-coq
- small scale reflection library for Coq (theories)
- libssreflect-ocaml
- small scale reflection extension for Coq (plugin)
- libssreflect-ocaml-dev
- small scale reflection extension for Coq (devt files)
Ostatné balíky súvisiace s balíkom ssreflect
-
- adep:
debhelper
(>= 8)
- helper programs for debian/rules
-
- adep:
coq
(>= 8.6)
- proof assistant for higher-order logic (toplevel and compiler)
-
- adep:
libcoq-ocaml-dev
(>= 8.4)
- development libraries and tools for Coq
-
- adep:
dh-ocaml
(>= 0.9~)
- helper tools for maintaining OCaml-related Debian packages
-
- adep:
camlp5
(>= 5.12-2~)
- Pre Processor Pretty Printer for OCaml - classical version
-
- adep:
ocaml-best-compilers
- Balík nie je dostupný
-
- adep:
ocaml-nox
(>= 4)
- ML implementation with a class-based object system (no X)