Skip to content

Commit 2a1a624

Browse files
tahina-protahina-pro
committed
Revert "partial F*, Karamel, Pulse upgrade"
This reverts commit a2ad34b.
1 parent c42bf83 commit 2a1a624

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 := 3e3ce160b5a61c6eb036137068e64c46af38e0fd
2-
karamel_hash := 8e7262955105599e91f3a99c9ab3d3387f7046f2
3-
pulse_hash := b6fe83f041203c407e29a8400bb3f801d69d1f8d
1+
FStar_hash := 1e97045d6cf714bc45a00f54fcedccdfb08a31f5
2+
karamel_hash := fb36fecb552c9fb202beb38a6c5a732c3f2cd49f
3+
pulse_hash := 47b4e2103e3ce09ab7e1cb50409fa67d73bb947a

0 commit comments

Comments
 (0)