all options
bookworm  ] [  trixie  ] [  sid  ]

Source Package: coq-math-classes (8.15.0-4)

Links for coq-math-classes

Debian Resources:

Maintainers:

External Resources:

The following binary packages are built from this source package:
libcoq-math-classes
Abstract interfaces for mathematical structures for Coq

Other Packages Related to coq-math-classes

  • build-depends
  • build-depends-indep

Download coq-math-classes

FileSize (in kB)MD5 checksum
coq-math-classes_8.15.0-4.dsc 2.1 kB cff54d56ad0b55a51af3fb9f35b48848
coq-math-classes_8.15.0.orig.tar.gz 164.0 kB dba7c652edd1ea63203cdd33f97fddba
coq-math-classes_8.15.0-4.debian.tar.xz 2.6 kB c6803095fa1bb9ebef357f5c87b6c49a
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/ocaml-team/coq-math-classes.git
Debian Package Source Repository (Browsable)
https://salsa.debian.org/ocaml-team/coq-math-classes