summary refs log tree commit diff
path: root/pkgs/development/coq-modules/coqeal/default.nix
Commit message (Expand)AuthorAge
* Add various mathcomp 2.1 versionsPierre Roux2023-10-31
* coq_8_18: init at 8.18+rc1Vincent Laporte2023-09-04
* coqPackages.coqeal: 1.1.1 -> 1.1.3Pierre Roux2023-05-17
* coqPackages: various 8.16 -> 8.17Pierre Roux2023-03-09
* treewide: remove global with lib; statements in pkgs/coq-modulesShawn89012023-01-21
* coqPackages.coqeal: enable for Coq 8.16Vincent Laporte2022-09-08
* coqPackages.coqeal: 1.1.0 → 1.1.1Vincent Laporte2022-07-13
* coqPackages: etcCyril Cohen2022-05-25
* Revert "coqPackages: etc"Vincent Laporte2022-05-13
* coqPackages: etcCyril Cohen2022-05-12
* Adapt to Coq 8.15 and MathCOmp 1.14Pierre Roux2022-02-02
* coqPackages.coqeal: disable for Coq 8.15Vincent Laporte2021-12-09
* coqPackages.coqeal: 1.0.6 -> 1.1.0Pierre Roux2021-11-05
* coqPackages.coqeal: master, add dependencyPierre Roux2021-11-02
* coqPackages.mathcomp: 1.12.0 -> 1.13.0Cyril Cohen2021-10-29
* coqPackages.coqeal: 1.0.5 → 1.0.6Vincent Laporte2021-08-06
* coqPackages.coqeal: 1.0.4 → 1.0.5Vincent Laporte2021-04-29
* coqPackages: refactorCyril Cohen2021-01-09
* coqPackages_8_4.coqeal: removeVincent Laporte2017-12-02
* Fix lots of fetchgit hashes (fallout from #15469)Tuomas Tynkkynen2016-06-03
* coq-coqeal: fix installationVincent Laporte2015-05-29
* coqPackages.coqeal: new expressionJohn Wiegley2014-12-04
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-04-28 05:12:46 +0000