Bump version

GaloisInc · Sep 1, 2020 · 3cfb3a4 · 3cfb3a4
1 parent 339c13b
commit 3cfb3a4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cryptol.cabal b/cryptol.cabal
@@ -1,5 +1,5 @@
 Name:                cryptol
-Version:             2.9.0
+Version:             2.9.1.99
 Synopsis:            Cryptol: The Language of Cryptography
 Description: Cryptol is a domain-specific language for specifying cryptographic algorithms. A Cryptol implementation of an algorithm resembles its mathematical specification more closely than an implementation in a general purpose language. For more, see <http://www.cryptol.net/>.
 License:             BSD3