Enrico Tassi has marked this topic as resolved.
CC @Erik Martin-Dorel for docker
@Enrico Tassi Erik can't do the Docker without opam, is that already underway?
Thanks. BTW when you ping me, feel free to also ping @Jaime Arias which co-maintains docker-coq, so that the faster of us can take care of the task :-)
Last updated: Nov 29 2023 at 20:01 UTC