diff options
| author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2016-05-09 15:35:41 +0200 |
|---|---|---|
| committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2016-05-09 19:35:05 +0200 |
| commit | 7ce5d43c63e20eedc619b3b7899ce34fd9558a1a (patch) | |
| tree | a49f91a28b70f333e16fab067b284f0f5ed4357a /pkgs/applications/science/logic/leo2 | |
| parent | 4f4ba0d3f44681085aee84977f333be2cedf7c80 (diff) | |
| download | nixlib-7ce5d43c63e20eedc619b3b7899ce34fd9558a1a.tar nixlib-7ce5d43c63e20eedc619b3b7899ce34fd9558a1a.tar.gz nixlib-7ce5d43c63e20eedc619b3b7899ce34fd9558a1a.tar.bz2 nixlib-7ce5d43c63e20eedc619b3b7899ce34fd9558a1a.tar.lz nixlib-7ce5d43c63e20eedc619b3b7899ce34fd9558a1a.tar.xz nixlib-7ce5d43c63e20eedc619b3b7899ce34fd9558a1a.tar.zst nixlib-7ce5d43c63e20eedc619b3b7899ce34fd9558a1a.zip | |
Fix some URLs that lacked a URI scheme
Diffstat (limited to 'pkgs/applications/science/logic/leo2')
| -rw-r--r-- | pkgs/applications/science/logic/leo2/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/leo2/default.nix b/pkgs/applications/science/logic/leo2/default.nix index 95012f90a944..da4517cd6b02 100644 --- a/pkgs/applications/science/logic/leo2/default.nix +++ b/pkgs/applications/science/logic/leo2/default.nix @@ -13,7 +13,7 @@ let baseName="leo2"; version = "1.6.2"; name="${baseName}_v${version}"; - url="page.mi.fu-berlin.de/cbenzmueller/leo/leo2_v${version}.tgz"; + url = "http://page.mi.fu-berlin.de/cbenzmueller/leo/leo2_v${version}.tgz"; hash="d46a94f5991623386eb9061cfb0d748e258359a8c690fded173d35303e0e9e3a"; }; in |