diff options
| author | legendofmiracles <30902201+legendofmiracles@users.noreply.github.com> | 2022-01-10 17:37:57 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-10 17:37:57 -0600 |
| commit | 1278e9de0bec988b8d5d1c685604c01dd7b38ab8 (patch) | |
| tree | 0d1765d1b058d49c6700c2258d750aad96ae7ddf /pkgs/applications/science/logic/isabelle/default.nix | |
| parent | a85c71ab7f011e1d84bf49bbab651bccc0e8c322 (diff) | |
| parent | d8851e7efedfb5fbe154e3408a3738070ba85b81 (diff) | |
| download | nixpkgs-1278e9de0bec988b8d5d1c685604c01dd7b38ab8.tar nixpkgs-1278e9de0bec988b8d5d1c685604c01dd7b38ab8.tar.gz nixpkgs-1278e9de0bec988b8d5d1c685604c01dd7b38ab8.tar.bz2 nixpkgs-1278e9de0bec988b8d5d1c685604c01dd7b38ab8.tar.lz nixpkgs-1278e9de0bec988b8d5d1c685604c01dd7b38ab8.tar.xz nixpkgs-1278e9de0bec988b8d5d1c685604c01dd7b38ab8.tar.zst nixpkgs-1278e9de0bec988b8d5d1c685604c01dd7b38ab8.zip | |
Merge pull request #154229 from r-ryantm/auto-update/python3.10-chiabip158
Diffstat (limited to 'pkgs/applications/science/logic/isabelle/default.nix')
0 files changed, 0 insertions, 0 deletions