Paket: libcoq-unimath (20240923-2 und andere)

Links für libcoq-unimath

• eLxr Patch-Überblick

Quellcode-Paket coq-unimath herunterladen:

• [coq-unimath_20240923-2.debian.tar.xz]
• [coq-unimath_20240923-2.dsc]
• [coq-unimath_20240923.orig.tar.gz]

Betreuer:

• Debian OCaml Maintainers
• Julien Puydt

Externe Ressourcen:

• Homepage [github.com]

Ähnliche Pakete:

• libcoq-coquelicot
• coq
• libcoq-hott
• libcoq-mathcomp
• libcoq-core-ocaml
• coqide
• libcoq-mathcomp-character
• libcoq-mathcomp-field
• libcoq-mathcomp-algebra
• libcoq-core-ocaml-dev
• libcoq-stdlib

Andere Pakete mit Bezug zu libcoq-unimath

• dep: libcoq-stdlib-1ns11 [arm64]

  virtuelles Paket, bereitgestellt durch libcoq-stdlib

• dep: libcoq-stdlib-68yx1 [amd64]

  virtuelles Paket, bereitgestellt durch libcoq-stdlib

libcoq-unimath herunterladen