GaloisInc/what4
1
1
Fork 0
mirror of https://github.com/GaloisInc/what4.git synced 2024-11-29 05:45:01 +03:00
Code Issues Projects Releases Wiki Activity

Bump what4 development version to 1.6.2.0.99

Browse Source
This commit is contained in:
Ryan Scott 2024-09-23 08:27:28 -04:00
parent 5a0932abed
commit eebba792e6
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
what4/what4.cabal
View File

@ -1,6 +1,6 @@
Cabal-version: 2.4
Name: what4
Version: 1.6.2
Version: 1.6.2.0.99
Author: Galois Inc.
Maintainer: rscott@galois.com, kquick@galois.com
Copyright: (c) Galois, Inc 2014-2023