nixpkgs / coqPackages.iris - The Coq development of the Iris Project

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

License - BSD-3-Clause

Maintainers - Vincent Laporte

Releases

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