gnu: ots: Add download mirror.

* gnu/packages/ots.scm (ots)[source]: Add Debian mirror.
This commit is contained in:
Efraim Flashner 2017-03-21 20:52:32 +02:00
parent 4b0e636701
commit b1d3e0a93b
No known key found for this signature in database
GPG key ID: F4C1D3917EACEE93

View file

@ -1,5 +1,6 @@
;;; GNU Guix --- Functional package management for GNU ;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2014 Marek Benc <merkur32@gmail.com> ;;; Copyright © 2014 Marek Benc <merkur32@gmail.com>
;;; Copyright © 2017 Efraim Flashner <efraim@flashner.co.il>
;;; ;;;
;;; This file is part of GNU Guix. ;;; This file is part of GNU Guix.
;;; ;;;
@ -35,9 +36,13 @@ (define-public ots
(source (source
(origin (origin
(method url-fetch) (method url-fetch)
(uri (string-append "mirror://sourceforge/libots/libots/" ;; libots seems to have left sourceforge and taken their release
name "-" version "/" name "-" version ;; tarballs with them
".tar.gz")) (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 (sha256
(base32 "0dz1ccd7ymzk4swz1aly4im0k3pascnshmgg1whd2rk14li8v47a")) (base32 "0dz1ccd7ymzk4swz1aly4im0k3pascnshmgg1whd2rk14li8v47a"))
(patches (search-patches "ots-no-include-missing-file.patch")))) (patches (search-patches "ots-no-include-missing-file.patch"))))