update dependencies; fix for auth change

opam

theories/array_based_queuing_lock/abql.v

theories/barrier/proof.v

theories/hocap/contrib_bag.v

theories/lecture_notes/ccounter.v

theories/lecture_notes/coq_intro_example_2.v

theories/logatom/conditional_increment/cinc.v

theories/logatom/elimination_stack/hocap_spec.v

theories/logatom/elimination_stack/stack.v

theories/logatom/herlihy_wing_queue/hwq.v

theories/logatom/rdcss/rdcss.v

theories/logatom/snapshot/atomic_snapshot.v

theories/logatom/treiber2.v

theories/logrel/F_mu_ref_conc/examples/stack/stack_rules.v

theories/logrel/F_mu_ref_conc/rules_binary.v

theories/logrel/F_mu_ref_conc/soundness_binary.v

theories/logrel/heaplang/lib/symbol_adt.v

theories/spanning_tree/mon.v