Use 0.1, not 0.1.0.0, to match version conventions elsewhere

(cherry picked from commit 93e8f8d)
GaloisInc · Feb 6, 2024 · dde5feb · dde5feb
1 parent efda469
commit dde5feb
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/crucible-concurrency/crucible-concurrency.cabal b/crucible-concurrency/crucible-concurrency.cabal
@@ -3,7 +3,7 @@ cabal-version:       2.4
 --   For further documentation, see http://haskell.org/cabal/users-guide/
 
 name:                crucible-concurrency
-version:             0.1.0.0
+version:             0.1
 -- synopsis:
 -- description:
 -- bug-reports:

diff --git a/crucible-go/crucible-go.cabal b/crucible-go/crucible-go.cabal
@@ -1,5 +1,5 @@
 name:                crucible-go
-version:             0.1.0.0
+version:             0.1
 synopsis:            A Go frontend for Crucible
 license:             BSD3
 license-file:        LICENSE

diff --git a/crucible-symio/CHANGELOG.md b/crucible-symio/CHANGELOG.md
@@ -1,5 +1,5 @@
 # Revision history for crucible-symio
 
-## 0.1.0.0 -- YYYY-mm-dd
+## 0.1 -- YYYY-mm-dd
 
 * First version. Released on an unsuspecting world.
diff --git a/crucible-symio/crucible-symio.cabal b/crucible-symio/crucible-symio.cabal
@@ -6,7 +6,7 @@ description:
   reading and writing symbolic data. An example use case would be to support verifying
   programs that e.g., use configuration files or accept input from files.
 name:                crucible-symio
-version:             0.1.0.0
+version:             0.1
 license:             BSD-3-Clause
 license-file:        LICENSE
 author:              Daniel Matichuk