diff options
author | Masaya Tojo <masaya@tojo.tokyo> | 2021-01-16 23:08:21 +0900 |
---|---|---|
committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-01-16 23:08:21 +0900 |
commit | 6bd6d3734621ce747ebf4b39496f87f0b0fdea01 (patch) | |
tree | 62ade352debd6dfb4c0ff09a8a1e18f00dc2a6ba /guix.scm | |
parent | 3586ed9e429c37c0e3532a631f9644e7b7f3fe3a (diff) |
wip81develop-202001
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 |