diff options
| -rw-r--r-- | gnu/packages/fpga.scm | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gnu/packages/fpga.scm b/gnu/packages/fpga.scm index f3dc805e36..0144b01f5d 100644 --- a/gnu/packages/fpga.scm +++ b/gnu/packages/fpga.scm @@ -1,6 +1,7 @@ ;;; GNU Guix --- Functional package management for GNU ;;; Copyright © 2016 Danny Milosavljevic <dannym@scratchpost.org> ;;; Copyright © 2016, 2017 Theodoros Foradis <theodoros@foradis.org> +;;; Copyright © 2018 Tobias Geerinckx-Rice <me@tobias.gr> ;;; ;;; This file is part of GNU Guix. ;;; @@ -83,7 +84,7 @@ formal verification.") (define-public iverilog (package (name "iverilog") - (version "10.1.1") + (version "10.2") (source (origin (method url-fetch) (uri @@ -91,7 +92,7 @@ formal verification.") "verilog-" version ".tar.gz")) (sha256 (base32 - "1nnassxvq30rnn0r2p85rkb2zwxk97p109y13x3vr365wzgpbapx")))) + "0075x5nsxwkrgn7b3635il9kw7mslckaji518pdmwdrdn7fxppln")))) (build-system gnu-build-system) (native-inputs `(("flex" ,flex) |