Thomas Leonard
|
794ca35d23
|
Update Dockerfile to use newer Debian base image
Was failing with
```
E: Failed to fetch http://security.debian.org/pool/updates/main/x/xen/libxenstore3.0_4.4.1-9+deb8u8_amd64.deb 404 Not Found [IP: 212.211.132.32 80]
```
|
2017-09-12 16:57:01 +01:00 |
|
Thomas Leonard
|
630304500f
|
Update build for Mirage 3
|
2017-03-18 10:46:06 +00:00 |
|
Thomas Leonard
|
b4079ac861
|
Update to new mirage-nat API
|
2017-03-05 17:04:05 +00:00 |
|
Thomas Leonard
|
150208fc72
|
Pin Docker base image to a specific hash
Requested by Joanna Rutkowska.
|
2017-01-31 09:26:57 +00:00 |
|
Thomas Leonard
|
07ff3d6147
|
Fix opam-repository commit for reproducible builds
Also, display the actual and expected SHA hashes after building.
|
2017-01-28 14:17:27 +00:00 |
|
Thomas Leonard
|
d6074f2271
|
Add option to build with Docker
|
2017-01-09 18:44:30 +00:00 |
|