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

# This is the commit from https://github.com/AeneasVerif/charon that should be used with this version of aeneas.
438acf2ad2c6f7e03a16f8b1dc1bc3df96e72ae8
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-03 02:43:33 +0000