diff options
| author | Franz Pletz <fpletz@fnordicwalking.de> | 2022-01-25 15:51:39 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-25 15:51:39 +0100 |
| commit | 36693d8c28be6f855140126a5b8ff5818201abbd (patch) | |
| tree | c9aad34685b84d667e5a850368fcb5ee335351a3 /pkgs/applications/science/logic/tamarin-prover | |
| parent | 1368e916a8896540a9de3a5ab7c53ef4b59224b5 (diff) | |
| parent | c6bd1eea71b08372ec6d3a60b5203110c9bd66b2 (diff) | |
| download | nixpkgs-36693d8c28be6f855140126a5b8ff5818201abbd.tar nixpkgs-36693d8c28be6f855140126a5b8ff5818201abbd.tar.gz nixpkgs-36693d8c28be6f855140126a5b8ff5818201abbd.tar.bz2 nixpkgs-36693d8c28be6f855140126a5b8ff5818201abbd.tar.lz nixpkgs-36693d8c28be6f855140126a5b8ff5818201abbd.tar.xz nixpkgs-36693d8c28be6f855140126a5b8ff5818201abbd.tar.zst nixpkgs-36693d8c28be6f855140126a5b8ff5818201abbd.zip | |
Merge pull request #156709 from Luflosi/fix-tor-systemd-timeout
Diffstat (limited to 'pkgs/applications/science/logic/tamarin-prover')
0 files changed, 0 insertions, 0 deletions