Paquet : libssreflect-ocaml-dev (1.6.1-3) [debports]
Liens pour libssreflect-ocaml-dev
Ressources Debian :
Télécharger le paquet source :
IntrouvableResponsables :
Ressources externes :
- Page d'accueil [math-comp.github.io]
Paquets similaires :
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.
Autres paquets associés à libssreflect-ocaml-dev
|
|
|
|
-
- dep: camlp5-9k749
- Paquet indisponible
-
- dep: libcoq-ocaml-dev-eqz92
- Paquet indisponible
-
- dep: libssreflect-ocaml-j83f4
- paquet virtuel fourni par libssreflect-ocaml
-
- dep: ocaml-nox-4.05.0
- Paquet indisponible
Télécharger libssreflect-ocaml-dev
Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|
x32 (portage non officiel) | 61,9 ko | 363,0 ko | [liste des fichiers] |