nixpkgs/pkgs/development/interpreters/acl2/libipasirglucose4
..
0001-Support-shared-library-build.patch
default.nix