diff options
| author | Robert Schütz <nix@dotlambda.de> | 2024-07-22 10:10:25 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-07-22 10:10:25 -0700 |
| commit | 58414ceec5ad7c47acd81fd436f4d8ba4569509b (patch) | |
| tree | 076259c58ba5612ac453104526575137425af3c7 /pkgs/applications/science/logic/lean4/default.nix | |
| parent | 3f8971c0e2d499dea8282e5ff16bd9c9bd2788cc (diff) | |
| parent | 9b9951d5d10977ad1e9c63cff6fb96323ddf8171 (diff) | |
signal-desktop: 7.15.0 -> 7.16.0, signal-desktop-beta: 7.16.0-beta.1 -> 7.17.0-beta.1
Diffstat (limited to 'pkgs/applications/science/logic/lean4/default.nix')
0 files changed, 0 insertions, 0 deletions