nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-08-31 04:34:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
python-updates
nixpkgs/pkgs/development/python-modules/coq-tools/default.nix
Moraxyc 0884eb6bab python313Packages.coq-tools: 0.0.42 -> 0.0.44
2026-05-21 11:44:15 +08:00

767 B
Raw Permalink Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink