Update ubuntu2204

Signed-off-by: Rafael Sene <rafael@riscv.org>
riscv · Jul 24, 2023 · 9db1b0e · 9db1b0e
1 parent 9f02364
commit 9db1b0e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Dockerfiles/ubuntu2204 b/Dockerfiles/ubuntu2204
@@ -39,6 +39,7 @@ RUN export DEBIAN_FRONTEND=noninteractive && \
     texlive-science && \
     pip3 install sympy pyyaml jsonschema && \
     gem install \
+    mathematical:1.6.14 \ 
     asciidoctor \
     asciidoctor-sail \
     asciidoctor-bibtex \