Skip to content

Commit a2ad34b

Browse files
tahina-protahina-pro
committed
partial F*, Karamel, Pulse upgrade
1 parent 3642275 commit a2ad34b

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

‎opt/hashes.Makefile‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
1-
FStar_hash := 1e97045d6cf714bc45a00f54fcedccdfb08a31f5
2-
karamel_hash := fb36fecb552c9fb202beb38a6c5a732c3f2cd49f
3-
pulse_hash := 47b4e2103e3ce09ab7e1cb50409fa67d73bb947a
1+
FStar_hash := 3e3ce160b5a61c6eb036137068e64c46af38e0fd
2+
karamel_hash := 8e7262955105599e91f3a99c9ab3d3387f7046f2
3+
pulse_hash := b6fe83f041203c407e29a8400bb3f801d69d1f8d

0 commit comments

Comments
 (0)