michael/blog
1
0
Fork 0
Code Issues 2 Pull requests Releases Packages 1 Wiki Activity

rip
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
Details

Browse source
This commit is contained in:
Michael Zhang 2023-10-11 13:42:22 -05:00
parent 43a56c941a
commit 1ff3499e81
1 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
utils/agda.Dockerfile
View file

@ -1,3 +1,4 @@
FROM fpco/stack-build:lts-21 FROM haskell:9
LABEL author="Ting-Gian LUA <banacorn@gmail.com>" RUN cabal update
RUN stack --resolver=lts-21.13 install Agda-2.6.4 EdisonCore-1.3.2.1 data-hash-0.2.0.1 equivalence-0.3.4 geniplate-mirror-0.7.6 EdisonAPI-1.3.1 STMonadTrans-0.4.3 RUN cabal install Agda-2.6.4