pytrainer: unpin python 3.10
[NixPkgs.git] / pkgs / by-name / be / benchexec / 
tree3ff6d167efc5a899fb0205761b526b6fb030994a
drwxr-xr-x   ..
-rw-r--r-- 1686 package.nix