diff options
author | John Wiegley <johnw@newartisans.com> | 2014-06-27 10:46:13 -0700 |
---|---|---|
committer | John Wiegley <johnw@newartisans.com> | 2014-06-27 10:46:24 -0700 |
commit | 34de04149e17c1c15976fd4bfdc4490b240a59fc (patch) | |
tree | 4f4d8045ade45a10b5e40428b60e681b92e2d52c /pkgs/applications/science/logic/twelf | |
parent | 8d514df1ef4ca85aeaaf01833209ec20cd7f87f1 (diff) | |
download | nixlib-34de04149e17c1c15976fd4bfdc4490b240a59fc.tar nixlib-34de04149e17c1c15976fd4bfdc4490b240a59fc.tar.gz nixlib-34de04149e17c1c15976fd4bfdc4490b240a59fc.tar.bz2 nixlib-34de04149e17c1c15976fd4bfdc4490b240a59fc.tar.lz nixlib-34de04149e17c1c15976fd4bfdc4490b240a59fc.tar.xz nixlib-34de04149e17c1c15976fd4bfdc4490b240a59fc.tar.zst nixlib-34de04149e17c1c15976fd4bfdc4490b240a59fc.zip |
twelf: Fix the source URL
Diffstat (limited to 'pkgs/applications/science/logic/twelf')
-rw-r--r-- | pkgs/applications/science/logic/twelf/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/twelf/default.nix b/pkgs/applications/science/logic/twelf/default.nix index f5d2d44df425..1079c3783218 100644 --- a/pkgs/applications/science/logic/twelf/default.nix +++ b/pkgs/applications/science/logic/twelf/default.nix @@ -5,7 +5,7 @@ stdenv.mkDerivation rec { version = "1.7.1"; src = fetchurl { - url = "//twelf.plparty.org/releases/twelf-src-1.7.1.tar.gz"; + url = "http://twelf.plparty.org/releases/twelf-src-${version}.tar.gz"; sha256 = "0fi1kbs9hrdrm1x4k13angpjasxlyd1gc3ys8ah54i75qbcd9c4i"; }; |