Achim D. Brucker
|
e609ebcf08
|
Updated entcs and AFP URLs.
|
2023-03-04 18:57:08 +00:00 |
Achim D. Brucker
|
3d7d357302
|
Added python3-urllib3, which is required by pipenv.
|
2023-03-02 16:20:28 +00:00 |
Achim D. Brucker
|
5c2343f8d0
|
Use Debian unstable and add lipics style.
|
2022-10-30 20:42:57 +00:00 |
Achim D. Brucker
|
2cfef2ddfc
|
Allow user of podman as alternative to docker.
|
2021-01-03 21:50:25 +00:00 |
Achim D. Brucker
|
b32ee44980
|
Use full registry URL (allows to use the Dockerfile, e.g., with podman, without the need to configure the registry.
|
2021-01-02 09:25:56 +00:00 |
Achim D. Brucker
|
b99b55250a
|
Install git and mercurial.
lh-docker/lh-docker-isabelle/master This commit looks good
Details
|
2019-08-15 17:55:54 +01:00 |
Achim D. Brucker
|
442fec5c3c
|
Renabled SHELL directive.
|
2019-01-05 15:56:36 +00:00 |
Achim D. Brucker
|
5c409c00a7
|
Disabled SHELL directive.
|
2019-01-05 15:08:41 +00:00 |
Achim D. Brucker
|
eed450b116
|
Added licensing header.
|
2019-01-03 09:41:12 +00:00 |
Achim D. Brucker
|
def5cfad30
|
Initial commit debian4isabelle.
|
2019-01-02 07:41:12 +00:00 |