Skip to content

Commit 767546a

Browse files
committed
[ fix ] Bump TTC versions
1 parent 3bd7155 commit 767546a

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/Core/Binary.idr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -29,7 +29,7 @@ import public Libraries.Utils.Binary
2929
||| version number if you're changing the version more than once in the same day.
3030
export
3131
ttcVersion : Int
32-
ttcVersion = 2025_05_09_00
32+
ttcVersion = 2025_05_21_00
3333

3434
export
3535
checkTTCVersion : String -> Int -> Int -> Core ()

0 commit comments

Comments
 (0)