» Ubuntu » Pakete » jammy (22.04LTS) » Quellcode » math » ssreflect
[  jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]

Quellcode-Paket: ssreflect (1.14.0-7) [universe]

Links für ssreflect

Ubuntu-Ressourcen:

Betreuer:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

  • Debian OCaml Maintainers (E-Mail-Archiv)
  • Stéphane Glondu
  • Julien Puydt
  • Ralf Treinen

It should generally not be necessary for users to contact the original maintainer.

Externe Ressourcen:

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-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-solvable
Mathematical Components library for Coq (finite groups II)
libcoq-mathcomp-ssreflect
Mathematical Components library for Coq (small scale reflection)

Andere Pakete mit Bezug zu ssreflect

  • build-depends
  • build-depends-indep
  • adep: debhelper-compat (= 13)
    Paket nicht verfügbar
  • adep: coq (>= 8.11)
    proof assistant for higher-order logic (toplevel and compiler)
  • adep: lua5.1
    Simple, extensible, embeddable programming language

Download ssreflect

DateiGröße (in kB)MD5-Prüfsumme
ssreflect_1.14.0-7.dsc 2,5 kB 768b2e65de9b7a5476a317eccac5c655
ssreflect_1.14.0.orig.tar.gz 1.321,3 kB 692b7e3eebd39e9f382a238925da06f8
ssreflect_1.14.0-7.debian.tar.xz 12,1 kB c8fd9a9b8a2c3882ba5d22e371bcb1f7
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