gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
16d1f807ab5880c19b7bfaebd485dee7f15cfac3
nixpkgs/pkgs/development/python-modules/coq-tools
T
History
Martin Weinelt 9c90383ea8 python3Packages.coq-tools: 0.0.39 -> 0.0.42 
This commit was automatically generated using update-python-libraries.
2026-02-01 16:42:33 +01:00
..
default.nix
python3Packages.coq-tools: 0.0.39 -> 0.0.42
2026-02-01 16:42:33 +01:00