diff options
author | Martin Weinelt <mweinelt@users.noreply.github.com> | 2022-06-14 10:46:42 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-06-14 10:46:42 +0200 |
commit | 6e030d41bb67b47488936b6789e1284be80b9442 (patch) | |
tree | bea3d957c23fe3e43b18e5ad9f28140d8d9fc355 /pkgs/development/coq-modules/LibHyps/default.nix | |
parent | ed78eee2f68797e2830a4336eb8273e8f334a845 (diff) | |
parent | 0631bf9509f1afcf02edba3ef51326093229ee23 (diff) |
Merge pull request #177570 from jtojnar/liblouis
Diffstat (limited to 'pkgs/development/coq-modules/LibHyps/default.nix')
0 files changed, 0 insertions, 0 deletions