diff options
Diffstat (limited to 'Containerfile')
| -rw-r--r-- | Containerfile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Containerfile b/Containerfile index be064b5..2e34a8b 100644 --- a/Containerfile +++ b/Containerfile @@ -7,6 +7,7 @@ RUN \ make gcc g++ xz-utils lzip \ libmpc-dev libmpfr-dev libgmp-dev zlib1g-dev \ python3-minimal gawk bison rsync \ + texinfo file gettext \ bzip2 flex libssl-dev bc libcap2-bin strace \ && \ apt-get clean |