Skip to content

Commit 3bb7a3c

Browse files
mtzguidomtzguido
committed
Bump version
Also update maintainer email for OPAM
1 parent afa6507 commit 3bb7a3c

File tree

2 files changed

+3
-3
lines changed

2 files changed

+3
-3
lines changed

‎fstar.opam

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
opam-version: "2.0"
2-
version: "2025.08.07~dev"
3-
maintainer: "taramana@microsoft.com"
2+
version: "2025.09.04~dev"
3+
maintainer: "guimartinez@microsoft.com"
44
authors: "Nik Swamy <[email protected]>,Jonathan Protzenko <[email protected]>,Tahina Ramananandro <[email protected]>"
55
homepage: "http://fstar-lang.org"
66
license: "Apache-2.0"

‎version.txt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
2025.08.07
1+
2025.09.04

0 commit comments

Comments
 (0)