lh-docker

Repositories

2

Projects Packages

lh-docker-isabelle/debian4isabelle (latest)

Published 2023-04-27 13:12:00 +00:00 by adbrucker

Installation

Pull the image from the command line:

docker pull git.logicalhacking.com/lh-docker/lh-docker-isabelle/debian4isabelle:latest

Digest:

sha256:71b124a71a3d2708cb9c4e404a7999e7603684e280044147b726ae057b49e1de

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

Image Layers

ADD file:3b6700ddfc2ba2c349ed3274e52458cd834ee48145a741d900c6701cafa01f03 in /

CMD ["bash"]

/bin/sh -c apt-get -y update && apt-get install -y curl less lib32stdc++6 libgomp1 libwww-perl rlwrap unzip git mercurial texlive-full python3-pip graphviz pipenv python3-urllib3 python3-sklearn-pandas python3-seaborn jupyter-nbconvert && apt-get clean && rm -rf /usr/share/doc

/bin/sh -c curl -o /tmp/generic.zip https://www.entcs.org/generic.zip && mkdir -p /usr/local/share/texmf/tex/latex/ && cd /tmp && unzip generic.zip && mv generic /usr/local/share/texmf/tex/latex/entcs && curl -o /tmp/lipics.tgz https://submission.dagstuhl.de/styles/download-tag/lipics/v2021.1.2/authors/tgz && cd /tmp && tar zxvf lipics.tgz && mv *authors* /usr/local/share/texmf/tex/latex/lipics && mkdir -p /usr/local/share/texmf/bibtex/bst && mkdir -p /usr/local/share/texmf/tex/latex/sig-alternate && curl -o /usr/local/share/texmf/tex/latex/sig-alternate/sig-alternate.cls https://www.acm.org/binaries/content/assets/publications/article-templates/sig-alternate-05-2015.cls && curl -o /usr/local/share/texmf/tex/latex/sig-alternate/acmcopyright.sty https://www.acm.org/binaries/content/assets/publications/article-templates/acmcopyright.sty

Labels

Key	Value
io.buildah.version	1.28.2

Details

Container

2023-04-27 13:12:00 +00:00

0

OCI / Docker

linux/amd64

2.8 GiB

Versions (1) View all

latest 2023-04-27