Skip to content

Commit

Permalink
Bump version to 0.43.0.
Browse files Browse the repository at this point in the history
Signed-off-by: Leonid Ryzhyk <[email protected]>
  • Loading branch information
ryzhyk committed Jul 25, 2021
1 parent 5cfb2b9 commit 72ecdda
Show file tree
Hide file tree
Showing 3 changed files with 3 additions and 3 deletions.
2 changes: 1 addition & 1 deletion CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ All notable changes to this project will be documented in this file.

The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).

## [Unreleased]
## [0.43.0] - Jul 25, 2021

### Bug fixes
- Fixed a bug in type inference: #1022.
Expand Down
2 changes: 1 addition & 1 deletion package.yaml
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
name: differential-datalog
version: 0.42.1
version: 0.43.0
github: "vmware/differential-datalog"
license: MIT
author: "Leonid Ryzhyk"
Expand Down
2 changes: 1 addition & 1 deletion src/Language/DifferentialDatalog/Version.hs
Original file line number Diff line number Diff line change
Expand Up @@ -33,7 +33,7 @@ import Data.List

-- Keep this in sync with the binary release version on github
dDLOG_VERSION :: String
dDLOG_VERSION = "v0.42.1"
dDLOG_VERSION = "v0.43.0"

gitInfoCwdTry :: Either String GitInfo
gitInfoCwdTry = $$tGitInfoCwdTry
Expand Down

0 comments on commit 72ecdda

Please sign in to comment.