Stream: Coq users

Topic: Hint for Docker users: remote equivalent of `docker inspect`


view this post on Zulip 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: Jun 23 2024 at 05:02 UTC