~ruther/guix-local

f7f8930b37e1c51af99e363421eb54f2dab224f8 — Ludovic Courtès 8 years ago b5bfa47 
gnu: coq-interval: Fix source URL for 3.3.0.

This is a followup to 6efc99967800183daa74ba2ebff6185dfcf1b33d.
Fixes <https://bugs.gnu.org/29284>.
Reported by Efraim Flashner <efraim@flashner.co.il>.

* gnu/packages/ocaml.scm (coq-interval): Adjust URL.
patch browse .tar.gz 
1 files changed, 1 insertions(+), 1 deletions(-)

M gnu/packages/ocaml.scm

M gnu/packages/ocaml.scm => gnu/packages/ocaml.scm +1 -1
@@ 3964,7 3964,7 @@ provides BigN, BigZ, BigQ that used to be part of Coq standard library.")
    (source (origin
              (method url-fetch)
              (uri (string-append "https://gforge.inria.fr/frs/download.php/"
                                  "file/36538/interval-" version ".tar.gz"))
                                  "file/37077/interval-" version ".tar.gz"))
              (sha256
               (base32
                "08fdcf3hbwqphglvwprvqzgkg0qbimpyhnqsgv3gac4y1ap0f903"))))