diff options
| author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-03-22 16:15:34 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-22 16:15:34 +0200 |
| commit | 120a484726d7789582dfa1fff4a3f579f389e36c (patch) | |
| tree | ae4d239168d67c155e7cfb1b376505e42b97de4e /pkgs/development/python-modules/rangehttpserver | |
| parent | 2d50326244715d67bacb6a3720d0bce58f07a384 (diff) | |
| parent | 3e5f408e735ad492319e72a158f5815523fc7adf (diff) | |
Merge pull request #220001 from wegank/isabelle-arm
isabelle: add aarch64-linux support
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions