Merge pull request #119126 from fabaff/pycomfoconnect
[NixPkgs.git] / pkgs / development / interpreters / acl2 / 
tree4e47eebcaed4fc4b2684cfc8e9b337e254d51ab1
drwxr-xr-x   ..
-rw-r--r-- 8358 0001-Fix-some-paths-for-Nix-build.patch
-rw-r--r-- 914 0002-Restrict-RDTSC-to-x86.patch
-rw-r--r-- 4739 default.nix
drwxr-xr-x - libipasirglucose4