diff options
author | ajs124 <ajs124@users.noreply.github.com> | 2023-09-27 17:51:09 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-09-27 17:51:09 +0200 |
commit | bc571a7386d20d50f6a6a71c66598695237afacb (patch) | |
tree | 6bf4a6cc8235482ea3e3d2e4da08c46bc57512aa /pkgs/applications/science/logic/cvc5/default.nix | |
parent | fe814c51140c2e1cf8d7bbeced3a1922d8c2d6c1 (diff) | |
parent | 733b52c63c6b7050e94016d218e29697019907a4 (diff) |
Merge pull request #257593 from felschr/mullvad-browser-12
mullvad-browser: 12.5.4 -> 12.5.5
Diffstat (limited to 'pkgs/applications/science/logic/cvc5/default.nix')
0 files changed, 0 insertions, 0 deletions