diff options
author | Pavol Rusnak <pavol@rusnak.io> | 2024-05-03 10:46:33 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-05-03 10:46:33 +0200 |
commit | 85dd2ec697c9c47006916a2074bc5d73b4d7f0b1 (patch) | |
tree | 472defa3e4f2464b2b29d02cb0305115adc7012d /pkgs/top-level/coq-packages.nix | |
parent | 249aba9056ad49c6abfbf6b6b519fcec78f75ae4 (diff) | |
parent | 4d7c65032c0752b8e9a0bc8564b194b291d6dc8d (diff) |
Merge pull request #308749 from RaghavSood/trezor/24.4.3
trezor-suite: 24.3.2 -> 24.4.3
Diffstat (limited to 'pkgs/top-level/coq-packages.nix')
0 files changed, 0 insertions, 0 deletions