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

updated text-icu ver to be compatible with icu68+ (#565)

Browse source
This commit is contained in:
Altariarite 2021-06-16 16:13:27 +01:00 committed by GitHub
parent c92e164f28
commit c022088e3c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 5 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
plfa.cabal
View file

@ -43,7 +43,7 @@ library
build-depends: Agda ==2.6.1.1 build-depends: Agda ==2.6.1.1
, hsass >=0.8 && <0.9 , hsass >=0.8 && <0.9
, regex-tdfa >=1.3 && <1.4 , regex-tdfa >=1.3 && <1.4
, text-icu >=0.7 && <0.8 , text-icu >=0.7.1 && <0.8
, text-regex-replace >=0.1 && <0.2 , text-regex-replace >=0.1 && <0.2
executable site executable site

1
stack.yaml
View file

@ -14,6 +14,7 @@ extra-deps:
- hlibsass-0.1.10.1@sha256:08db56c633e9a83a642d8ea57dffa93112b092d05bf8f3b07491cfee9ee0dfa5,2565 - hlibsass-0.1.10.1@sha256:08db56c633e9a83a642d8ea57dffa93112b092d05bf8f3b07491cfee9ee0dfa5,2565
# Agda dependencies: # Agda dependencies:
- Agda-2.6.1.1@sha256:d0f5051ae56de8417dc202cd7a8e23c9f21a75c69b44afb856b66b87ca8d54c4,32315 - Agda-2.6.1.1@sha256:d0f5051ae56de8417dc202cd7a8e23c9f21a75c69b44afb856b66b87ca8d54c4,32315
- text-icu-0.7.1.0
- data-hash-0.2.0.1@sha256:0277d99cb8b535ecc375c59e55f1c91faab966d9167a946ef18445dd468ba727,1135 - data-hash-0.2.0.1@sha256:0277d99cb8b535ecc375c59e55f1c91faab966d9167a946ef18445dd468ba727,1135
- equivalence-0.3.5@sha256:aedbd070b7ab5e58dd1678cd85607bc33cb9ff62331c1fa098ca45063b3072db,1626 - equivalence-0.3.5@sha256:aedbd070b7ab5e58dd1678cd85607bc33cb9ff62331c1fa098ca45063b3072db,1626
- geniplate-mirror-0.7.7@sha256:6a698c1bcec25f4866999001c4de30049d4f8f00ec83f8930cda2f767489c637,1106 - geniplate-mirror-0.7.7@sha256:6a698c1bcec25f4866999001c4de30049d4f8f00ec83f8930cda2f767489c637,1106