diff options
| author | Gabriel Ebner <gebner@gebner.org> | 2017-08-07 17:21:08 +0200 |
|---|---|---|
| committer | Gabriel Ebner <gebner@gebner.org> | 2017-08-07 17:21:08 +0200 |
| commit | 795c00335989c3721895dd170eb26cf2d3d70e56 (patch) | |
| tree | f57d21d4e0aff5c87f2d0c46d3ef24a68904dd0c /pkgs/development/python-modules/httpserver | |
| parent | 339330b32290d284dbf201e4b31ee35cee1ae1a5 (diff) | |
isabelle: use polyml 5.6
Isabelle 2016 does not work with newer PolyML versions.
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions