README
framework for SIP modules
RUN apt-get update && \
apt-get install -y acl2-doc
RUN apt-get update && \
apt-get install -y phabricator
RUN pacman -S --noconfirm nltk-data
RUN apt-get update && \
apt-get install -y acl2-doc
RUN dnf install -y gallery3
RUN apt-get update && \
apt-get install -y acl2-doc