all options
bookworm  ] [  sid  ]

Source Package: flocq (4.1.0-2)

Links for flocq

Debian Resources:

Maintainers:

External Resources:

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

Other Packages Related to flocq

  • build-depends
  • build-depends-indep

Download flocq

FileSize (in kB)MD5 checksum
flocq_4.1.0-2.dsc 2.0 kB 302fe36d56ba3ffa85609cb8cdb917ce
flocq_4.1.0.orig.tar.bz2 325.3 kB e7148b368a70f81feb3726f72c600b15
flocq_4.1.0-2.debian.tar.xz 1.5 kB 4fb8d7f9469d56034956eda32647b9f0
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/ocaml-team/flocq.git
Debian Package Source Repository (Browsable)
https://salsa.debian.org/ocaml-team/flocq