pytrainer: unpin python 3.10
[NixPkgs.git] / pkgs / development / interpreters / acl2 / 
tree490412f5e29ab578bd69c9aed0031a6310443b0c
drwxr-xr-x   ..
-rw-r--r-- 2407 0001-Fix-some-paths-for-Nix-build.patch
-rw-r--r-- 6016 default.nix
drwxr-xr-x - libipasirglucose4