nixpkgs / coqPackages.coqeal - CoqEAL - The Coq Effective Algebra Library

Homepage - https://github.com/coq-community/CoqEAL

License - MIT

Releases

1.1.0 (expand/collapse)
From commit 00460bd6 to 00460bd6
1.0.6 (expand/collapse)
From commit 039e3758 to 039e3758
1.1.0 (expand/collapse)
From commit 02a01828 to 021410c0
1.0.6 (expand/collapse)
From commit 02c142a2 to 0278e1e2
1.0.4 (expand/collapse)
From commit 074ef76e to 074ef76e
1.0.6 (expand/collapse)
From commit 04e6b03f to 07557e3b
1.0.5 (expand/collapse)
From commit 0798ed1a to 0798ed1a
1.0.6 (expand/collapse)
From commit 0649d2c8 to 00037f74
1.0.5 (expand/collapse)
From commit 06f7d4c1 to 005c8088
1.0.6 (expand/collapse)
From commit 07768ee0 to 035dcc0e
1.0.5 (expand/collapse)
From commit 078285c6 to 078285c6
1.0.6 (expand/collapse)
From commit 04f5726f to 04412d1f
1.0.5 (expand/collapse)
From commit 069a145a to 069a145a
1.0.6 (expand/collapse)
From commit 03c5948c to 01a6d300
1.0.5 (expand/collapse)
From commit 04855119 to 0429b202
1.0.4 (expand/collapse)
From commit 065a8102 to 065a8102
1.0.5 (expand/collapse)
From commit 044053e2 to 04de1306
1.0.4 (expand/collapse)
From commit 03582eb6 to 03582eb6
1.0.5 (expand/collapse)
From commit 037e5170 to 062e1e59
1.0.4 (expand/collapse)
From commit 05065605 to 05065605
1.0.5 (expand/collapse)
From commit 022c5b09 to 01dc2d9c
1.0.4 (expand/collapse)
From commit 0253c5c2 to 0253c5c2
1.0.5 (expand/collapse)
From commit 0123d8c4 to 07168414
1.0.4 (expand/collapse)
From commit 04e9977b to 04e9977b
1.0.5 (expand/collapse)
From commit 0586a566 to 0463f91e
1.0.4 (expand/collapse)
From commit 033208fd to 03e55dac
1.0.3 (expand/collapse)
From commit 04946f42 to 04946f42
1.0.4 (expand/collapse)
From commit 05ca995e to 06623ebd
1.0.3 (expand/collapse)
From commit 06c0f165 to 06c0f165
1.0.4 (expand/collapse)
From commit 0575e0d2 to 075da392
1.0.3 (expand/collapse)
From commit 066544a7 to 0380ee43
1.0.0 (expand/collapse)
From commit 05a16be9 to 05a16be9
1.0.3 (expand/collapse)
From commit 049b68be to 0456d939
1.0.0 (expand/collapse)
From commit 02b3cac1 to 02b3cac1
1.0.3 (expand/collapse)
From commit 03f116ea to 008e7e32
1.0.0 (expand/collapse)
From commit 06ac7027 to 06ac7027
1.0.3 (expand/collapse)
From commit 057383bb to 0045730c
1.0.0 (expand/collapse)
From commit 00b90430 to 00b90430
1.0.3 (expand/collapse)
From commit 0010ae49 to 0581aa6c
1.0.0 (expand/collapse)
From commit 01b645e8 to 01b645e8
1.0.3 (expand/collapse)
From commit 02acd0b2 to 01bc3321
1.0.0 (expand/collapse)
From commit 01f11297 to 05bcfa18
8.4-7522037d (expand/collapse)
From commit 04124219 to 03f2888b