about summary refs log tree commit diff
path: root/pkgs/development/coq-modules/multinomials
AgeCommit message (Expand)AuthorFilesLines
2024-01-26coqPackages_8_19.multinomialsPierre Roux1-1/+1
2024-01-19Add Coqeal 2.0.1 and algebra-tactics 1.2.3Pierre Roux1-1/+3
2024-01-17coqPackages.mathcomp: 2.1.0 -> 2.2.0Pierre Roux1-2/+2
2023-11-15coqPackages.mathcomp: 1.17.0 -> 1.18.0 (#265046)Pierre Roux1-1/+1
2023-10-31Add various mathcomp 2.1 versionsPierre Roux1-2/+4
2023-09-04Add a few packages for Coq 8.18 and MathComp 2.0Pierre Roux1-2/+4
2023-05-17coqPackages.multinomials: 1.5.6 -> 1.6.0Pierre Roux1-0/+2
2023-03-09coqPackages: various 8.16 -> 8.17Pierre Roux1-1/+3
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn89011-5/+5
2022-10-02coqPackages.mkCoqDerivation: upgrade to Dune 3Théo Zimmermann1-3/+3
2022-02-25coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps ...Ulrik Strid1-1/+1
2022-02-02Adapt to Coq 8.15 and MathCOmp 1.14Pierre Roux1-1/+2
2021-10-29coqPackages.mathcomp: 1.12.0 -> 1.13.0Cyril Cohen1-1/+1
2021-10-13coq_8_14: init at 8.14+rc1Théo Zimmermann1-1/+1
2021-10-04coqPackages.multinomials: fixCyril Cohen1-1/+5
2021-09-20coqPackages.mkCoqDerivation: rely on namePrefix to compute default opam-nameThéo Zimmermann1-1/+0
2021-08-17coqPackages.mkCoqDerivation: fix useDune2Théo Zimmermann1-0/+3
2021-03-10coqPackages.multinomials: 1.5.2 -> 1.5.4 (#115427)Cyril Cohen1-1/+8
2021-01-09coqPackages: refactorCyril Cohen1-0/+34
2019-05-15coqPackages: refactor mathcomp packagesCyril Cohen1-28/+0
2017-12-18coqPackages.multinomials: init at 1.0Vincent Laporte1-0/+28
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-06 17:02:11 +0000