Upgrading to version 0.13

We're not superstitious!
nvcleemp · Jul 8, 2020 · f33151d · f33151d
1 parent b37c5fb
commit f33151d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/spkg/README.md b/spkg/README.md
@@ -8,7 +8,7 @@ conjecturing. In case this is the system installation of Sage, you can find
 the location using the command `which`.
 
  * Copy the directory conjecturing into the directory SAGE_ROOT/build/pkgs.
- * Copy the file conjecturing-0.12.tar.gz into SAGE_ROOT/upstream.
+ * Copy the file conjecturing-0.13.tar.gz into SAGE_ROOT/upstream.
  * Run the following command:
      $ sage --package fix-checksum conjecturing
  * Install the package using the following command:

diff --git a/spkg/conjecturing/package-version.txt b/spkg/conjecturing/package-version.txt
@@ -1 +1 @@
-0.12
+0.13