noweb
A WEB-like literate-programming tool
RUN apt-get update && \
apt-get install -y noweb
RUN apt-get update && \
apt-get install -y noweb
RUN apt-get update && \
apt-get install -y noweb
RUN apt-get update && \
apt-get install -y noweb