nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-11 16:23:26 +00:00
Code Issues Packages Projects Releases Wiki Activity
294ddd8e9f
nixpkgs/pkgs/applications/science/logic/z3
History
Thomas Tuegel 616dd214d1 z3: add ttuegel to maintainers
2020-08-21 19:05:55 -07:00
..
default.nix z3: add ttuegel to maintainers 2020-08-21 19:05:55 -07:00
tptp.nix z3-tptp: init 2019-01-22 16:51:18 +01:00