GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-24 00:42:28 +03:00
Code Issues Projects Releases Wiki Activity

Bump macaw-base version for export

Browse Source
This commit is contained in:
Joe Hendrix 2019-07-01 16:47:46 -07:00
parent 17c09c974f
commit f2249ffc23
No known key found for this signature in database
GPG Key ID: 8DFA5FF784098C4F
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
base/macaw-base.cabal
View File

@ -1,5 +1,5 @@
name: macaw-base
version: 0.3.8
version: 0.3.9
author: Galois, Inc.
maintainer: jhendrix@galois.com
build-type: Simple