Skip to content
Snippets Groups Projects
Commit 33f048f8 authored by Ralf Jung's avatar Ralf Jung
Browse files

also allow 'dev' version of coq-equations

parent f30011a7
No related branches found
No related tags found
Checking pipeline status