update dependencies

coq-iris-examples.opam

theories/array_based_queuing_lock/abql.v

theories/barrier/example_joining_existentials.v

theories/cl_logic/tests.v

theories/hocap/cg_bag.v

theories/hocap/contrib_bag.v

theories/hocap/exclusive_bag.v

theories/hocap/fg_bag.v

theories/hocap/lib/oneshot.v

theories/hocap/parfib.v

theories/hocap/shared_bag.v

theories/lecture_notes/ccounter.v

theories/lecture_notes/coq_intro_example_1.v

theories/lecture_notes/coq_intro_example_2.v

theories/lecture_notes/lists.v

theories/lecture_notes/lists_guarded.v

theories/lecture_notes/lock.v

theories/lecture_notes/lock_unary_spec.v

theories/lecture_notes/modular_incr.v

theories/lecture_notes/recursion_through_the_store.v