Stream: Coq users

Topic: Coq Docker image for M2 mac architecture


view this post on Zulip Cyril Cohen (Mar 27 2024 at 22:03):

Hi, what would be the way to get docker images for this architecture?

view this post on Zulip Pierre Boutry (Mar 30 2024 at 19:09):

Hi, I know almost nothing about Docker but isn't a build amd64 or something similar enough?

view this post on Zulip Cyril Cohen (Apr 02 2024 at 12:13):

Apparently M2 mac owners can notice an apparently unbounded running time for the docker image. :shrug:


Last updated: Jun 23 2024 at 05:02 UTC