michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Bumped Agda version to 2.6.1.3.

Browse source
This commit is contained in:
Wen Kokke 2021-06-16 23:30:18 +01:00
parent 3291c18300
commit 67b94951e0
No known key found for this signature in database
GPG key ID: 7EB7DBBCEB539DB8
2 changed files with 5 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
plfa.cabal
View file

@ -40,7 +40,7 @@ library
, Hakyll.Web.Template.Context.Title
, Hakyll.Web.Sass
, Hakyll.Web.Routes.Permalink
build-depends: Agda ==2.6.1.1
build-depends: Agda ==2.6.1.3
, hsass >=0.8 && <0.9
, regex-tdfa >=1.3 && <1.4
, text-icu >=0.7.1 && <0.8

9
stack.yaml
View file

@ -17,11 +17,7 @@ packages:
extra-deps:
# Agda dependencies:
- Agda-2.6.1.1@sha256:d0f5051ae56de8417dc202cd7a8e23c9f21a75c69b44afb856b66b87ca8d54c4,32315
- data-hash-0.2.0.1@sha256:0277d99cb8b535ecc375c59e55f1c91faab966d9167a946ef18445dd468ba727,1135
- equivalence-0.3.5@sha256:aedbd070b7ab5e58dd1678cd85607bc33cb9ff62331c1fa098ca45063b3072db,1626
- geniplate-mirror-0.7.7@sha256:6a698c1bcec25f4866999001c4de30049d4f8f00ec83f8930cda2f767489c637,1106
- STMonadTrans-0.4.4@sha256:437eec4fdf5f56e9cd4360e08ed7f8f9f5f02ff3f1d634a14dbc71e890035387,1946
- Agda-2.6.1.3@sha256:87769ebab4259b184c5b11d5beaff39b88bcc37902dfb3341f4fc46c5c7d3134,32945
# Hakyll dependencies:
- hakyll-4.13.4.1
@ -41,3 +37,6 @@ extra-deps:
# Regex dependencies:
- text-regex-replace-0.1.1.3@sha256:e7f612df671c93ced54a3d26528db37852069884e5cb67d5afbb49d3defb5eb9,1627
# Version of text-icu compatible with icu68+
- text-icu-0.7.1.0@sha256:44e8b5966fcf61356a7356f3d2e8a5c5cc538170a15e94ff7b79b9f48ce9fd2f,3497