From 1612aba5db4d3235032c393df1f443db6ea7d88b Mon Sep 17 00:00:00 2001
From: karthikbhargavan <karthik.bhargavan@gmail.com>
Date: Sat, 21 Jun 2025 09:08:16 +0200
Subject: [PATCH] WIP: update version and changelog

---
 CHANGELOG.md | 19 ++++++++++++-------
 Cargo.toml   |  2 +-
 2 files changed, 13 insertions(+), 8 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 39affa4e5..9a31ea2b1 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -5,6 +5,17 @@ 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.1.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
+## 0.3.2 (2025-06-21)
+
+Changes to hax frontend:
+- TODO TODO
+
+## 0.3.1 (2025-05-26)
+
+Changes to hax-lib:
+- Bug fix with PartialOrd in f* lib: [#1473](https://github.com/cryspen/hax/pull/1473)
+- Move `proof-libs` into `hax-lib` to allow dependencies using crates.io
+
 ## 0.3.0 (2025-05-16)
 
 Changes to hax-lib:
@@ -15,13 +26,7 @@ Changes to hax-lib:
 - `hax_lib::BACKEND::replace_body`: [#1321](https://github.com/cryspen/hax/pull/1321)
 - `hax_lib::decreases`: [#1342](https://github.com/cryspen/hax/pull/1342)
 
-## 0.3.1 (2025-05-26)
-
-Changes to hax-lib:
-- Bug fix with PartialOrd in f* lib: [#1473](https://github.com/cryspen/hax/pull/1473)
-- Move `proof-libs` into `hax-lib` to allow dependencies using crates.io
-
 ## [Unreleased]
 
-## 0.4.0 (2024-01-20)
+## 0.1.0 (2024-01-20)
  - Initial release
diff --git a/Cargo.toml b/Cargo.toml
index 010c3fe5f..573b1b0ce 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -34,7 +34,7 @@ default-members = [
 resolver = "2"
 
 [workspace.package]
-version = "0.3.1"
+version = "0.3.2"
 authors = ["hax Authors"]
 license = "Apache-2.0"
 homepage = "https://github.com/hacspec/hax"