Age | Commit message (Collapse) | Author |
|
coqPackages.mathcomp-abel: init at 1.0.0
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
and fixing dependencies
|
|
|
|
|
|
|
|
|
|
|
|
|
|
coqPackages.iris: 3.2.0 → 3.3.0
|
|
|
|
coqPackages.equations: 1.2.2 → 1.2.3
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
coqPackages.coq-elpi: 1.3.1 -> 1.4.0
coqPackages.hierarchy-builder: 0.9.0 -> 0.9.1
|
|
|
|
|
|
|
|
|
|
- removing broken packages
- taking into account fixpoint coqPackages in mathcomp-extra-config
|