Skip to content

Commit

Permalink
update info.txt
Browse files Browse the repository at this point in the history
  • Loading branch information
@franziskuskiefer
franziskuskiefer committed Nov 21, 2023
1 parent 2171f67 commit 59f7ba5
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion info.txt
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
The code was generated with the following toolchain.
F* version: f4cbb7a38d67eeb13fbdb2f4fb8a44a65cbcdc1f
Karamel version: a7be2a7c43eca637ceb57fe8f3ffd16fc6627ebd
HACL* version: 309736b87a124ad1bdc2dc34e7768568039639e5
HACL* version: a73f8d6451c15f0ae3df1ba1b1c223f36015b3cd
Vale version: 0.3.19

0 comments on commit 59f7ba5

Please sign in to comment.