diff options
author | Mario Rodas <marsam@users.noreply.github.com> | 2021-11-12 04:20:00 +0000 |
---|---|---|
committer | Mario Rodas <marsam@users.noreply.github.com> | 2021-11-12 04:20:00 +0000 |
commit | 21aea16159a228fd86c4af2ee8b50091a607811b (patch) | |
tree | 72b0a0c3d96fd5cc0b7ef415dd1b77061421399e /pkgs/development/interpreters/ngn-k | |
parent | 8d85dc628f899db1f7899e16fa1ddf8e03936ee2 (diff) | |
download | nixpkgs-21aea16159a228fd86c4af2ee8b50091a607811b.tar nixpkgs-21aea16159a228fd86c4af2ee8b50091a607811b.tar.gz nixpkgs-21aea16159a228fd86c4af2ee8b50091a607811b.tar.bz2 nixpkgs-21aea16159a228fd86c4af2ee8b50091a607811b.tar.lz nixpkgs-21aea16159a228fd86c4af2ee8b50091a607811b.tar.xz nixpkgs-21aea16159a228fd86c4af2ee8b50091a607811b.tar.zst nixpkgs-21aea16159a228fd86c4af2ee8b50091a607811b.zip |
acl2: fix build on darwin
Diffstat (limited to 'pkgs/development/interpreters/ngn-k')
0 files changed, 0 insertions, 0 deletions