diff options
| author | Jan van Brügge <supermanitu@gmail.com> | 2022-01-10 12:15:14 +0100 |
|---|---|---|
| committer | Jan van Brügge <supermanitu@gmail.com> | 2022-01-19 18:25:26 +0100 |
| commit | 6fff929c5ed6cf418d4fa13a0f45c052a8c86394 (patch) | |
| tree | 31ab2951209af39b902acc874d43921cd0fd42a4 /pkgs/development/python-modules/rangehttpserver | |
| parent | fcc0946bab1b6e5a1505851c7b4aeab0c98fa04f (diff) | |
isabelle: Prebuild HOL session
Upstream isabelle ships with this session, but the changes done for
nixpkgs invalidate it, requiring every user to build it again.
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions