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:

Last updated: Jun 23 2024 at 05:02 UTC