Quellcode-Paket: ssreflect (2.5.0-2)
Links für ssreflect
Debian-Ressourcen:
- Fehlerberichte
- Entwicklerinformationen
- Debian-Changelog
- Copyright-Datei
- Debian-Quellcode-Depot (Git)
- Debian Patch-Überblick
Betreuer:
- Debian OCaml Maintainers (QS-Seite, E-Mail-Archiv)
- Stéphane Glondu (QS-Seite)
- Julien Puydt (QS-Seite)
- Ralf Treinen (QS-Seite)
Externe Ressourcen:
- Homepage [math-comp.github.io]
Experimentelles Paket
Warnung: Dieses Paket stammt aus der Experimental-Distribution. Dies bedeutet, dass es höchstwahrscheinlich instabil oder fehlerhaft ist und sogar Datenverlust verursachen kann. Bitte lesen Sie den Changelog und andere möglicherweise verfügbare Dokumentation, bevor Sie es benutzen.
Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:
- libcoq-mathcomp
- Mathematical Components library for Coq (all)
- libcoq-mathcomp-algebra
- Mathematical Components library for Coq (algebra)
- libcoq-mathcomp-boot
- Mathematical Components library for Coq (boot)
- libcoq-mathcomp-character
- Mathematical Components library for Coq (character)
- libcoq-mathcomp-field
- Mathematical Components library for Coq (field)
- libcoq-mathcomp-fingroup
- Mathematical Components library for Coq (finite groups)
- libcoq-mathcomp-order
- Mathematical Components library for Coq (order)
- libcoq-mathcomp-solvable
- Mathematical Components library for Coq (finite groups II)
- libcoq-mathcomp-ssreflect
- Mathematical Components library for Coq (small scale reflection)
- mathcomp-doc
- Mathematical Components library for Coq (doc)
Andere Pakete mit Bezug zu ssreflect
|
|
-
- adep: debhelper-compat (= 13)
- Paket nicht verfügbar
-
- adep: dh-coq
- debhelper tool for Coq-related Debian packages
-
- adep: coq (>= 9)
- Beweis-Assistent für Logik höherer Ordnung (Toplevel und Compiler)
-
- adep: libcoq-hierarchy-builder
- build hierarchies of algebraic structures in Coq
-
- adep: libcoq-stdlib
- Standard library for the Rocq Theorem Prover
-
- adep: lua5.4
- Einfache, erweiterbare, einbettbare Programmiersprache
Download ssreflect
| Datei | Größe (in kB) | MD5-Prüfsumme |
|---|---|---|
| ssreflect_2.5.0-2.dsc | 2,8 kB | b8c14eba2f03b266a45f774310ffd717 |
| ssreflect_2.5.0.orig.tar.gz | 1.932,3 kB | a9e62218e543145d2a3e780816b51a98 |
| ssreflect_2.5.0-2.debian.tar.xz | 12,7 kB | 782277ed6e965adf025013aa0de0d58b |
- Quellcode-Depot des Debian-Pakets (VCS: Git)
- https://salsa.debian.org/ocaml-team/ssreflect.git
- Quellcode-Depot des Debian-Pakets (browsable)
- https://salsa.debian.org/ocaml-team/ssreflect