diff options
| author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2023-02-02 06:02:00 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-02 06:02:00 +0000 |
| commit | b5a491579de92570ad8d42a4acaa0d1091d414d8 (patch) | |
| tree | ff1a0c1e5f726cc18326b2de9c5c9d9665c9ee9a /pkgs/development/coq-modules/HoTT | |
| parent | 69b3d7ef23a4ba24353a11e4fea3ad18383aa0a4 (diff) | |
| parent | ffbbb55ee2d681ad08944768d51157449ee74704 (diff) | |
Merge staging-next into staging
Diffstat (limited to 'pkgs/development/coq-modules/HoTT')
0 files changed, 0 insertions, 0 deletions