Ubuntu
flocq package

flocq 4.1.4-1 source package in Ubuntu

Changelog

flocq (4.1.4-1) unstable; urgency=medium

  * New upstream release.

 -- Julien Puydt <email address hidden>  Sat, 24 Feb 2024 09:57:16 +0100

Upload details

Uploaded by:
Debian OCaml Maintainers
Uploaded to:
Sid
Original maintainer:
Debian OCaml Maintainers
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
flocq_4.1.4-1.dsc 2.0 KiB 49e68213ce3dc6f9ad2cfb119d7f9176730b82525ba178a1ebd06e4239a4a201
flocq_4.1.4.orig.tar.bz2 325.8 KiB 95d8ed3935661b0e3f801218fea693cc0fb0394aa2e1e0574ccb2d724d08a878
flocq_4.1.4-1.debian.tar.xz 1.7 KiB 4c00dd498594d79b544a5470826e51cc4babe93e2436b6b33787dbfe9f180ffb

No changes file available.

Binary packages built by this source

libcoq-flocq: Floating-point arithmetic for Coq

 Flocq provides a formalization of floating-point arithmetic
 for Coq, in the form of a comprehensive library of
 theorems on a multi-radix multi-precision arithmetic,
 with efficient numerical computations.
 .
 Coq is a proof assistant for higher-order logic.