c4patino/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-07-07 17:43:33 -05:00
Code Issues Projects Releases Packages Wiki Activity
nixpkgs/pkgs/development/python-modules/coq-tools
History
Moraxyc 3ed77f6be2 python313Packages.coq-tools: 0.0.42 -> 0.0.44 
(cherry picked from commit 0884eb6bab)
2026-05-25 18:49:24 +00:00
..
default.nix python313Packages.coq-tools: 0.0.42 -> 0.0.44 2026-05-25 18:49:24 +00:00