adds a chain of images to have all of mathcomp

62a7d7f6 · BERTOT Yves · 6e1e3b44 · 62a7d7f6 · 62a7d7f6
Commit 62a7d7f6 authored 8 years ago by BERTOT Yves
--- a/mathcomp-container/Dockerfile
+++ b/mathcomp-container/Dockerfile
+FROM ssralgebra.1.6
+
+RUN opam install coq-mathcomp-character.1.6.1 coq-mathcomp-sum-of-two-square.1.0.0
\ No newline at end of file
--- a/ssralgebra-container/Dockerfile
+++ b/ssralgebra-container/Dockerfile
+FROM coquelicot.3.0.0
+
+RUN opam install coq-mathcomp-algebra.1.6.1
\ No newline at end of file