diff options
author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-09-19 10:50:47 +0200 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2023-09-19 13:30:30 +0200 |
commit | 85fd87463918c383c46f8725b96eea6e63cf5d4f (patch) | |
tree | ac7b357fbafe74fdd320ab3f7e840eba540bc240 /pkgs/tools/system | |
parent | bd17fe35505e9684d8234b8c09cef7715639db5c (diff) | |
download | nixpkgs-85fd87463918c383c46f8725b96eea6e63cf5d4f.tar nixpkgs-85fd87463918c383c46f8725b96eea6e63cf5d4f.tar.gz nixpkgs-85fd87463918c383c46f8725b96eea6e63cf5d4f.tar.bz2 nixpkgs-85fd87463918c383c46f8725b96eea6e63cf5d4f.tar.lz nixpkgs-85fd87463918c383c46f8725b96eea6e63cf5d4f.tar.xz nixpkgs-85fd87463918c383c46f8725b96eea6e63cf5d4f.tar.zst nixpkgs-85fd87463918c383c46f8725b96eea6e63cf5d4f.zip |
compcert: add aarch64 support
Diffstat (limited to 'pkgs/tools/system')
0 files changed, 0 insertions, 0 deletions