ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-09-30 17:49:58 +03:00
Code Issues Projects Releases Wiki Activity
fb37015c45
nixpkgs/pkgs/applications/science/logic/z3
History
Ulrik Strid 376e9ceead treewide: add strictDeps = true to most packages depending on ocaml
2023-02-03 08:59:34 +01:00
..
default.nix treewide: add strictDeps = true to most packages depending on ocaml 2023-02-03 08:59:34 +01:00
tptp.nix treewide: remove meta.version 2021-07-18 00:07:38 +02:00