 Andrés Sicard-Ramírez
|
0699285d07
[ #5154 ] Updated copyright year range.
|
3 anni fa |
|
Andrés Sicard-Ramírez
|
bd74ccf7f6
[ closed #5415 ] Added `-Winvalid-haddock` warning.
|
3 anni fa |
|
Andrés Sicard-Ramírez
|
738221698a
[ closed #5408 ] Replaced `agda/text-icu` by `text-icu 0.7.1.0`.
|
3 anni fa |
|
Andrés Sicard-Ramírez
|
59878ab981
[ closed #5298 ] Added GHC warnings to Agda.cabal.
|
3 anni fa |
 Andreas Abel
|
6be98f1612
[ #5379 ] Use pseq instead of seq for actually forcing the evaluation order
|
3 anni fa |
|
Andreas Abel
|
b5ce98c2ac
[ #5372 ] bump Win32 upper bound to < 2.13 (latest is 2.12)
|
3 anni fa |
 Liang-Ting Chen
|
35d7405120
[ re #5337 ] Use agda/text-icu instead of an additional patch (#5380)
|
3 anni fa |
 Nils Anders Danielsson
|
863bcdbdca
[ #5326 ] Changed the representations of highlighting information.
|
3 anni fa |
|
Liang-Ting Chen
|
9a02d08c13
[ fix #5120, #5259 ] A hotfix for building text-icu with icu4c 68+ (#5337)
|
3 anni fa |
|
Andreas Abel
|
73f23cd5c4
[ ghc-8.0 compat ] fix containers lower bound to >= 0.5.11.
|
3 anni fa |
 Andrés Sicard-Ramírez
|
a309a8ac28
[ closed #4955 ] Tested with GHC 9.0.1.
|
3 anni fa |
|
Andreas Abel
|
9599ddf38c
[ #5271, agda/hs-tags#1 ] rename hTags to hs-tags
|
3 anni fa |
|
Andreas Abel
|
8d1f67ba3e
[ cabal ] mention all dependencies also outside of conditions
|
4 anni fa |
|
Andreas Abel
|
f9a1816853
[ #5178 ] rm obsolete stack-8.10.3.yaml after LTS release for 8.10.4
|
4 anni fa |
 Ulf Norell
|
9258d8c7d0
[ fix #4999 ] handle surrogate code points
|
4 anni fa |
|
Nils Anders Danielsson
|
7716754f2a
[ #4521 ] Added the flag optimise-heavily to Agda.cabal.
|
4 anni fa |
|
Nils Anders Danielsson
|
1e1d216375
Added DeriveGeneric to the lists of default extensions.
|
4 anni fa |
|
Andrés Sicard-Ramírez
|
cba188dbed
[ #5178 ] Supported GHC 8.10.4.
|
4 anni fa |
|
Andrés Sicard-Ramírez
|
d576ae85ea
[ #5136 ] Added `2.6.1.3.md` file.
|
4 anni fa |
|
Andrés Sicard-Ramírez
|
73636c7ac4
[ #4749 ] Added missing `2.6.1.2.md` file.
|
4 anni fa |
|
Andrés Sicard-Ramírez
|
a37e79effa
[ .cabal ] Added unconditional constraint for transformers.
|
4 anni fa |
|
Andreas Abel
|
834b759086
[ cabal ] relax bounds on bytestring, time, and tasty-*
|
4 anni fa |
|
Andrés Sicard-Ramírez
|
c5400349d7
[ #5109 ] ListLike 4.7.4 was released.
|
4 anni fa |
|
Andrés Sicard-Ramírez
|
8cfb5cb4e8
[ #5109 ] Removed stack-8.10.2.*.yaml.
|
4 anni fa |
|
Andrés Sicard-Ramírez
|
3c13728b2f
[ #5109 ] Updated tested-with field.
|
4 anni fa |
|
Andrés Sicard-Ramírez
|
fccd573c5e
[ #5109 ] Used GHC 8.10.3 in Travis and GitHub workflows.
|
4 anni fa |
|
Liang-Ting Chen
|
5e3e43c108
Fix the upper bound of `utf8-string` for installing `ListLike`
|
4 anni fa |
|
Andrés Sicard-Ramírez
|
c928a019f1
[ #4995 ] GHC 9.0.1-rc is shipped with transformers 0.5.6.2.
|
4 anni fa |
|
Andrés Sicard-Ramírez
|
d4d9d62126
[ #4995 ] Bumped template-haskell and Cabal upper version bounds.
|
4 anni fa |
|
Andrés Sicard-Ramírez
|
a4c07e640e
[ closed #4792 ] Bumped QuickCheck lower version bound to 2.14.1.
|
4 anni fa |
