nixpkgs / coqPackages.mathcomp-finmap - A finset and finmap library

Homepage - https://github.com/math-comp/finmap

License - CECILL-B

Releases

1.5.1 (expand/collapse)
From commit 033208fd to 00460bd6
1.4.0+coq-8.11 (expand/collapse)
From commit 04946f42 to 04946f42
1.5.1 (expand/collapse)
From commit 05ca995e to 06623ebd
1.4.0+coq-8.11 (expand/collapse)
From commit 06c0f165 to 06c0f165
1.5.1 (expand/collapse)
From commit 0575e0d2 to 075da392
1.4.0+coq-8.11 (expand/collapse)
From commit 06749ba3 to 0380ee43
1.4.0 (expand/collapse)
From commit 05fe6112 to 05fe6112
1.4.0+coq-8.11 (expand/collapse)
From commit 015c5a2b to 0096eb92
1.4.0 (expand/collapse)
From commit 00347e95 to 00347e95
1.4.0+coq-8.11 (expand/collapse)
From commit 063c756b to 00946dc2
1.4.0 (expand/collapse)
From commit 00d8c11a to 00d8c11a
1.4.0+coq-8.11 (expand/collapse)
From commit 0620184f to 03197f94
1.4.0 (expand/collapse)
From commit 02626990 to 02626990
1.4.0+coq-8.11 (expand/collapse)
From commit 049c0c52 to 02ee8250
1.4.0 (expand/collapse)
From commit 066544a7 to 016dad9d
1.2.1 (expand/collapse)
From commit 05a16be9 to 05a16be9
1.4.0 (expand/collapse)
From commit 049b68be to 0456d939
1.2.1 (expand/collapse)
From commit 02b3cac1 to 02b3cac1
1.4.0 (expand/collapse)
From commit 03f116ea to 008e7e32
1.2.1 (expand/collapse)
From commit 06ac7027 to 06ac7027
1.4.0 (expand/collapse)
From commit 057383bb to 0045730c
1.2.1 (expand/collapse)
From commit 00b90430 to 00b90430
1.4.0 (expand/collapse)
From commit 0010ae49 to 0581aa6c
1.2.1 (expand/collapse)
From commit 01b645e8 to 01b645e8
1.4.0 (expand/collapse)
From commit 02acd0b2 to 01bc3321
1.2.1 (expand/collapse)
From commit 0218f30a to 05bcfa18
1.2.0 (expand/collapse)
From commit 0767de3d to 0767de3d
1.2.1 (expand/collapse)
From commit 05ad8cf2 to 00610756
1.9.0-finmap-1.2.1 (expand/collapse)
From commit 00ba5578 to 00ba5578
1.2.1 (expand/collapse)
From commit 01f11297 to 0513ae77
1.9.0-finmap-1.2.1 (expand/collapse)
From commit 07b6eb69 to 06917a44
1.8.0-finmap-1.2.0 (expand/collapse)
From commit 0073c1fb to 0073c1fb
1.9.0-finmap-1.2.1 (expand/collapse)
From commit 003b42f3 to 02ea0d39
1.8.0-finmap-1.2.0 (expand/collapse)
From commit 057016a2 to 057016a2
1.9.0-finmap-1.2.1 (expand/collapse)
From commit 02e6a5fd to 0512f90e
1.8.0-finmap-1.2.0 (expand/collapse)
From commit 04c9866b to 04c9866b
1.9.0-finmap-1.2.1 (expand/collapse)
From commit 03d6c406 to 03d6c406
1.2.0 (expand/collapse)
From commit 0412ee2a to 0412ee2a
1.9.0-finmap-1.2.1 (expand/collapse)
From commit 0636bebb to 05c1addd
1.8.0-finmap-1.2.0 (expand/collapse)
From commit 01c37106 to 00932b9d
1.9.0-finmap-1.2.1 (expand/collapse)
From commit 048e0b63 to 0121da2a
1.8.0-finmap-1.2.0 (expand/collapse)
From commit 01d06dc3 to 01d06dc3
1.2.0 (expand/collapse)
From commit 071167e6 to 071167e6
1.8.0-finmap-1.2.0 (expand/collapse)
From commit 00263c93 to 03f48ebe
1.1.0 (expand/collapse)
From commit 00a52224 to 00a52224
1.8.0-finmap-1.2.0 (expand/collapse)
From commit 02ea1812 to 02ea1812
1.2.0 (expand/collapse)
From commit 03c07393 to 03c07393
1.8.0-finmap-1.2.0 (expand/collapse)
From commit 0612588a to 0612588a
1.2.0 (expand/collapse)
From commit 05b2996d to 03d2c7f8
1.8.0-finmap-1.2.0 (expand/collapse)
From commit 06b04301 to 06b04301
1.2.0 (expand/collapse)
From commit 0153edf9 to 0153edf9
1.8.0-finmap-1.2.0 (expand/collapse)
From commit 032d0baf to 075d79aa
1.2.0 (expand/collapse)
From commit 04cc8385 to 0040e207
1.1.0 (expand/collapse)
From commit 0045164b to 0045164b
1.2.0 (expand/collapse)
From commit 06026f28 to 06fad89b
1.1.0 (expand/collapse)
From commit 0778b2c9 to 0778b2c9
1.2.0 (expand/collapse)
From commit 02811918 to 07458c2f
1.1.0 (expand/collapse)
From commit 037f62bb to 0695b7da
1.2.0 (expand/collapse)
From commit 030efbb1 to 030efbb1
1.1.0 (expand/collapse)
From commit 00541faa to 00541faa
1.2.0 (expand/collapse)
From commit 06e0ede0 to 069e1a74
1.1.0 (expand/collapse)
From commit 05dfa99d to 05dfa99d
1.2.0 (expand/collapse)
From commit 008c9a70 to 0154d513
1.1.0 (expand/collapse)
From commit 0638ff6f to 055694b7
1.2.0 (expand/collapse)
From commit 03bd909f to 03bd909f
1.1.0 (expand/collapse)
From commit 04551d26 to 041fc676