diff options
Diffstat (limited to 'docker')
| -rw-r--r-- | docker/Dockerfile | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/docker/Dockerfile b/docker/Dockerfile index a0ac19ba..b317f868 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -213,11 +213,6 @@ RUN export RTRLIB_VERSION="0.8.0" export ARCH=$(dpkg-architecture -qDEB_HOST_ARC dpkg-buildpackage -uc -us -tc -b && \ dpkg -i ../librtr0*_${ARCH}.deb ../librtr-dev*_${ARCH}.deb ../rtr-tools*_${ARCH}.deb -# Packages needed for hvinfo -RUN apt-get update && apt-get install -y \ - gnat \ - gprbuild - # Packages needed for vyos-1x RUN pip install --break-system-packages \ git+https://github.com/aristanetworks/j2lint.git@341b5d5db86 \ |