summaryrefslogtreecommitdiff
path: root/guix.scm
diff options
context:
space:
mode:
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