Taylor Fausak
f5bca4664c
Add heck ( #7825 )
2025-08-21 00:50:53 -07:00
Mihai Maruseac
fbc305b3a6
Add the note about removing packages that hold newer versions of other packages
...
Signed-off-by: Mihai Maruseac <mihai.maruseac@gmail.com>
2025-08-09 09:49:22 -08:00
Mihai Maruseac
4d5473250d
s/strive/aim/g ( #7824 )
...
Signed-off-by: Mihai Maruseac <mihai.maruseac@gmail.com>
2025-08-20 00:39:42 -07:00
Jens Petersen
35af957868
README.md: refresh the package maintainer provisions ( #7820 )
...
[skip ci]
2025-08-20 00:32:58 -07:00
Mihai Maruseac
ea2d2d13d7
Add an upper bound to saturn ( #7823 )
...
Signed-off-by: Mihai Maruseac <mihai.maruseac@gmail.com>
2025-08-19 22:40:29 -07:00
Jens Petersen
6879872feb
remove my pdc: no longer useful
...
also marked it deprecated in Hackage
[skip ci]
2025-08-18 18:33:25 +08:00
Jens Petersen
862b311468
expected-test-failures: order jsaddle correctly
...
[skip ci]
2025-08-18 15:58:55 +08:00
Jens Petersen
c61299d5d8
jose < 0.12 ( #7822 )
2025-08-18 13:38:03 +08:00
Jens Petersen
327cc2b4e8
run-nightly.sh: append date to completed msg
2025-08-18 10:06:30 +08:00
Jens Petersen
3cc7a3c4ad
disable sydtest-webdriver & sydtest-webdriver-screenshot ( NorfairKing/sydtest#112 )
...
fail to build with webdriver-0.13
2025-08-18 10:03:17 +08:00
Jens Petersen
dc207b1712
allow webdriver-0.13 by disabling hspec-webdriver ( closes #7817 )
...
https://github.com/dfordivam/hspec-webdriver-clone/issues/5
2025-08-18 09:38:27 +08:00
Jens Petersen
39306cb7ae
Merge pull request #7821 from gtollini/patch-4
...
Removing `webdriver-wrapper`
2025-08-18 09:20:11 +08:00
Gabriel Tollini
7b89ccdaf3
Removing webdriver-wrapper
...
The `webdriver-wrapper` library was made redundant by `webdriver` upgrades.
2025-08-17 19:01:45 -03:00
Jens Petersen
636be154a0
run-nightly.sh: output completion message
...
[skip ci]
2025-08-17 23:53:11 +08:00
Jens Petersen
5042f73b57
Revert "keep happy at 2.1.6 until happy-lib-2.1.7" ( haskell/happy#343 )
...
This reverts commit b2426a5653
2025-08-17 18:40:27 +08:00
Jens Petersen
dbc09f8c80
build.sh: try to disable hackage distro upload for lts-22 & 23
...
to prevent overwriting lts-24 data
2025-08-17 18:38:23 +08:00
Jens Petersen
006ce47787
README.md: stackage.org/#about
...
[skip ci]
2025-08-17 14:04:34 +08:00
Jens Petersen
20de730626
README.md: tweak stack via stackage
2025-08-17 14:03:08 +08:00
Jens Petersen
a3081ed82d
README.md: update stackage-server repo url
...
[skip-ci]
2025-08-17 13:57:15 +08:00
Jens Petersen
b2426a5653
keep happy at 2.1.6 until happy-lib-2.1.7 is released ( haskell/happy#343 )
2025-08-17 13:15:43 +08:00
Jens Petersen
f9426cda3b
liquid-fixpoint testsuite fails outside git ( ucsd-progsys/liquid-fixpoint#760 )
2025-08-16 21:36:57 +08:00
Jens Petersen
330ae18d01
Revert "allow webdriver-0.13 by disabling webdriver-wrapper ( #7817 )"
...
since hspec-webdriver fails to build (dfordivam/hspec-webdriver-clone#5 )
This reverts commit 4f94221430
2025-08-16 21:09:51 +08:00
Jens Petersen
911f07da92
webdriver testsuite needs nix ( #7817 )
2025-08-16 20:17:28 +08:00
Jens Petersen
2600e2dd52
add cvc5 for liquid-fixpoint tests ( #7819 )
2025-08-16 17:44:00 +08:00
Jens Petersen
4f94221430
allow webdriver-0.13 by disabling webdriver-wrapper ( #7817 )
...
See also https://github.com/gtollini/webdriver-wrapper/issues/2
2025-08-16 17:22:38 +08:00
Jens Petersen
e37286cede
fixup build.sh: try skipping the curator/stack --version run
2025-08-16 16:51:00 +08:00
Jens Petersen
fa6fd006ab
docker image: drop ubuntu's older z3 in favor of upstream for now ( #7819 )
...
Since grisette tests need z3-4.12 or later
2025-08-16 16:28:13 +08:00
Jens Petersen
906381b200
docker image: switch to ubuntu's erlang ( kofigumbs/codec-beam#49 )
...
Looks like Ericsson dropped Bionic support
2025-08-16 16:14:23 +08:00
Jens Petersen
5959893411
use liquid-fixpoint < 8.10.7, which is deprecated ( #7819 )
2025-08-16 15:52:24 +08:00
Jens Petersen
ed22b9fb93
docker image: fixup libjavascriptcoregtk-4
2025-08-16 15:44:48 +08:00
Jens Petersen
4955025a40
build.sh: try skipping the curator/stack --version run
2025-08-16 15:39:40 +08:00
Jens Petersen
e3543e25f0
Merge pull request #7819 from ulysses4ever/liquidhaskell-nightly
...
re-enable liquidhaskell
2025-08-16 15:37:29 +08:00
Jens Petersen
099b34fcd8
grisette < 0 ( lsrcz/grisette#307 )
2025-08-16 13:29:03 +08:00
Artem Pelenitsyn
5162c88b90
re-enable liquidhaskell
2025-08-15 13:36:47 -04:00
Jens Petersen
b837951b25
sandwich-webdriver < 0.4 ( #7817 )
2025-08-13 21:55:40 +08:00
Jens Petersen
2cee3a8377
webdriver < 0.13 ( #7817 )
2025-08-13 19:24:23 +08:00
Jens Petersen
4be0a2865e
enable bugzilla-redhat and fbrnch
2025-08-12 19:25:50 +08:00
Jens Petersen
bd37f5e31d
Merge pull request #7816 from dschrempf/elynx-0.9
...
elynx: build errors should be fixed in 0.9.0.0
2025-08-12 12:30:07 +08:00
Jens Petersen
91cca2e2eb
re-disable tasty-sugar since it needs kvitable ( kquick/kvitable#7 )
2025-08-11 17:19:42 +08:00
Jens Petersen
d1edf1ccde
quickcheck-state-machine < 0 ( stevana/quickcheck-state-machine#55 )
2025-08-11 17:06:57 +08:00
Dominik Schrempf
791313352d
elynx: build errors should be fixed in 0.9.0.0
...
adpated to random 1.3
2025-08-11 09:38:37 +02:00
Jens Petersen
00096aa01e
mass bounds refresh with commenter
2025-08-11 14:46:44 +08:00
Jens Petersen
b7d3750e63
Revert "HPDF < 1.8 ( #7815 )"
...
This reverts commit 8c6b534845
2025-08-11 14:37:51 +08:00
Jens Petersen
8c6b534845
HPDF < 1.8 ( #7815 )
2025-08-11 14:25:03 +08:00
Jens Petersen
aa7eb50a83
Merge pull request #7814 from ysangkok/postgresql-simple
...
Re-enable postgresql-simple
2025-08-06 20:39:30 +08:00
Janus Troelsen
1a1451dade
Re-enable postgresql-simple
2025-08-05 09:31:37 -06:00
Jens Petersen
c7b9cc3d3a
Merge pull request #7813 from sternenseemann/filepath-bytestring-1.5.2.0.3
...
Reenable filepath-bytestring
2025-08-05 17:12:05 +08:00
Jens Petersen
93d8cf434a
Merge pull request #7812 from mitchellwrosen/patch-25
...
Add back strict-tuple
2025-08-05 17:10:52 +08:00
sternenseemann
600caef3d2
Reenable filepath-bytestring
...
filepath 1.5.2.0.3 adds support for base and filepath of GHC 9.12.
Unfortunately I've missed that QuickCheck 2.16 has been released, so I
didn't submit a constraint relaxing patch for that, but I'll do that
soon.
I haven't been able to use verify-package with these changes, but
./check agrees that the bounds are okay.
2025-08-04 19:25:19 +02:00
Mitchell Dalvi Rosen
d297cbef40
Add back strict-tuple
2025-08-03 18:37:55 -04:00
