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 | |
| parent | 8d514df1ef4ca85aeaaf01833209ec20cd7f87f1 (diff) | |
| download | nixpkgs-34de04149e17c1c15976fd4bfdc4490b240a59fc.tar nixpkgs-34de04149e17c1c15976fd4bfdc4490b240a59fc.tar.gz nixpkgs-34de04149e17c1c15976fd4bfdc4490b240a59fc.tar.bz2 nixpkgs-34de04149e17c1c15976fd4bfdc4490b240a59fc.tar.lz nixpkgs-34de04149e17c1c15976fd4bfdc4490b240a59fc.tar.xz nixpkgs-34de04149e17c1c15976fd4bfdc4490b240a59fc.tar.zst nixpkgs-34de04149e17c1c15976fd4bfdc4490b240a59fc.zip | |
twelf: Fix the source URL
| -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 f5d2d44df42..1079c378321 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"; }; |