pytrainer: unpin python 3.10
[NixPkgs.git] / pkgs / development / coq-modules / goedel / 
treeb8ee565f1b7d854e333bf63ef1600d429b472b5f
drwxr-xr-x   ..
-rw-r--r-- 753 default.nix