diff options
| author | Nadrieril | 2024-06-18 12:12:05 +0200 |
|---|---|---|
| committer | Nadrieril | 2024-06-18 12:12:05 +0200 |
| commit | 082661f0d9d1bb1196ef8e1d57b3f2b4922b3d8e (patch) | |
| tree | cb80870b80b3700b003226e62acdf768be143a1c /charon-pin | |
| parent | aa5948d7f9fd9b2d0ce18657215dae6877ebd996 (diff) | |
Bump charon
Diffstat (limited to 'charon-pin')
| -rw-r--r-- | charon-pin | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,2 +1,2 @@ # This is the commit from https://github.com/AeneasVerif/charon that should be used with this version of aeneas. -f818fc0c4f380b0140be077308f354cfd89c2d7f +a350f1e4795d57fb7b23c4c2d24003cf5e16315f |