nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-18 11:44:07 +00:00
Code Issues Packages Projects Releases Wiki Activity
b17f3a4d71
nixpkgs/pkgs/applications/science/logic/z3
History
Alyssa Ross 851b719ac6 treewide: use stdenv.hostPlatform.extensions.sharedLibrary where appropriate
2021-10-13 17:39:37 +00:00
..
4.4.0.nix treewide: use stdenv.hostPlatform.extensions.sharedLibrary where appropriate 2021-10-13 17:39:37 +00:00
default.nix z3: 4.8.10 -> 4.8.12 2021-09-24 11:46:21 +01:00
tptp.nix