diff options
Diffstat (limited to 'guix.scm')
-rw-r--r-- | guix.scm | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,5 +1,5 @@ ;;; Vikalpa --- Proof Assistant -;;; Copyright © 2020 Masaya Tojo <masaya@tojo.tokyo> +;;; Copyright © 2020, 2021 Masaya Tojo <masaya@tojo.tokyo> ;;; ;;; This file is part of Vikalpa. ;;; @@ -29,7 +29,7 @@ (define guile-vikalpa (package (name "guile-vikalpa") - (version "0.0.0") + (version "0.1.0") (source (string-append (getcwd) "/vikalpa-" version ".tar.gz")) (build-system gnu-build-system) (native-inputs |