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