Updated dependencies of acota-examples