Docs: CMRA → Camera (as in the Ground Up paper).

5 jobs for master
Status Job ID Name Coverage
  Build
canceled #6427
fp-timing
build-coq.8.6.1

canceled #6426
fp-timing
build-coq.8.7.0

 
  Deploy
canceled #6428
opam

canceled #6429
reverse-deps

 
  Build More
canceled #6430
fp-timing
build-coq.8.7.dev