diff options
author | Bernardo Meurer <bernardo@meurer.org> | 2022-06-23 13:01:11 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-06-23 13:01:11 -0400 |
commit | 7bc33699f79b831b852f8011be3e59239753ae27 (patch) | |
tree | ffba57182d60ee7b6323f6c7605d3f0b76383e8d /pkgs/applications/science/logic/tlaplus/toolbox.nix | |
parent | 9f8ee001c0df207e77c8d91c2d78feedc3ddf378 (diff) | |
parent | f69c82f8ea515d6180decd3df4cc697a973fe807 (diff) |
Merge pull request #178328 from misuzu/llvm-armv7l
clang_14: drop out-of-date armv7l patch
Diffstat (limited to 'pkgs/applications/science/logic/tlaplus/toolbox.nix')
0 files changed, 0 insertions, 0 deletions