zowoq c6ee5d0b57 acl2: mark as broken on darwin		2024-11-21 11:39:57 +10:00
..
libipasirglucose4
0001-Fix-some-paths-for-Nix-build.patch
default.nix	acl2: mark as broken on darwin	2024-11-21 11:39:57 +10:00