Erik Martin-Dorel (Sep 06 2023 at 13:10): Erik Martin-Dorel (Sep 06 2023 at 13:10):Dear all, in case you rely on Docker images at some point (e.g., coqorg/coq or mathcomp/mathcomp or so):
I just added a hint in the Docker-Coq FAQ that might be of interest for your workflow:
https://github.com/coq-community/docker-coq/wiki#how-to-inspect-a-tag
Last updated: Oct 13 2024 at 01:02 UTC