nixpkgs/pkgs/development/coq-modules at 90ad4808123815cf2189f15bf2a6da97e296163e - nixpkgs - Fudo Git

public/nixpkgs

Files

History

Ben Siraphob 2341ffeeaa coqPackages.fourcolor: init at 1.2.3

2021-03-26 10:55:48 +01:00

..

…

…

category-theory

…

…

…

…

…

coqPackages.coq-elpi: 1.6.0 -> 1.6.1

2021-03-22 11:40:34 +01:00

…

…

…

…

…

…

coqPackages.corn: 8.8.1 → 8.12.0

2021-01-28 10:28:51 +01:00

coqPackages.dpdgraph: init at 0.6.9 for Coq 8.13

2021-02-14 14:36:18 +01:00

…

…

…

coqPackages.fourcolor: init at 1.2.3

2021-03-26 10:55:48 +01:00

…

…

hierarchy-builder

elpi: 1.12.0 -> 1.13.0

2021-02-18 22:26:10 +01:00

…

…

…

…

…

coqPackages.math-classes: 8.11.0 -> 8.12.0

2021-01-21 16:39:59 +01:00

coqPackages.mathcomp: etc (#115417 )

2021-03-15 12:59:05 +01:00

coqPackages.mathcomp-abel: init at 1.0.0

2021-01-14 19:51:30 +01:00

mathcomp-analysis

coqPackages.mathcomp-analysis: 0.3.1 -> 0.3.6

2021-03-12 10:40:18 +01:00

mathcomp-bigenough

…

mathcomp-finmap

…

mathcomp-real-closed

…

…

coqPackages.multinomials: 1.5.2 -> 1.5.4 (#115427 )

2021-03-10 16:25:32 +01:00

…

…

…

…

…

…

…

…

…

…