all options
bookworm  ] [  trixie  ] [  sid  ]

Source Package: coq-interval (4.6.1-2)

Links for coq-interval

Debian Resources:

Maintainers:

External Resources:

The following binary packages are built from this source package:
libcoq-interval
interval arithmetic for Coq

Other Packages Related to coq-interval

  • build-depends
  • build-depends-indep

Download coq-interval

FileSize (in kB)MD5 checksum
coq-interval_4.6.1-2.dsc 2.1 kB 1632dd57021f576883d1638b18b09d61
coq-interval_4.6.1.orig.tar.bz2 253.4 kB 5d5f13150d2634408f0abde20508340f
coq-interval_4.6.1-2.debian.tar.xz 8.6 kB 16c669c0830a043ba032671bbb78256d
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/ocaml-team/coq-interval.git
Debian Package Source Repository (Browsable)
https://salsa.debian.org/ocaml-team/coq-interval