diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2017-03-21 20:52:32 +0200 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2017-03-21 20:58:51 +0200 |
| commit | b1d3e0a93bf12a29fc43144156a181f409e6b362 (patch) | |
| tree | ec75ca97a473884f26600dab3b9407612c92cfd5 /gnu/packages | |
| parent | 4b0e63670119971864289d67fc1e11a438f58ea6 (diff) | |
| download | guix-b1d3e0a93bf12a29fc43144156a181f409e6b362.tar guix-b1d3e0a93bf12a29fc43144156a181f409e6b362.tar.gz | |
gnu: ots: Add download mirror.
* gnu/packages/ots.scm (ots)[source]: Add Debian mirror.
Diffstat (limited to 'gnu/packages')
| -rw-r--r-- | gnu/packages/ots.scm | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/gnu/packages/ots.scm b/gnu/packages/ots.scm index f1900746b6..d02a92768b 100644 --- a/gnu/packages/ots.scm +++ b/gnu/packages/ots.scm @@ -1,5 +1,6 @@ ;;; GNU Guix --- Functional package management for GNU ;;; Copyright © 2014 Marek Benc <merkur32@gmail.com> +;;; Copyright © 2017 Efraim Flashner <efraim@flashner.co.il> ;;; ;;; This file is part of GNU Guix. ;;; @@ -35,9 +36,13 @@ (source (origin (method url-fetch) - (uri (string-append "mirror://sourceforge/libots/libots/" - name "-" version "/" name "-" version - ".tar.gz")) + ;; libots seems to have left sourceforge and taken their release + ;; tarballs with them + (uri (list (string-append "mirror://debian/pool/main/o/ots/ots_" + version ".orig.tar.gz") + (string-append "mirror://sourceforge/libots/libots/" + name "-" version "/" name "-" version + ".tar.gz"))) (sha256 (base32 "0dz1ccd7ymzk4swz1aly4im0k3pascnshmgg1whd2rk14li8v47a")) (patches (search-patches "ots-no-include-missing-file.patch")))) |