nixpkgs / coqPackages.stdpp - An extended “Standard Library” for Coq

Homepage - https://gitlab.mpi-sws.org/iris/stdpp

License - BSD-3-Clause

Maintainers - Vincent Laporte

Releases

1.5.0 (expand/collapse)
From commit 02c142a2 to 00460bd6
1.4.0 (expand/collapse)
From commit 074ef76e to 074ef76e
1.5.0 (expand/collapse)
From commit 044053e2 to 07557e3b
1.4.0 (expand/collapse)
From commit 03582eb6 to 03582eb6
1.5.0 (expand/collapse)
From commit 037e5170 to 062e1e59
1.4.0 (expand/collapse)
From commit 05065605 to 05065605
1.5.0 (expand/collapse)
From commit 04991f2e to 01dc2d9c
1.4.0 (expand/collapse)
From commit 045a4797 to 045a4797
1.5.0 (expand/collapse)
From commit 03e50cf1 to 00fe2670
1.4.0 (expand/collapse)
From commit 064e0af8 to 064e0af8
1.5.0 (expand/collapse)
From commit 06dee383 to 0139874d
1.4.0 (expand/collapse)
From commit 064b446f to 064b446f
1.5.0 (expand/collapse)
From commit 01a8cc22 to 031da799
1.4.0 (expand/collapse)
From commit 06749ba3 to 061c913c
1.2.1 (expand/collapse)
From commit 05fe6112 to 05fe6112
1.4.0 (expand/collapse)
From commit 015c5a2b to 0096eb92
1.2.1 (expand/collapse)
From commit 00347e95 to 00347e95
1.4.0 (expand/collapse)
From commit 063c756b to 00946dc2
1.2.1 (expand/collapse)
From commit 00d8c11a to 00d8c11a
1.4.0 (expand/collapse)
From commit 003fa57c to 03197f94
1.2.1 (expand/collapse)
From commit 020a2121 to 020a2121
1.4.0 (expand/collapse)
From commit 041f70f6 to 041f70f6
1.2.1 (expand/collapse)
From commit 0052523a to 0052523a
1.4.0 (expand/collapse)
From commit 01ff24f1 to 01ff24f1
1.2.1 (expand/collapse)
From commit 021bde52 to 03b9e494
1.4.0 (expand/collapse)
From commit 066544a7 to 0301d1d8
1.2.1 (expand/collapse)
From commit 0218f30a to 05a16be9
1.1 (expand/collapse)
From commit 0767de3d to 0767de3d
1.2.1 (expand/collapse)
From commit 05ee2af7 to 00610756
1.1 (expand/collapse)
From commit 04a0b11c to 04a0b11c
1.2.1 (expand/collapse)
From commit 053b9da7 to 050646af
1.1 (expand/collapse)
From commit 03b9bc9e to 05de8873