nixpkgs
Nix Packages collection & NixOS github.com/NixOS/nixpkgs
Star 0
Fork 0
Watch

Version history of pkgs/development/python-modules/model-checker/default.nix

October 2026

7c6f434c
z3: 5.1.0 -> 5.3.2 (#579961)
committed
Connor Nelson
python3Packages.model-checker: keep z3-solver dependency metadata
committed
nixpkgs-ci[bot]
Merge master into staging-nixos
committed
nixpkgs-ci[bot]
Merge staging-next into staging
committed
nixpkgs-ci[bot]
Merge master into staging-next
committed
Fabian Affolter
python3Packages.model-checker: 1.3.9 -> 1.4.1 (#570369)
committed
R. Ryantm
python3Packages.model-checker: 1.3.9 -> 1.4.1
committed

September 2026

K900
Merge remote-tracking branch 'origin/staging-next' into staging
committed
nixpkgs-ci[bot]
Merge master into staging-nixos
committed
nixpkgs-ci[bot]
Merge master into staging-next
committed
Fabian Affolter
python3Packages.model-checker: 1.3.3 -> 1.3.9 (#559487)
committed
R. Ryantm
python3Packages.model-checker: 1.3.3 -> 1.3.9
committed

August 2026

nixpkgs-ci[bot]
Merge master into staging-nixos
committed
nixpkgs-ci[bot]
Merge staging-next into staging
committed
nixpkgs-ci[bot]
Merge master into staging-next
committed
Fabian Affolter
python3Packages.model-checker: 1.2.12 -> 1.3.3 (#552936)
committed
Fabian Affolter
python3Packages.model-checker: migrate to finalAttrs
committed
R. Ryantm
python3Packages.model-checker: 1.2.12 -> 1.3.3
committed