From d84f92e04b17a17a8f1598e66b08e2998075e4cd Mon Sep 17 00:00:00 2001 From: Andreas Abel Date: Sat, 2 Apr 2022 21:04:36 +0200 Subject: [PATCH] Reenable Agda Agda-2.6.2.2 is compatible with the nightly snapshot (bytstring-0.11.3). --- build-constraints.yaml | 1 - 1 file changed, 1 deletion(-) diff --git a/build-constraints.yaml b/build-constraints.yaml index 38f07c4e..c1fc782f 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -5531,7 +5531,6 @@ packages: # verify if they have been fixeq. "Library and exe bounds failures": - ALUT < 0 # tried ALUT-2.4.0.3, but its *library* requires the disabled package: OpenAL - - Agda < 0 # tried Agda-2.6.2.1, but its *library* does not support: bytestring-0.11.3.0 - BiobaseENA < 0 # tried BiobaseENA-0.0.0.2, but its *library* requires the disabled package: BiobaseTypes - BiobaseFasta < 0 # tried BiobaseFasta-0.4.0.1, but its *library* requires the disabled package: streaming-bytestring - BiobaseHTTP < 0 # tried BiobaseHTTP-1.2.0, but its *library* does not support: network-3.1.2.7