本站面向开发者与科研用户,提供开源镜像的搜索和下载加速服务。
所有镜像均来源于原始开源仓库,本站不存储、不修改、不传播任何镜像内容。

base Docker 镜像下载 - 轩辕镜像

base 镜像详细信息和使用指南

base 镜像标签列表和版本信息

base 镜像拉取命令和加速下载

base 镜像使用说明和配置指南

Docker 镜像加速服务 - 轩辕镜像平台

国内开发者首选的 Docker 镜像加速平台

极速拉取 Docker 镜像服务

相关 Docker 镜像推荐

热门 Docker 镜像下载

base
coqorg/base
自动构建

base 镜像详细信息

base 镜像标签列表

base 镜像使用说明

base 镜像拉取命令

Docker 镜像加速服务

轩辕镜像平台优势

镜像下载指南

相关 Docker 镜像推荐

Coq证明助手Docker镜像的父镜像(警告:此仓库已不再活跃)
3 收藏0 次下载activecoqorg镜像

base 镜像详细说明

base 使用指南

base 配置说明

base 官方文档

coqorg/base

tags ![pipeline status]([***] pulls stars
dockerfile coq

该仓库提供Coq证明助手Docker镜像的父镜像。

这些镜像基于Debian 12 Slim构建:

GitHub仓库类型Docker Hub地址
docker-coq-actionGitHub ActionN/A
docker-coqDockerfilecoqorg/coq
docker-baseDockerfilecoqorg/base
DebianLinux发行版debian

此Dockerfile仓库在GitLab上有镜像,但问题和拉取请求在GitHub上跟踪。

[!WARNING]

  • 此仓库已不再活跃。

  • Rocq Prover和Coq的父镜像存储在rocq/base仓库中。

支持的标签及对应的Dockerfile链接

  • 5.0.0-flambda
  • 4.14.2-flambda
  • 4.13.1-flambda
  • 4.12.1-flambda
  • 4.11.2-flambda
  • 4.10.2-flambda
  • 4.09.1-flambda
  • 4.08.1-flambda
  • 4.07.1-flambda
  • 5.0.0
  • 4.13.1
  • 4.07.1
  • 4.05.0
  • 4.02.3
  • bare

用户好评

来自真实用户的反馈,见证轩辕镜像的优质服务

oldzhang的头像

oldzhang

运维工程师

Linux服务器

5

"Docker加速体验非常流畅,大镜像也能快速完成下载。"