nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-20 04:33:57 +00:00
Code Issues Packages Projects Releases Wiki Activity
a89400db62
nixpkgs/pkgs/applications/science/logic/z3
History
Bruce Collie 3e213b8699 z3: 4.8.10 -> 4.8.12
2021-09-24 11:46:21 +01:00
..
4.4.0.nix treewide: stdenv.lib -> lib 2021-01-16 17:58:11 +07:00
default.nix z3: 4.8.10 -> 4.8.12 2021-09-24 11:46:21 +01:00
tptp.nix treewide: remove meta.version 2021-07-18 00:07:38 +02:00