[ Source: ssreflect ]
Paketti: libssreflect-ocaml (1.2+dfsg-3build1) [universe]
Links for libssreflect-ocaml
Ubuntu-palvelut:
Imuroi lähdekoodipaketti ssreflect:
- [ssreflect_1.2+dfsg-3build1.dsc]
- [ssreflect_1.2+dfsg.orig.tar.gz]
- [ssreflect_1.2+dfsg-3build1.debian.tar.gz]
Ylläpitäjä:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian OCaml Maintainers (Mail Archive)
- Stéphane Glondu
It should generally not be necessary for users to contact the original maintainer.
External Resources:
- Kotisivu [www.msr-inria.inria.fr]
Samankaltaisia paketteja:
small scale reflection extension for Coq (plugin)
This package is part of Ssreflect, the small scale reflection extension for Coq. It provides a new tactic language, which promotes more structured, concise and robust proof scripts, and is in fact independent from the "reflection" proof style. It is implemented as a linkable extension to the Coq system.
Muut pakettiin libssreflect-ocaml liittyvät paketit
|
|
|
-
- dep: libc6 (>= 2.1.3) [i386]
- Embedded GNU C Library: Shared libraries
myös näennäispaketti, jonka toteuttaa libc6-udeb
- dep: libc6 (>= 2.2.5) [amd64]
-
- dep: ocaml-base-nox-3.11.2
- näennäispaketti, jonka toteuttaa ocaml-base-nox
Imuroi libssreflect-ocaml
| Arkkitehtuuri | Paketin koko | Koko asennettuna | Tiedostot |
|---|---|---|---|
| amd64 | 374.0 kt | 1,592.0 kt | [tiedostoluettelo] |
| i386 | 314.9 kt | 1,284.0 kt | [tiedostoluettelo] |