diff options
author | 7c6f434c <7c6f434c@mail.ru> | 2022-07-27 23:43:14 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-07-27 23:43:14 +0000 |
commit | 7554374dafc546dfef12cbdfdf1f9a09e3b5fd4d (patch) | |
tree | 23fe34f3939d4cdb5c802b17673b8efef2c8fcae /pkgs/development/tools/misc/elfinfo/default.nix | |
parent | 9e80da74b0305d095d9a1adaf7c65ea32dda13dc (diff) | |
parent | bd44753d8983ccc7b5b454ab81270b22a9e2652d (diff) | |
download | nixpkgs-7554374dafc546dfef12cbdfdf1f9a09e3b5fd4d.tar nixpkgs-7554374dafc546dfef12cbdfdf1f9a09e3b5fd4d.tar.gz nixpkgs-7554374dafc546dfef12cbdfdf1f9a09e3b5fd4d.tar.bz2 nixpkgs-7554374dafc546dfef12cbdfdf1f9a09e3b5fd4d.tar.lz nixpkgs-7554374dafc546dfef12cbdfdf1f9a09e3b5fd4d.tar.xz nixpkgs-7554374dafc546dfef12cbdfdf1f9a09e3b5fd4d.tar.zst nixpkgs-7554374dafc546dfef12cbdfdf1f9a09e3b5fd4d.zip |
Merge pull request #183139 from kini/acl2-update
acl2: 8.4 -> 8.5
Diffstat (limited to 'pkgs/development/tools/misc/elfinfo/default.nix')
0 files changed, 0 insertions, 0 deletions