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

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