update dependencies

coq-iris-examples.opam

theories/array_based_queuing_lock/abql.v

theories/barrier/example_client.v

theories/barrier/example_joining_existentials.v

theories/barrier/proof.v

theories/barrier/specification.v

theories/concurrent_stacks/concurrent_stack1.v

theories/concurrent_stacks/concurrent_stack2.v

theories/concurrent_stacks/concurrent_stack3.v

theories/concurrent_stacks/concurrent_stack4.v

theories/concurrent_stacks/specs.v

theories/hocap/abstract_bag.v

theories/hocap/cg_bag.v

theories/hocap/concurrent_runners.v

theories/hocap/contrib_bag.v

theories/hocap/exclusive_bag.v

theories/hocap/fg_bag.v

theories/hocap/parfib.v

theories/hocap/shared_bag.v

theories/lecture_notes/bag.v