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
Dan Burton
782e48b473
Merge pull request #7811 from Bodigrim/patch-7
...
Remove upper bound for hackage-revdeps
2025-07-31 14:38:18 -07:00
Dan Burton
73d959c477
Revert "Reapply "try expecting ANum tests to pass, again""
...
This reverts commit 01803a98e5
2025-07-30 17:00:16 -07:00
Dan Burton
01803a98e5
Reapply "try expecting ANum tests to pass, again"
...
This reverts commit 02866a1ef8
2025-07-30 16:35:41 -07:00
ˌbodʲɪˈɡrʲim
f0b1732309
Remove upper bound for hackage-revdeps
2025-07-30 23:30:47 +01:00
Dan Burton
02866a1ef8
Revert "try expecting ANum tests to pass, again"
...
This reverts commit 861e7911f7
2025-07-30 14:50:48 -07:00
Dan Burton
861e7911f7
try expecting ANum tests to pass, again
2025-07-30 14:29:12 -07:00
Jens Petersen
e7f7928e45
CURATORS.md: some commenter clarifications
2025-07-30 21:31:44 +08:00
Jens Petersen
5d59787a3f
dataframe < 0.3.0.1 ( #7810 )
...
fixup of 11c261f2
2025-07-30 21:12:57 +08:00
Jens Petersen
d15431d883
docker image: add libgtksourceview-3.0, libjavascriptcoregtk-4.0, libsoup2.4
2025-07-30 21:00:49 +08:00
Jens Petersen
11c261f2fd
statistics < 0.16.3 ( #7810 ) for dataframe
2025-07-30 21:00:49 +08:00
Jens Petersen
bacc3c249f
pandoc-lua-engine was revised for hslua-2.4 ( closes #7784 )
2025-07-30 21:00:49 +08:00
Jens Petersen
fdf7d7e529
Merge pull request #7807 from andreasabel/GLUT
...
Reenable GLUT and its dependants
2025-07-30 20:53:06 +08:00
Alexey Zabelin
2e636b5c09
Expect test failure for ANum, #7809
2025-07-25 12:42:35 -07:00
Andreas Abel
9fc980b370
Reenable GLUT and its dependants
...
See issue #7806 .
2025-07-25 10:30:00 +02:00
Alexey Zabelin
5a7ecc4f87
Merge pull request #7808 from YoshikuniJujo/master
...
reenable typecheck-plugin-nat-simple and ranged-list
2025-07-24 23:16:06 -07:00
Alexey Zabelin
19edcbc6da
Merge pull request #7803 from mpilgrem/pilgrem
...
Add crypton-asn1-encoding, crypton-asn1-parse, time-hourglass
2025-07-24 23:15:43 -07:00
Alexey Zabelin
d7a1ffa9b0
Merge pull request #7805 from LaurentRDC/patch-2
...
Notify LaurentRDC for beam-* related things
2025-07-24 23:14:38 -07:00
Alexey Zabelin
5b10fcb9f9
Merge pull request #7804 from andreasabel/goldplate
...
Reenable goldplate
2025-07-24 23:14:14 -07:00
