Skip to content

coq-elpi-lang 0.0.6

coq-elpi-lang 0.0.6 #2

Triggered via release November 7, 2023 11:58
@garesgares
published v0.0.6
Status Success
Total duration 25s
Artifacts

vcstore.yaml

on: release
Fit to window
Zoom out
Zoom in