Age | Commit message (Collapse) | Author | Files | Lines |
|
|
|
|
|
|
|
|
|
Signed-off-by: Ali Caglayan <alizter@gmail.com>
|
|
Signed-off-by: Ali Caglayan <alizter@gmail.com>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
appropriate, part 1: trivial cases
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
coqPackages.CoLoR: 1.8.3 → 1.8.4
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Propagate `findlib` when needed
Add tests
|
|
treewide: use lib.optionalAttrs instead of 'then {}'
|
|
|
|
|
|
|
|
|
|
coqPackages.gappalib: 1.5.2 → 1.5.3
|
|
|
|
|
|
|
|
|
|
|
|
|