 Andrés Sicard-Ramírez
|
738221698a
[ closed #5408 ] Replaced `agda/text-icu` by `text-icu 0.7.1.0`.
|
пре 3 година |
 Liang-Ting Chen
|
35d7405120
[ re #5337 ] Use agda/text-icu instead of an additional patch (#5380)
|
пре 3 година |
|
Liang-Ting Chen
|
9a02d08c13
[ fix #5120, #5259 ] A hotfix for building text-icu with icu4c 68+ (#5337)
|
пре 3 година |
 Andrés Sicard-Ramírez
|
a4c07e640e
[ closed #4792 ] Bumped QuickCheck lower version bound to 2.14.1.
|
пре 4 година |
|
Andrés Sicard-Ramírez
|
66b3e02c6b
[ closed #5112 ] Used local `stack-X.Y.Z.yaml` files.
|
пре 4 година |
 Andreas Abel
|
b2d77682e0
[ opt ] use Set.disjoint instead of Set.intersection
|
пре 4 година |
 Robert Estelle
|
f8b4577658
stack: Include src/fix-whitespace in extra-deps
|
пре 4 година |
|
Robert Estelle
|
6c8ef0e948
stack: Consistently include src/size-solver in packages
|
пре 4 година |
|
Robert Estelle
|
a670d5e411
stack: Add compiler-check to stack-*.yaml
|
пре 4 година |
|
Andrés Sicard-Ramírez
|
297de29efb
[ stack ] Alphabetically sorted dependencies.
|
пре 4 година |
|
Andrés Sicard-Ramírez
|
df8f0cba87
[ fixed #4767 ] Building `agda-tests` with all the supported GHC versions.
|
пре 4 година |
 Jacques Carette
|
93c7db4a03
Recent ubuntu for build (#4753)
|
пре 4 година |
|
Andrés Sicard-Ramírez
|
364e8ff143
Bumped cpphs (1.20.8 -> 1.20.9).
|
пре 5 година |
|
Andrés Sicard-Ramírez
|
4a84eb2592
[ #3725 ] Bumped lower bound for regex-tdfa (1.2.2 -> 1.3.1.0).
|
пре 5 година |
|
Liang-Ting Chen
|
f659ab8915
[ stack ] Bump to LTS 13.28 for GHC 8.6.5 (#3914)
|
пре 5 година |
|
Andreas Abel
|
6f25159f7e
[ #3905 ] tasty test with --ansi-tricks=false on travis (#3906)
|
пре 5 година |
 LUA Ting-Gan
|
7cff6ef88c
[ fix #3573 ] Add missing Makefile targets
|
пре 6 година |
|
Andrés Sicard-Ramírez
|
db33dbd967
[ closed #3277 ] Bumped lower bound version of text library.
|
пре 6 година |
|
Andrés Sicard-Ramírez
|
a54a339c31
Updated Stackage resolvers.
|
пре 6 година |
|
Andrés Sicard-Ramírez
|
55bee20308
[ #2875 ] Updated Stackage LTS for GHC 8.2.2 (11.10 -> 11.11).
|
пре 6 година |
|
Andrés Sicard-Ramírez
|
52f360bd9b
[ #2875 ] Updated Stackage LTS for GHC 8.2.2 (11.3 -> 11.10).
|
пре 6 година |
 Víctor López Juan
|
4eca8a38bb
[ stackage ] Updated resolver (11.1 --> 11.3)
|
пре 6 година |
|
Andrés Sicard-Ramírez
|
8a3d8b867e
[ travis ] Updated Stackage LTS (10.0 -> 11.1).
|
пре 7 година |
 Nils Anders Danielsson
|
d609d39636
[ #2957 ] Added support for async 2.2.*.
|
пре 7 година |
|
Andrés Sicard-Ramírez
|
acc6862ede
Added support and Travis test for Stackage on GHC 8.2.2.
|
пре 7 година |
