[dexter] update proof for exchange entrypoints

4 jobs for dexter-verification in 40 minutes and 42 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #762292902
coq:8.10

00:40:41

passed #762292905
coq:8.11

00:24:44

passed #762292900
coq:8.8

00:13:18

passed #762292901
coq:8.9

00:27:27