Release 2.0.2

Summary

Mathematical Components 1.12.0 and Coq 8.13

Available packages:

• coq-8.13.1
• mathcomp-all-1.12.0
• mathcomp1.12-abel-1.0.0
• mathcomp1.12-bigenough-1.0.0
• mathcomp1.12-finmap-1.5.1
• mathcomp1.12-real-closed-1.1.2

Mathematical Components 1.12.0 and Coq 8.12

Available packages:

• coq-8.12.2
• mathcomp-all-1.12.0
• mathcomp1.12-abel-1.0.0
• mathcomp1.12-bigenough-1.0.0
• mathcomp1.12-finmap-1.5.1
• mathcomp1.12-real-closed-1.1.2

Mathematical Components 1.12.0 and Coq 8.11

Available packages:

• coq-8.11.2
• mathcomp-all-1.12.0
• mathcomp1.12-abel-1.0.0
• mathcomp1.12-bigenough-1.0.0
• mathcomp1.12-finmap-1.5.1
• mathcomp1.12-real-closed-1.1.2

Mathematical Components 1.12.0 and Coq 8.10

Available packages:

• coq-8.10.2
• mathcomp-all-1.12.0
• mathcomp1.12-abel-1.0.0
• mathcomp1.12-bigenough-1.0.0
• mathcomp1.12-finmap-1.5.1
• mathcomp1.12-real-closed-1.1.2

Mathematical Components 1.11.0 and Coq 8.12

Available packages:

• coq-8.12.2
• mathcomp-all-1.11.0
• mathcomp1.11-abel-1.0.0
• mathcomp1.11-bigenough-1.0.0
• mathcomp1.11-finmap-1.5.1
• mathcomp1.11-real-closed-1.1.1
• mathcomp1.11-multinomials-1.5.2

Mathematical Components 1.11.0 and Coq 8.11

Available packages:

• coq-8.11.2
• mathcomp-all-1.11.0
• mathcomp1.11-abel-1.0.0
• mathcomp1.11-analysis-0.3.1
• mathcomp1.11-bigenough-1.0.0
• mathcomp1.11-finmap-1.5.1
• mathcomp1.11-real-closed-1.1.1
• mathcomp1.11-multinomials-1.5.2

Mathematical Components 1.11.0 and Coq 8.10

Available packages:

• coq-8.10.2
• mathcomp-all-1.11.0
• mathcomp1.11-abel-1.0.0
• mathcomp1.11-analysis-0.3.1
• mathcomp1.11-bigenough-1.0.0
• mathcomp1.11-finmap-1.5.1
• mathcomp1.11-real-closed-1.1.1
• mathcomp1.11-multinomials-1.5.2

Mathematical Components 1.11.0 and Coq 8.9

Available packages:

• coq-8.9.1
• mathcomp-all-1.11.0
• mathcomp1.11-bigenough-1.0.0
• mathcomp1.11-finmap-1.5.0
• mathcomp1.11-real-closed-1.1.1
• mathcomp1.11-multinomials-1.5.2

Mathematical Components 1.11.0 and Coq 8.8

Available packages:

• coq-8.8.2
• mathcomp-all-1.11.0
• mathcomp1.11-bigenough-1.0.0
• mathcomp1.11-finmap-1.5.0
• mathcomp1.11-real-closed-1.1.1
• mathcomp1.11-multinomials-1.5.2

Mathematical Components 1.11.0 and Coq 8.7

Available packages:

• coq-8.7.2
• mathcomp-all-1.11.0
• mathcomp1.11-bigenough-1.0.0
• mathcomp1.11-finmap-1.5.0
• mathcomp1.11-real-closed-1.1.1
• mathcomp1.11-multinomials-1.5.2

Mathematical Components 1.10.0 and Coq 8.11

Available packages:

• coq-8.11.2
• mathcomp-all-1.10.0
• mathcomp1.10-analysis-0.2.3
• mathcomp1.10-bigenough-1.0.0
• mathcomp1.10-finmap-1.4.0+coq-8.11
• mathcomp1.10-real-closed-1.0.4
• mathcomp1.10-multinomials-1.5.0

Mathematical Components 1.10.0 and Coq 8.10

Available packages:

