nixpkgs / coqPackages.mathcomp-character -

Homepage - https://math-comp.github.io/

License - CECILL-B

Maintainers - Vincent Laporte - John Wiegley - Cyril Cohen

Outputs

out (expand/collapse)

Releases

1.12.0 (expand/collapse)
From commit 02c142a2 to 00460bd6
1.11.0 (expand/collapse)
From commit 074ef76e to 074ef76e
1.12.0 (expand/collapse)
From commit 04855119 to 07557e3b
1.11.0 (expand/collapse)
From commit 065a8102 to 065a8102
1.12.0 (expand/collapse)
From commit 044053e2 to 04de1306
1.11.0 (expand/collapse)
From commit 03582eb6 to 03582eb6
1.12.0 (expand/collapse)
From commit 035434d8 to 062e1e59
1.11.0 (expand/collapse)
From commit 03c09257 to 03c09257
1.12.0 (expand/collapse)
From commit 037e5170 to 075953b7
1.11.0 (expand/collapse)
From commit 05065605 to 05065605
1.12.0 (expand/collapse)
From commit 0391ca2b to 01dc2d9c
1.11.0 (expand/collapse)
From commit 074b608d to 074b608d
1.12.0 (expand/collapse)
From commit 0326ec60 to 07e4cbde
1.11.0 (expand/collapse)
From commit 0432a816 to 0432a816
1.12.0 (expand/collapse)
From commit 07d9edea to 03108183
1.11.0 (expand/collapse)
From commit 07bb1100 to 07bb1100
1.12.0 (expand/collapse)
From commit 04af4657 to 060286eb
1.11.0 (expand/collapse)
From commit 033208fd to 021813a4
1.10.0 (expand/collapse)
From commit 04946f42 to 04946f42
1.11.0 (expand/collapse)
From commit 05ca995e to 06623ebd
1.10.0 (expand/collapse)
From commit 06c0f165 to 06c0f165
1.11.0 (expand/collapse)
From commit 0575e0d2 to 075da392
1.10.0 (expand/collapse)
From commit 066544a7 to 0380ee43
1.8.0 (expand/collapse)
From commit 05a16be9 to 05a16be9
1.10.0 (expand/collapse)
From commit 049b68be to 0456d939
1.8.0 (expand/collapse)
From commit 02b3cac1 to 02b3cac1
1.10.0 (expand/collapse)
From commit 03f116ea to 008e7e32
1.8.0 (expand/collapse)
From commit 06ac7027 to 06ac7027
1.10.0 (expand/collapse)
From commit 057383bb to 0045730c
1.8.0 (expand/collapse)
From commit 00b90430 to 00b90430
1.10.0 (expand/collapse)
From commit 0010ae49 to 0581aa6c
1.8.0 (expand/collapse)
From commit 01b645e8 to 01b645e8
1.10.0 (expand/collapse)
From commit 02acd0b2 to 01bc3321
1.8.0 (expand/collapse)
From commit 05ad8cf2 to 05bcfa18
1.9.0 (expand/collapse)
From commit 00ba5578 to 00ba5578
1.8.0 (expand/collapse)
From commit 01f11297 to 0513ae77
1.9.0 (expand/collapse)
From commit 07b6eb69 to 06917a44
1.8.0 (expand/collapse)
From commit 0073c1fb to 0073c1fb
1.9.0 (expand/collapse)
From commit 003b42f3 to 02ea0d39
1.8.0 (expand/collapse)
From commit 057016a2 to 057016a2
1.9.0 (expand/collapse)
From commit 02e6a5fd to 0512f90e
1.8.0 (expand/collapse)
From commit 04c9866b to 04c9866b
1.9.0 (expand/collapse)
From commit 0636bebb to 03d6c406
1.8.0 (expand/collapse)
From commit 01c37106 to 00932b9d
1.9.0 (expand/collapse)
From commit 048e0b63 to 0121da2a
1.8.0 (expand/collapse)
From commit 032d0baf to 01d06dc3