diff options
| author | Jan van Brügge <supermanitu@gmail.com> | 2022-01-31 13:03:32 +0100 |
|---|---|---|
| committer | Jan van Brügge <jan.van.brugge@futurice.com> | 2022-03-01 13:43:37 +0100 |
| commit | 2b71e6850398f368ebaf7e2914fd9d1d832252ca (patch) | |
| tree | 257ffb39fd60d2de46750273207aed3a99b47bde /pkgs/applications/science/logic/isabelle | |
| parent | db9dab2a2cc41822c770327fa2876a75c2a938b6 (diff) | |
| download | nixpkgs-2b71e6850398f368ebaf7e2914fd9d1d832252ca.tar nixpkgs-2b71e6850398f368ebaf7e2914fd9d1d832252ca.tar.gz nixpkgs-2b71e6850398f368ebaf7e2914fd9d1d832252ca.tar.bz2 nixpkgs-2b71e6850398f368ebaf7e2914fd9d1d832252ca.tar.lz nixpkgs-2b71e6850398f368ebaf7e2914fd9d1d832252ca.tar.xz nixpkgs-2b71e6850398f368ebaf7e2914fd9d1d832252ca.tar.zst nixpkgs-2b71e6850398f368ebaf7e2914fd9d1d832252ca.zip | |
naproche: init at 0.1.0.0
Diffstat (limited to 'pkgs/applications/science/logic/isabelle')
0 files changed, 0 insertions, 0 deletions