nixpkgs / coqPackages.coquelicot - A Coq library for Reals

Homepage - http://coquelicot.saclay.inria.fr/

License - LGPL-3.0

Maintainers - Vincent Laporte

Outputs

out (expand/collapse)

Releases

3.2.0 (expand/collapse)
From commit 033208fd to 00460bd6
3.1.0 (expand/collapse)
From commit 04946f42 to 04946f42
3.2.0 (expand/collapse)
From commit 05ca995e to 06623ebd
3.1.0 (expand/collapse)
From commit 06c0f165 to 06c0f165
3.2.0 (expand/collapse)
From commit 0575e0d2 to 075da392
3.1.0 (expand/collapse)
From commit 06749ba3 to 0380ee43
3.0.3 (expand/collapse)
From commit 05fe6112 to 05fe6112
3.1.0 (expand/collapse)
From commit 066544a7 to 0096eb92
3.0.3 (expand/collapse)
From commit 05a16be9 to 05a16be9
3.1.0 (expand/collapse)
From commit 049b68be to 0456d939
3.0.3 (expand/collapse)
From commit 02b3cac1 to 02b3cac1
3.1.0 (expand/collapse)
From commit 0091e035 to 008e7e32
3.0.3 (expand/collapse)
From commit 05f8cba1 to 05f8cba1
3.1.0 (expand/collapse)
From commit 034395d0 to 0242e11c
3.0.3 (expand/collapse)
From commit 033ba9c7 to 02a71216
3.1.0 (expand/collapse)
From commit 05b765d2 to 06f0a0fc
3.0.3 (expand/collapse)
From commit 0006326d to 0006326d
3.1.0 (expand/collapse)
From commit 06e4bb1a to 042a2d8b
3.0.3 (expand/collapse)
From commit 0218f30a to 079de14f
3.0.2 (expand/collapse)
From commit 0767de3d to 0767de3d
3.0.3 (expand/collapse)
From commit 0281599a to 00610756
3.0.2 (expand/collapse)
From commit 071a4db3 to 071a4db3
3.0.3 (expand/collapse)
From commit 048a0acb to 0732203c
3.0.2 (expand/collapse)
From commit 02cc8d4e to 02cc8d4e
3.0.3 (expand/collapse)
From commit 00bb62d4 to 00bb62d4
3.0.2 (expand/collapse)
From commit 00a3f6a0 to 01681dff
3.0.3 (expand/collapse)
From commit 011c29f6 to 016cc8e7
3.0.2 (expand/collapse)
From commit 02046851 to 02046851
3.0.3 (expand/collapse)
From commit 06c77702 to 06c77702
3.0.2 (expand/collapse)
From commit 07a9c36c to 0680b8f1
3.0.3 (expand/collapse)
From commit 03a820d3 to 0423b5d7
3.0.2 (expand/collapse)
From commit 04551d26 to 0172a270
2.1.1 (expand/collapse)
From commit 049357bb to 03f2888b