c4patino/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-07-08 10:03:30 -05:00
Code Issues Projects Releases Packages Wiki Activity
nixpkgs/pkgs/development/python-modules/model-checker
History
Fabian Affolter b966d8b835 python313Packages.model-checker: 0.9.40 -> 1.0.0
2025-08-17 21:54:42 +02:00
..
default.nix python313Packages.model-checker: 0.9.40 -> 1.0.0 2025-08-17 21:54:42 +02:00