summaryrefslogtreecommitdiff
path: root/charon-pin
blob: 082212e1f06048ea19a59dd18861ed306ddf5639 (plain) 
1
2

# This is the commit from https://github.com/AeneasVerif/charon that should be used with this version of aeneas.
28dc4f9b826031754fcd32c82355f6d0be05faca
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-22 10:28:52 +0000