c4patino/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-07-07 09:33:12 -05:00
Code Issues Projects Releases Packages Wiki Activity
nixpkgs/pkgs/development/python-modules/coq-tools
History
Moraxyc 0884eb6bab
 python313Packages.coq-tools: 0.0.42 -> 0.0.44
2026-05-21 11:44:15 +08:00
..
default.nix python313Packages.coq-tools: 0.0.42 -> 0.0.44 2026-05-21 11:44:15 +08:00