jaytux

0 Followers · 0 Following

Joined on 2025-07-01

Repositories

5

Projects Packages Public Activity Starred Repositories

rocqidea-ci (1)

Published 2026-11-09 11:27:03 +01:00 by jaytux

Installation

Pull the image from the command line:

docker pull git.jaytux.com/jaytux/rocqidea-ci:1

Digest

sha256:0bbfce95dec871b6ff38af1e9bb8b2581cf3d9565e76d5c841763b2d832713f3

For more information on the Container registry, see the documentation.

Images

Digest	OS / Arch	Size
fd0bcceda3	linux/amd64	798 MiB

Image Layers ( linux/amd64)

ARG RELEASE

ARG LAUNCHPAD_BUILD_ARCH

LABEL org.opencontainers.image.version=24.04

ADD file:eed88e94d6aa7c9da62836e137f889e03988c1a6b237b0cedb6ca666dfaa98ea in /

CMD ["/bin/bash"]

ARG OPAM_ROOT=/opt/opam

ARG OPAM_SWITCH=rocq

RUN |2 OPAM_ROOT=/opt/opam OPAM_SWITCH=rocq /bin/sh -c apt-get update && apt-get install -y --no-install-recommends git curl unzip ca-certificates make libgmp10 fontconfig fonts-dejavu-core && rm -rf /var/lib/apt/lists/* # buildkit

COPY /usr/local/bin/node /usr/local/bin/node # buildkit

COPY /opt/java/openjdk /usr/lib/jvm/temurin-25 # buildkit

COPY /opt/opam/rocq /opt/opam/rocq # buildkit

ENV JAVA_HOME=/usr/lib/jvm/temurin-25 OPAMROOT=/opt/opam PATH=/opt/opam/rocq/bin:/usr/lib/jvm/temurin-25/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin

RUN |2 OPAM_ROOT=/opt/opam OPAM_SWITCH=rocq /bin/sh -c vsrocqtop --version && java -version && node --version && mkdir -p /tmp/smoke && cd /tmp/smoke && printf 'From Stdlib Require Import Arith Lia.\nGoal forall n, n + 0 = n. intros; lia. Qed.\n' > Smoke.v && rocq compile Smoke.v && cd / && rm -rf /tmp/smoke # buildkit

Labels

Key	Value
org.opencontainers.image.version	24.04

Details

Container

2026-11-09 11:27:03 +01:00

3

OCI / Docker

Versions (1) View all

1 2026-11-09