Paquet source : ssreflect (1.6.1-3build1)
Liens pour ssreflect
Ressources Trisquel :
Responsable :
Original Maintainers:
Ressources externes :
Les paquets binaires suivants sont compilés à partir de ce paquet source :
- 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)
Autres paquets associés à 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
- Paquet indisponible
-
- adep:
ocaml-nox
(>= 4)
- ML implementation with a class-based object system (no X)