File tree Expand file tree Collapse file tree 5 files changed +2
-6
lines changed
Expand file tree Collapse file tree 5 files changed +2
-6
lines changed Original file line number Diff line number Diff line change @@ -13,7 +13,6 @@ RUN apt-get update && \
1313 libgmp-dev \
1414 libgmp10 \
1515 libgmpxx4ldbl \
16- librsvg2-bin \
1716 openjdk-8-jdk \
1817 pandoc \
1918 python3-minimal \
Original file line number Diff line number Diff line change @@ -207,13 +207,13 @@ The dependencies needed to *build/install* problemtools can be installed with:
207207
208208And the dependencies needed to *run* problemtools can be installed with:
209209
210- sudo apt install ghostscript libgmpxx4ldbl librsvg2-bin pandoc python3-minimal python-pkg-resources python3-plastex python3-yaml texlive-fonts-recommended texlive-lang-cyrillic texlive-latex-extra texlive-plain-generic tidy
210+ sudo apt install ghostscript libgmpxx4ldbl pandoc python3-minimal python-pkg-resources python3-plastex python3-yaml texlive-fonts-recommended texlive-lang-cyrillic texlive-latex-extra texlive-plain-generic tidy
211211
212212### Fedora
213213
214214On Fedora, these dependencies can be installed with:
215215
216- sudo dnf install boost-regex gcc gmp-devel gmp-c++ librsvg pandoc python3 python3-pyyaml texlive-latex texlive-collection-fontsrecommended texlive-fancyhdr texlive-subfigure texlive-wrapfig texlive-import texlive-ulem texlive-xifthen texlive-overpic texlive-pbox tidy ghostscript
216+ sudo dnf install boost-regex gcc gmp-devel gmp-c++ pandoc python3 python3-pyyaml texlive-latex texlive-collection-fontsrecommended texlive-fancyhdr texlive-subfigure texlive-wrapfig texlive-import texlive-ulem texlive-xifthen texlive-overpic texlive-pbox tidy ghostscript
217217
218218Followed by:
219219
Original file line number Diff line number Diff line change @@ -25,7 +25,6 @@ RUN apt update && \
2525 libgmp-dev \
2626 libgmp10 \
2727 libgmpxx4ldbl \
28- librsvg2-bin \
2928 pandoc \
3029 python3 \
3130 python3-pytest \
Original file line number Diff line number Diff line change @@ -19,7 +19,6 @@ RUN apt-get update && \
1919 gnustep-devel gnustep gnustep-make gnustep-common gobjc \
2020 libgmp3-dev \
2121 libmozjs-78-dev \
22- librsvg2-bin \
2322 lua5.4 \
2423 mono-complete \
2524 nodejs \
Original file line number Diff line number Diff line change @@ -20,7 +20,6 @@ RUN apt update && \
2020 apt install -y \
2121 ghostscript \
2222 libgmpxx4ldbl \
23- librsvg2-bin \
2423 pandoc \
2524 python-pkg-resources \
2625 python3-minimal \
You can’t perform that action at this time.
0 commit comments