pytrainer: unpin python 3.10
[NixPkgs.git] / pkgs / development / coq-modules / coqtail-math / 
tree11ab7dec65663f2ca716054995be3a2d5b459e2a
drwxr-xr-x   ..
-rw-r--r-- 692 default.nix