# HG changeset patch
# User Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
# Date 1468921372 -32400
# Node ID 4df5bc41561de5e9239b412738f328cbeb9b09be
# Parent  4df53a60e59a9f2d47aa6f3b78b79209d482cf8b# Parent  c53f105a48c1422862ce6c1fb14101931638cc7e
Merge

diff -r 4df53a60e59a -r 4df5bc41561d Dockerfile
--- a/Dockerfile	Tue Jul 19 18:39:22 2016 +0900
+++ b/Dockerfile	Tue Jul 19 18:42:52 2016 +0900
@@ -1,7 +1,7 @@
 # docker build -t gears .  # build container
 # docker run gears         # launch container and attach
 
-FROM fedora
+FROM fedora:23
 
 WORKDIR /root
 RUN dnf update -y