Set version to 0.7.2

dominique-unruh · Sep 21, 2023 · 9b7f802 · 9b7f802
1 parent 5e74491
commit 9b7f802
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -1,4 +1,4 @@
-VERSION="snapshot"
+VERSION="0.7.2"
 SOURCES := $(shell find src) $(wildcard *.qrhl) $(wildcard *.thy) doc/manual.pdf
 
 qrhl.zip : target/universal/qrhl-$(VERSION).zip

diff --git a/build.sbt b/build.sbt
@@ -31,7 +31,7 @@ lazy val hashedcomputation = (project in file("hashedcomputation")).settings(
 
 name := "qrhl"
 
-version := "snapshot"
+version := "0.7.2"
 
 scalaVersion := "2.13.3"