2
0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-13 23:53:26 +00:00
nixpkgs/pkgs/applications/science/logic/tptp
2022-06-23 18:38:19 +01:00
..
default.nix