nixpkgs / coqPackages.flocq - A floating-point formalization for the Coq system

Homepage - https://gitlab.inria.fr/flocq/flocq

License - LGPL-3.0

Maintainers - John Wiegley

Releases

3.4.2 (expand/collapse)
From commit 01d12be5 to 00460bd6
3.3.1 (expand/collapse)
From commit 042fc8db to 042fc8db
3.4.2 (expand/collapse)
From commit 049ca38a to 04e470ae
3.3.1 (expand/collapse)
From commit 048af0cd to 03ad3e81
3.4.2 (expand/collapse)
From commit 06517475 to 0593b0a4
3.3.1 (expand/collapse)
From commit 066544a7 to 05cacac3
3.2.0 (expand/collapse)
From commit 05a16be9 to 05a16be9
3.3.1 (expand/collapse)
From commit 049b68be to 0456d939
3.2.0 (expand/collapse)
From commit 02b3cac1 to 02b3cac1
3.3.1 (expand/collapse)
From commit 004c6c14 to 008e7e32
3.2.0 (expand/collapse)
From commit 063abf2a to 07e09428
3.3.1 (expand/collapse)
From commit 03690ba2 to 03690ba2
3.2.0 (expand/collapse)
From commit 0218f30a to 01ee5c92
3.1.0 (expand/collapse)
From commit 0767de3d to 0767de3d
3.2.0 (expand/collapse)
From commit 0281599a to 00610756
3.1.0 (expand/collapse)
From commit 071a4db3 to 071a4db3
3.2.0 (expand/collapse)
From commit 048a0acb to 0732203c
3.1.0 (expand/collapse)
From commit 02cc8d4e to 02cc8d4e
3.2.0 (expand/collapse)
From commit 00bb62d4 to 00bb62d4
3.1.0 (expand/collapse)
From commit 04cc8385 to 01681dff
3.0.0 (expand/collapse)
From commit 0045164b to 0045164b
3.1.0 (expand/collapse)
From commit 039087ac to 06fad89b
3.0.0 (expand/collapse)
From commit 0382f5ef to 0382f5ef
3.1.0 (expand/collapse)
From commit 044a8a24 to 02d3e977
3.0.0 (expand/collapse)
From commit 04f051d7 to 04f051d7
3.1.0 (expand/collapse)
From commit 039f359a to 0369f6c3
3.0.0 (expand/collapse)
From commit 01cd6cda to 04a1f848
3.1.0 (expand/collapse)
From commit 04551d26 to 04551d26
3.0.0 (expand/collapse)
From commit 066be85d to 038b8981
2.6.0 (expand/collapse)
From commit 059e5e0b to 059e5e0b
3.0.0 (expand/collapse)
From commit 04469284 to 071c7e8d
2.6.0 (expand/collapse)
From commit 0590170c to 0590170c
3.0.0 (expand/collapse)
From commit 04f025a8 to 026ec75d
2.6.0 (expand/collapse)
From commit 03b9bc9e to 07104e5d
8.4-2.5.1 (expand/collapse)
From commit 007d1b41 to 03f2888b
8.4-2.5.0 (expand/collapse)
From commit 010724bc to 010724bc
8.4-2.5.1 (expand/collapse)
From commit 049357bb to 074d1f2f
8.4-2.5.0 (expand/collapse)
From commit 00f6ce13 to 067467ed
8.4-2.4.0 (expand/collapse)
From commit 005bb796 to 03c1f6db