Skip to content

adapt to coq/coq#18730 #26

adapt to coq/coq#18730

adapt to coq/coq#18730 #26

build (master, coq libcoq-core-ocaml-dev, ppa:jgross-h/coq-master-daily)

succeeded Feb 29, 2024 in 54m 53s