about summary refs log tree commit diff
path: root/nixpkgs/pkgs/development/interpreters/acl2/libipasirglucose4
ModeNameSize
-rw-r--r--0001-Support-shared-library-build.patch1533log plain blame
-rw-r--r--default.nix1129log plain blame