diff options
| author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2024-10-07 00:17:04 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-10-07 00:17:04 +0000 |
| commit | 86f1e61de6dbb32d28582b363d437c54d5f43eca (patch) | |
| tree | fc68e4932713bd81f3dd4ff7922ba782fda7fd18 /pkgs/applications/science/logic/prooftree | |
| parent | 8327ada16f587f02a5b44b40b4eea87b2fe59bc6 (diff) | |
| parent | d0deb158588c54cfb101b8ddd5f0ff5e6d381309 (diff) | |
Merge master into haskell-updates haskell-updates
Diffstat (limited to 'pkgs/applications/science/logic/prooftree')
0 files changed, 0 insertions, 0 deletions