Skip to content

Update dependencies (Coq 8.18) #17

Update dependencies (Coq 8.18)

Update dependencies (Coq 8.18) #17

Triggered via pull request December 29, 2023 17:24
@4ever24ever2
synchronize #238
4ever2:deps
Status Success
Total duration 1m 45s
Artifacts

lint-opam.yml

on: pull_request
Fit to window
Zoom out
Zoom in