Commit df52d38f authored by Ralf Jung's avatar Ralf Jung
Browse files

Merge branch 'ralf/opam' into 'master'

fix `make build-dep`

See merge request FP/iris-coq!207
parents 69273c98 dbcad82b
Pipeline #14053 passed with stage
in 20 minutes and 22 seconds