nixpkgs / coqPackages.mathcomp -

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

License - CECILL-B

Maintainers - Vincent Laporte - John Wiegley - Cyril Cohen

Outputs

out (expand/collapse)

• /lib/coq/8.13/user-contrib/mathcomp/all/all.glob
• /lib/coq/8.13/user-contrib/mathcomp/all/all.v
• /lib/coq/8.13/user-contrib/mathcomp/all/all.vo
• /nix-support/propagated-build-inputs

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 03d6c406 to 03d6c406

1.8.0 (expand/collapse)

From commit 0412ee2a to 0412ee2a

1.9.0 (expand/collapse)

From commit 0636bebb to 05c1addd

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 00263c93 to 01d06dc3

1.7.0 (expand/collapse)

From commit 00a52224 to 00a52224

1.8.0 (expand/collapse)

From commit 04cc8385 to 02ea1812

1.7.0 (expand/collapse)

From commit 0045164b to 0045164b

1.8.0 (expand/collapse)

From commit 06026f28 to 06fad89b

1.7.0 (expand/collapse)

From commit 0778b2c9 to 0778b2c9

1.8.0 (expand/collapse)

From commit 02811918 to 07458c2f

1.7.0 (expand/collapse)

From commit 037f62bb to 0695b7da

1.8.0 (expand/collapse)

From commit 030efbb1 to 030efbb1

1.7.0 (expand/collapse)

From commit 00541faa to 00541faa

1.8.0 (expand/collapse)

From commit 06e0ede0 to 069e1a74

1.7.0 (expand/collapse)

From commit 05dfa99d to 05dfa99d

1.8.0 (expand/collapse)

From commit 008c9a70 to 0154d513

1.7.0 (expand/collapse)

From commit 0638ff6f to 055694b7

1.8.0 (expand/collapse)

From commit 03bd909f to 03bd909f

1.7.0 (expand/collapse)

From commit 03b9bc9e to 041fc676

1.6-8.4 (expand/collapse)

From commit 077a3102 to 03f2888b

1.5-8.4 (expand/collapse)

From commit 036f11f3 to 06f9ac71

1.5 (expand/collapse)

From commit 01dc343c to 01dc343c

1.5-8.4 (expand/collapse)

From commit 0654e658 to 013f88ac

8.4-mathcomp-1.5 (expand/collapse)

From commit 01571ab2 to 01571ab2

1.5 (expand/collapse)

From commit 03ab9652 to 005837d8