about summary refs log tree commit diff
path: root/pkgs/development/coq-modules/gappalib
AgeCommit message (Expand)AuthorFilesLines
2023-11-15coqPackages.gappalib: 1.5.3 → 1.5.4Vincent Laporte1-1/+2
2023-06-07coqPackages.gappalib: 1.5.2 → 1.5.3Vincent Laporte1-1/+2
2023-01-21treewide: remove global with lib; statements in pkgs/coq-modulesShawn89011-3/+3
2022-09-10coqPackages.gappalib: 1.5.1 → 1.5.2Vincent Laporte1-1/+2
2022-05-25coqPackages: etcCyril Cohen1-1/+1
2022-05-13Revert "coqPackages: etc"Vincent Laporte1-1/+1
2022-05-12coqPackages: etcCyril Cohen1-1/+1
2022-04-11coqPackages.gappalib: 1.5.0 → 1.5.1Vincent Laporte1-1/+2
2022-02-25coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps ...Ulrik Strid1-1/+1
2021-12-09coqPackages.gappalib: disable for Coq 8.15Vincent Laporte1-1/+1
2021-10-03coqPackages.gappalib: 1.4.5 → 1.5.0Vincent Laporte1-1/+2
2021-01-09coqPackages: refactorCyril Cohen1-22/+16
2020-08-30coqPackages.gappalib: 1.4.3 → 1.4.4Vincent Laporte1-4/+4
2020-04-29coqPackages.gappalib: 1.4.1 → 1.4.3Vincent Laporte1-4/+4
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-2/+2
2019-06-27coqPackages.gappalib: disable for Coq 8.10Vincent Laporte1-1/+1
2019-06-19coqPackages.gappalib: init at 1.4.1Vincent Laporte1-0/+30
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-20 01:14:26 +0000