Skip to content

build(deps): bump bedrock2 from b2cd2ba to dca97a1 #734

build(deps): bump bedrock2 from b2cd2ba to dca97a1

build(deps): bump bedrock2 from b2cd2ba to dca97a1 #734

build (8.18.0, coq-8.18.0 libcoq-8.18.0-ocaml-dev, ppa:jgross-h/many-coq-versions-ocaml-4-11)

succeeded Jan 31, 2025 in 4m 45s