 Andrés Sicard-Ramírez
|
738221698a
[ closed #5408 ] Replaced `agda/text-icu` by `text-icu 0.7.1.0`.
|
%!s(int64=3) %!d(string=hai) anos |
 Liang-Ting Chen
|
35d7405120
[ re #5337 ] Use agda/text-icu instead of an additional patch (#5380)
|
%!s(int64=3) %!d(string=hai) anos |
|
Liang-Ting Chen
|
9a02d08c13
[ fix #5120, #5259 ] A hotfix for building text-icu with icu4c 68+ (#5337)
|
%!s(int64=3) %!d(string=hai) anos |
 Andrés Sicard-Ramírez
|
642615399e
[ stackage ] Bumped LTS for GHC 8.8.4 (16.26 -> 16.31).
|
%!s(int64=3) %!d(string=hai) anos |
|
Andrés Sicard-Ramírez
|
a4c07e640e
[ closed #4792 ] Bumped QuickCheck lower version bound to 2.14.1.
|
%!s(int64=3) %!d(string=hai) anos |
|
Andrés Sicard-Ramírez
|
66b3e02c6b
[ closed #5112 ] Used local `stack-X.Y.Z.yaml` files.
|
%!s(int64=3) %!d(string=hai) anos |
|
Liang-Ting Chen
|
580e8bcbb9
[ workflow ] Migrate from Travis.org to GH
|
%!s(int64=4) %!d(string=hai) anos |
|
Andrés Sicard-Ramírez
|
6289bb7cf4
[ #4797, stackage ] Resolver for GHC 8.8.4 (LTS 16.12) was released.
|
%!s(int64=4) %!d(string=hai) anos |
|
Andrés Sicard-Ramírez
|
521b13ac03
[ #4797 ] Added GHC 8.8.4 to Travis.
|
%!s(int64=4) %!d(string=hai) anos |
