» Ubuntu » Pakiety » jammy (22.04LTS) » Źródło » math » ssreflect
[  jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]

Pakiet źródłowy: ssreflect (1.14.0-7) [universe]

Odnośniki dla ssreflect

Zasoby systemu Ubuntu:

Opiekun:

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

Original Maintainers (usually from Debian):

  • Debian OCaml Maintainers (Archiwum e-mail)
  • Stéphane Glondu
  • Julien Puydt
  • Ralf Treinen

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

Zasoby zewnętrzne:

Z tego pakietu źródłowego zbudowano następujące pakiety binarne:
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)

Inne pakiety związane z ssreflect

  • build-depends
  • build-depends-indep
  • adep: debhelper-compat (= 13)
    Pakiet niedostępny
  • adep: coq (>= 8.11)
    proof assistant for higher-order logic (toplevel and compiler)
  • adep: lua5.1
    Simple, extensible, embeddable programming language

Download ssreflect

PlikRozmiar (w KiB)Suma kontrolna MD5
ssreflect_1.14.0-7.dsc 2,5 KiB 768b2e65de9b7a5476a317eccac5c655
ssreflect_1.14.0.orig.tar.gz 1 321,3 KiB 692b7e3eebd39e9f382a238925da06f8
ssreflect_1.14.0-7.debian.tar.xz 12,1 KiB c8fd9a9b8a2c3882ba5d22e371bcb1f7
Repozytorium kodu źródłowego Debiana (VCS: Git)
https://salsa.debian.org/ocaml-team/ssreflect.git
Repozytorium kodu źródłowego Debiana (do przeglądania)
https://salsa.debian.org/ocaml-team/ssreflect