 Andrés Sicard-Ramírez
|
738221698a
[ closed #5408 ] Replaced `agda/text-icu` by `text-icu 0.7.1.0`.
|
пре 3 година |
 Andreas Abel
|
1b5b0e9d00
[ #5372 #5379 ] add missing deps for Windows and GHC 8.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.
|
пре 3 година |
|
Andrés Sicard-Ramírez
|
66b3e02c6b
[ closed #5112 ] Used local `stack-X.Y.Z.yaml` files.
|
пре 3 година |
|
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
|
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 година |
|
Liang-Ting Chen
|
f2c2902dda
[ fix #4072 ] Use agda/fix-whitespace as a submodule (#4674)
|
пре 4 година |
|
Andrés Sicard-Ramírez
|
364e8ff143
Bumped cpphs (1.20.8 -> 1.20.9).
|
пре 4 година |
|
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
|
пре 5 година |
|
Andrés Sicard-Ramírez
|
db33dbd967
[ closed #3277 ] Bumped lower bound version of text library.
|
пре 6 година |
|
Andrés Sicard-Ramírez
|
f6609ef3fc
[ travis ] Updated Stackage LTS (9.20 -> 9.21).
|
пре 6 година |
 Nils Anders Danielsson
|
d609d39636
[ #2957 ] Added support for async 2.2.*.
|
пре 6 година |
|
Andrés Sicard-Ramírez
|
8359810279
[ travis ] Updated Stackage LTS (9.12 -> 9.20).
|
пре 7 година |
|
Andrés Sicard-Ramírez
|
0d9871380f
[ travis ] Updated Stackage LTS (9.4 -> 9.12).
|
пре 7 година |
|
Andrés Sicard-Ramírez
|
f5b1b95946
[ fixed #2692 ] Removed support for GHC 7.8.4.
|
пре 7 година |
|
Andrés Sicard-Ramírez
|
bb83192ff3
Revert "[ #2745] Relaxed upper bound version for hashtables."
|
пре 7 година |
|
Andrés Sicard-Ramírez
|
e8af24a3f6
[ #2745] Relaxed upper bound version for hashtables.
|
пре 7 година |
|
Andrés Sicard-Ramírez
|
f845e436a5
[ closed #2738 ] Bumped LTS (9.1 -> 9.4).
|
пре 7 година |
|
Andrés Sicard-Ramírez
|
c1463eb6b2
[ stackage ] Supported LTS 9.1.
|
пре 7 година |
|
Andrés Sicard-Ramírez
|
018394d4b2
[ fixed #2539 ] Required cpphs 1.20.8. (#2624)
|
пре 7 година |
|
Andrés Sicard-Ramírez
|
97dc9df8c3
Updated Stackage LTS (8.5 -> 8.10).
|
пре 7 година |
