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

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

canceled build-coq.8.7.0 #6426
fp-timing

 
  Deploy
canceled opam #6428

canceled reverse-deps #6429

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