about summary refs log tree commit diff
path: root/pkgs/development/coq-modules/coqeal/default.nix
AgeCommit message (Expand)AuthorFilesLines
6 dayscoq-elpi: 2.0.1 -> 2.2.0 (#323590)Pierre Roux1-1/+1
2024-01-19Add Coqeal 2.0.1 and algebra-tactics 1.2.3Pierre Roux1-0/+2
2024-01-16coqPackages.mathcomp: 1.18.0 -> 1.19.0Pierre Roux1-4/+4
2023-10-31Add various mathcomp 2.1 versionsPierre Roux1-0/+2
2023-09-04coq_8_18: init at 8.18+rc1Vincent Laporte1-1/+1
2023-05-17coqPackages.coqeal: 1.1.1 -> 1.1.3Pierre Roux1-0/+2
2023-03-09coqPackages: various 8.16 -> 8.17Pierre Roux1-1/+1
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn89011-5/+3
2022-09-08coqPackages.coqeal: enable for Coq 8.16Vincent Laporte1-1/+1
2022-07-13coqPackages.coqeal: 1.1.0 → 1.1.1Vincent Laporte1-0/+2
2022-05-25coqPackages: etcCyril Cohen1-2/+1
2022-05-13Revert "coqPackages: etc"Vincent Laporte1-1/+2
2022-05-12coqPackages: etcCyril Cohen1-2/+1
2022-02-02Adapt to Coq 8.15 and MathCOmp 1.14Pierre Roux1-1/+1
2021-12-09coqPackages.coqeal: disable for Coq 8.15Vincent Laporte1-1/+1
2021-11-05coqPackages.coqeal: 1.0.6 -> 1.1.0Pierre Roux1-1/+2
2021-11-02coqPackages.coqeal: master, add dependencyPierre Roux1-2/+8
2021-10-29coqPackages.mathcomp: 1.12.0 -> 1.13.0Cyril Cohen1-2/+2
2021-08-06coqPackages.coqeal: 1.0.5 → 1.0.6Vincent Laporte1-0/+2
2021-04-29coqPackages.coqeal: 1.0.4 → 1.0.5Vincent Laporte1-0/+2
2021-01-09coqPackages: refactorCyril Cohen1-0/+24
2017-12-02coqPackages_8_4.coqeal: removeVincent Laporte1-33/+0
2016-06-03Fix lots of fetchgit hashes (fallout from #15469)Tuomas Tynkkynen1-1/+1
2015-05-29coq-coqeal: fix installationVincent Laporte1-4/+9
2014-12-04coqPackages.coqeal: new expressionJohn Wiegley1-0/+28
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-07 05:05:48 +0000