modified to use newer opam

codinuum · Oct 14, 2021 · 232477d · 232477d
1 parent c22bbe5
commit 232477d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Dockerfile b/Dockerfile
@@ -1,4 +1,4 @@
-FROM ubuntu:20.04
+FROM ubuntu:21.04
 
 MAINTAINER codinuum