aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages
diff options
context:
space:
mode:
authorEfraim Flashner <efraim@flashner.co.il>2017-03-21 20:52:32 +0200
committerEfraim Flashner <efraim@flashner.co.il>2017-03-21 20:58:51 +0200
commitb1d3e0a93bf12a29fc43144156a181f409e6b362 (patch)
treeec75ca97a473884f26600dab3b9407612c92cfd5 /gnu/packages
parent4b0e63670119971864289d67fc1e11a438f58ea6 (diff)
downloadguix-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.scm11
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"))))