• coq-8.10.2
• mathcomp-all-1.10.0
• mathcomp1.10-analysis-0.2.3
• mathcomp1.10-bigenough-1.0.0
• mathcomp1.10-finmap-1.4.0
• mathcomp1.10-real-closed-1.0.4
• mathcomp1.10-multinomials-1.5.0

Mathematical Components 1.10.0 and Coq 8.9

Available packages:

• coq-8.9.1
• mathcomp-all-1.10.0
• mathcomp1.10-analysis-0.2.3
• mathcomp1.10-bigenough-1.0.0
• mathcomp1.10-finmap-1.4.0
• mathcomp1.10-real-closed-1.0.4
• mathcomp1.10-multinomials-1.5.0

Mathematical Components 1.10.0 and Coq 8.8

Available packages:

• coq-8.8.2
• mathcomp-all-1.10.0
• mathcomp1.10-analysis-0.2.3
• mathcomp1.10-bigenough-1.0.0
• mathcomp1.10-finmap-1.4.0
• mathcomp1.10-real-closed-1.0.4
• mathcomp1.10-multinomials-1.5.0

Mathematical Components 1.10.0 and Coq 8.7

Available packages:

• coq-8.7.2
• mathcomp-all-1.10.0
• mathcomp1.10-bigenough-1.0.0
• mathcomp1.10-finmap-1.4.0
• mathcomp1.10-real-closed-1.0.4
• mathcomp1.10-multinomials-1.5.0

Mathematical Components 1.9.0 and Coq 8.10

Available packages:

• coq-8.10.2
• mathcomp-all-1.9.0
• mathcomp1.9-analysis-0.2.3
• mathcomp1.9-bigenough-1.0.0
• mathcomp1.9-finmap-1.4.0
• mathcomp1.9-real-closed-1.0.4
• mathcomp1.9-multinomials-1.5.0

Mathematical Components 1.9.0 and Coq 8.9

Available packages:

• coq-8.9.1
• mathcomp-all-1.9.0
• mathcomp1.9-analysis-0.2.3
• mathcomp1.9-bigenough-1.0.0
• mathcomp1.9-finmap-1.4.0
• mathcomp1.9-real-closed-1.0.4
• mathcomp1.9-multinomials-1.5.0

Mathematical Components 1.9.0 and Coq 8.8

Available packages:

• coq-8.8.2
• mathcomp-all-1.9.0
• mathcomp1.9-analysis-0.2.3
• mathcomp1.9-bigenough-1.0.0
• mathcomp1.9-finmap-1.4.0
• mathcomp1.9-real-closed-1.0.4
• mathcomp1.9-multinomials-1.5.0

Mathematical Components 1.9.0 and Coq 8.7

Available packages:

• coq-8.7.2
• mathcomp-all-1.9.0
• mathcomp1.9-bigenough-1.0.0
• mathcomp1.9-finmap-1.4.0
• mathcomp1.9-real-closed-1.0.4
• mathcomp1.9-multinomials-1.5.0

Mathematical Components 1.8.0 and Coq 8.9

Available packages:

• coq-8.9.1
• mathcomp-all-1.8.0
• mathcomp1.8-analysis-0.2.3
• mathcomp1.8-bigenough-1.0.0
• mathcomp1.8-finmap-1.4.0
• mathcomp1.8-real-closed-1.0.3
• mathcomp1.8-multinomials-1.5.0

Mathematical Components 1.8.0 and Coq 8.8

Available packages:

• coq-8.8.2
• mathcomp-all-1.8.0
• mathcomp1.8-analysis-0.2.3
• mathcomp1.8-bigenough-1.0.0
• mathcomp1.8-finmap-1.4.0
• mathcomp1.8-real-closed-1.0.3
• mathcomp1.8-multinomials-1.5.0

Mathematical Components 1.8.0 and Coq 8.7

Available packages:

• coq-8.7.2
• mathcomp-all-1.8.0
• mathcomp1.8-bigenough-1.0.0
• mathcomp1.8-finmap-1.4.0
• mathcomp1.8-real-closed-1.0.3
• mathcomp1.8-multinomials-1.5.0

Release 2.0.1

bugfix

Release 2.0.0

Switching to the new CoqPackages infrastructure

Release 1.0.0

Update nix.yml (#9)

* Update nix.yml