nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-04 04:46:43 +00:00
Code Issues Packages Projects Releases Wiki Activity
47e8bebacd
nixpkgs/pkgs/applications/science/logic/z3
History
Thomas Tuegel ccf7156d8d
Merge pull request #217974 from pxrl/pxrl/z3 
z3: 4.8.15 -> 4.8.17
2023-04-17 10:03:07 -05:00
..
default.nix Merge pull request #217974 from pxrl/pxrl/z3 2023-04-17 10:03:07 -05:00
tptp.nix treewide: remove meta.version 2021-07-18 00:07:38 +02:00