Skip to content
Snippets Groups Projects

Removed explicit coq-stdpp version in .opam, following Iris bump

Failed
Jonas Kastberg created pipeline for commit 05f913de
, finished
For master
1 job 11 minutes 34 seconds, queued for 2 seconds