# HG changeset patch
# User atton <atton@cr.ie.u-ryukyu.ac.jp>
# Date 1483075402 -32400
# Node ID 8ce6a3f5152318889491ecfbac869e404f5bd652
# Parent  b8e606ab3a0b3e9602a41ded90fde34a2676908a
Update Agda to 2.5.2

diff -r b8e606ab3a0b -r 8ce6a3f51523 Dockerfile
--- a/Dockerfile	Fri Dec 23 16:14:36 2016 +0000
+++ b/Dockerfile	Fri Dec 30 14:23:22 2016 +0900
@@ -1,21 +1,21 @@
-# docker build -t agda:2.5.1.1 .
-# docker run -it agda:2.5.1.1 zsh
+# docker build -t agda:2.5.2 .
+# docker run -it agda:2.5.2 zsh
 
-FROM fedora:24
+FROM fedora:25
 
 RUN dnf update -y
 RUN dnf install -y ghc emacs vim mercurial git cabal-install zlib zlib-devel zsh wget tar man
 RUN cabal update
 RUN cabal install cabal-install
-RUN cabal install happy-1.19.5 alex-3.1.7
-RUN cabal install --force-reinstalls agda-2.5.1.1
+RUN cabal install happy-1.19.5 alex-3.2.1 cpphs-1.20.2
+RUN cabal install --force-reinstalls agda-2.5.2
 
 WORKDIR /tmp
 RUN mkdir -p /root/.agda/lib
-RUN wget https://github.com/agda/agda-stdlib/archive/v0.12.tar.gz
-RUN tar xzf v0.12.tar.gz -C /root/.agda/lib
+RUN wget https://github.com/agda/agda-stdlib/archive/v0.13.tar.gz
+RUN tar xzf v0.13.tar.gz -C /root/.agda/lib
 RUN echo "standard-library" >> /root/.agda/defaults
-RUN echo "/root/.agda/lib/agda-stdlib-0.12/standard-library.agda-lib" >> /root/.agda/libraries
+RUN echo "/root/.agda/lib/agda-stdlib-0.13/standard-library.agda-lib" >> /root/.agda/libraries
 
 WORKDIR /root
 RUN hg clone http://firefly.cr.ie.u-ryukyu.ac.jp/hg/Members/atton/agda-proofs