summaryrefslogtreecommitdiff
path: root/guix.scm
diff options
context:
space:
mode:
authorMasaya Tojo <masaya@tojo.tokyo>2021-01-16 23:08:21 +0900
committerMasaya Tojo <masaya@tojo.tokyo>2021-01-16 23:08:21 +0900
commit6bd6d3734621ce747ebf4b39496f87f0b0fdea01 (patch)
tree62ade352debd6dfb4c0ff09a8a1e18f00dc2a6ba /guix.scm
parent3586ed9e429c37c0e3532a631f9644e7b7f3fe3a (diff)
Diffstat (limited to 'guix.scm')
-rw-r--r--guix.scm4
1 files changed, 2 insertions, 2 deletions
diff --git a/guix.scm b/guix.scm
index 694101d..21460c6 100644
--- a/guix.scm
+++ b/guix.scm
@@ -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