···125125126126## Writing Agda packages {#writing-agda-packages}
127127128128-To write a nix derivation for an Agda library, first check that the library has a `*.agda-lib` file.
128128+To write a nix derivation for an Agda library, first check that the library has a (single) `*.agda-lib` file.
129129130130A derivation can then be written using `agdaPackages.mkDerivation`. This has similar arguments to `stdenv.mkDerivation` with the following additions:
131131132132-* `everythingFile` can be used to specify the location of the `Everything.agda` file, defaulting to `./Everything.agda`. If this file does not exist then either it should be patched in or the `buildPhase` should be overridden (see below).
133132* `libraryName` should be the name that appears in the `*.agda-lib` file, defaulting to `pname`.
134133* `libraryFile` should be the file name of the `*.agda-lib` file, defaulting to `${libraryName}.agda-lib`.
135134···150149151150### Building Agda packages {#building-agda-packages}
152151153153-The default build phase for `agdaPackages.mkDerivation` runs `agda` on the `Everything.agda` file.
152152+The default build phase for `agdaPackages.mkDerivation` runs `agda --build-library`.
154153If something else is needed to build the package (e.g. `make`) then the `buildPhase` should be overridden.
155155-Additionally, a `preBuild` or `configurePhase` can be used if there are steps that need to be done prior to checking the `Everything.agda` file.
154154+Additionally, a `preBuild` or `configurePhase` can be used if there are steps that need to be done prior to checking the library.
156155`agda` and the Agda libraries contained in `buildInputs` are made available during the build phase.
157156158157### Installing Agda packages {#installing-agda-packages}
···180179181180### Adding Agda packages to Nixpkgs {#adding-agda-packages-to-nixpkgs}
182181183183-To add an Agda package to `nixpkgs`, the derivation should be written to `pkgs/development/libraries/agda/${library-name}/` and an entry should be added to `pkgs/top-level/agda-packages.nix`. Here it is called in a scope with access to all other Agda libraries, so the top line of the `default.nix` can look like:
182182+To add an Agda package to `nixpkgs`, the derivation should be written to `pkgs/development/libraries/agda/${library-name}/default.nix` and an entry should be added to `pkgs/top-level/agda-packages.nix`. Here it is called in a scope with access to all other Agda libraries, so the derivation could look like:
184183185184```nix
186185{
···188187 standard-library,
189188 fetchFromGitHub,
190189}:
191191-{ }
192192-```
193190194194-Note that the derivation function is called with `mkDerivation` set to `agdaPackages.mkDerivation`, therefore you
195195-could use a similar set as in your `default.nix` from [Writing Agda Packages](#writing-agda-packages) with
196196-`agdaPackages.mkDerivation` replaced with `mkDerivation`.
197197-198198-Here is an example skeleton derivation for iowa-stdlib:
199199-200200-```nix
201191mkDerivation {
202202- version = "1.5.0";
203203- pname = "iowa-stdlib";
204204-192192+ pname = "my-library";
193193+ version = "1.0";
205194 src = <...>;
206206-207207- libraryFile = "";
208208- libraryName = "IAL-1.3";
209209-210210- buildPhase = ''
211211- runHook preBuild
212212-213213- patchShebangs find-deps.sh
214214- make
215215-216216- runHook postBuild
217217- '';
195195+ buildInputs = [ standard-library ];
196196+ meta = <...>;
218197}
219198```
220199221221-This library has a file called `.agda-lib`, and so we give an empty string to `libraryFile` as nothing precedes `.agda-lib` in the filename. This file contains `name: IAL-1.3`, and so we let `libraryName = "IAL-1.3"`. This library does not use an `Everything.agda` file and instead has a Makefile, so there is no need to set `everythingFile` and we set a custom `buildPhase`.
200200+You can look at other files under `pkgs/development/libraries/agda/` for more inspiration.
201201+202202+Note that the derivation function is called with `mkDerivation` set to `agdaPackages.mkDerivation`, therefore you
203203+could use a similar set as in your `default.nix` from [Writing Agda Packages](#writing-agda-packages) with
204204+`agdaPackages.mkDerivation` replaced with `mkDerivation`.
222205223206When writing an Agda package it is essential to make sure that no `.agda-lib` file gets added to the store as a single file (for example by using `writeText`). This causes Agda to think that the nix store is a Agda library and it will attempt to write to it whenever it typechecks something. See [https://github.com/agda/agda/issues/4613](https://github.com/agda/agda/issues/4613).
224207···226209you can test whether it builds correctly by writing in a comment:
227210228211```
229229-@ofborg build agdaPackages.iowa-stdlib
212212+@ofborg build agdaPackages.my-library
230213```
231214232215### Maintaining Agda packages {#agda-maintaining-packages}
+1-7
maintainers/scripts/haskell/merge-and-open-pr.sh
···8080gh pr merge --repo NixOS/nixpkgs --merge "$curr_haskell_updates_pr_num"
81818282# Update stackage, Hackage hashes, and regenerate Haskell package set
8383-echo "Updating Stackage..."
8484-./maintainers/scripts/haskell/update-stackage.sh --do-commit
8585-echo "Updating Hackage hashes..."
8686-./maintainers/scripts/haskell/update-hackage.sh --do-commit
8787-echo "Regenerating Hackage packages..."
8888-# Using fast here because after the hackage-update eval errors will likely break the transitive dependencies check.
8989-./maintainers/scripts/haskell/regenerate-hackage-packages.sh --fast --do-commit
8383+./maintainers/scripts/haskell/update-package-set.sh
90849185# Push these new commits to the haskell-updates branch
9286echo "Pushing commits just created to the remote $push_remote/haskell-updates branch..."
···107107if [[ "$DO_COMMIT" -eq 1 ]]; then
108108git add pkgs/development/haskell-modules/configuration-hackage2nix/transitive-broken.yaml
109109git add pkgs/development/haskell-modules/hackage-packages.nix
110110-git commit -F - << EOF
110110+git commit --edit -F - << EOF
111111haskellPackages: regenerate package set based on current config
112112113113-This commit has been generated by maintainers/scripts/haskell/regenerate-hackage-packages.sh
113113+(generated by maintainers/scripts/haskell/regenerate-hackage-packages.sh)
114114EOF
115115fi
116116
+31-10
maintainers/scripts/haskell/update-hackage.sh
···11#! /usr/bin/env nix-shell
22#! nix-shell -i bash -p curl jq git gnused -I nixpkgs=.
33-44-# See regenerate-hackage-packages.sh for details on the purpose of this script.
33+#
44+# SYNOPSIS
55+#
66+# Update Hackage index and hashes data exposed via pkgs.all-cabal-hashes.
77+#
88+# DESCRIPTION
99+#
1010+# Find latest revision of the commercialhaskell/all-cabal-hashes repository's
1111+# hackage branch and update pkgs/data/misc/hackage/pin.json accordingly.
1212+#
1313+# This data is used by hackage2nix to generate hackage-packages.nix. Since
1414+# hackage2nix uses the latest version of a package unless an explicit
1515+# constraint is configured, running this script indirectly updates packages
1616+# (when hackage2nix is executed afterwards).
1717+#
1818+# Prints a version difference to stdout if the pin has been updated, nothing
1919+# otherwise.
2020+#
2121+# EXIT STATUS
2222+#
2323+# Always exit with zero (even if nothing changed) unless there was an error.
524625set -euo pipefail
7262727+if [[ "${1:-}" == "--do-commit" ]]; then
2828+ echo "$0: --do-commit is no longer supported. Use update-package-set.sh instead."
2929+ exit 100
3030+fi
3131+832pin_file=pkgs/data/misc/hackage/pin.json
933current_commit="$(jq -r .commit $pin_file)"
1034old_date="$(jq -r .msg $pin_file | sed 's/Update from Hackage at //')"
···1438new_date="$(echo "$commit_msg" | sed 's/Update from Hackage at //')"
15391640if [ "$current_commit" != "$head_commit" ]; then
4141+ echo "Updating all-cabal-hashes from $old_date to $new_date" >&2
1742 url="https://github.com/commercialhaskell/all-cabal-hashes/archive/$head_commit.tar.gz"
1843 hash="$(nix-prefetch-url "$url")"
1944 jq -n \
···2348 --arg commit_msg "$commit_msg" \
2449 '{commit: $commit, url: $url, sha256: $hash, msg: $commit_msg}' \
2550 > $pin_file
5151+else
5252+ echo "No new all-cabal-hashes version" >&2
5353+ exit 0
2654fi
27552828-if [[ "${1:-}" == "--do-commit" ]]; then
2929-git add pkgs/data/misc/hackage/pin.json
3030-git commit -F - << EOF
3131-all-cabal-hashes: $old_date -> $new_date
3232-3333-This commit has been generated by maintainers/scripts/haskell/update-hackage.sh
3434-EOF
3535-fi
5656+echo "$old_date -> $new_date"
+53
maintainers/scripts/haskell/update-package-set.sh
···11+#! /usr/bin/env nix-shell
22+#! nix-shell -i bash
33+#! nix-shell -p git -I nixpkgs=.
44+set -euo pipefail
55+66+filesToStage=(
77+ 'pkgs/data/misc/hackage/pin.json'
88+ 'pkgs/development/haskell-modules/configuration-hackage2nix/stackage.yaml'
99+ 'pkgs/development/haskell-modules/hackage-packages.nix'
1010+)
1111+1212+if ! git diff --quiet --cached; then
1313+ echo "Please commit staged changes before running $0" >&2
1414+ exit 100
1515+fi
1616+1717+if ! git diff --quiet -- "${filesToStage[@]}"; then
1818+ echo -n "Please commit your changes to the following files before running $0: " >&2
1919+ echo "${filesToStage[@]}" >&2
2020+ exit 100
2121+fi
2222+2323+stackage_diff="$(./maintainers/scripts/haskell/update-stackage.sh)"
2424+hackage_diff="$(./maintainers/scripts/haskell/update-hackage.sh)"
2525+readonly stackage_diff hackage_diff
2626+2727+# Prefer Stackage version diff in the commit header, fall back to Hackage
2828+if [[ -n "$stackage_diff" ]]; then
2929+ commit_message="haskellPackages: stackage $stackage_diff"
3030+ if [[ -n "$hackage_diff" ]]; then
3131+ commit_message="$commit_message
3232+3333+all-cabal-hashes: $hackage_diff"
3434+ fi
3535+elif [[ -n "$hackage_diff" ]]; then
3636+ commit_message="haskellPackages: hackage $hackage_diff
3737+3838+all-cabal-hashes: $hackage_diff"
3939+else
4040+ echo "Neither Hackage nor Stackage changed. Nothing to do." >&2
4141+ exit 0
4242+fi
4343+4444+commit_message="$commit_message
4545+4646+(generated by maintainers/scripts/haskell/update-package-set.sh)"
4747+4848+# Using fast here because after the hackage-update eval errors will likely break the transitive dependencies check.
4949+./maintainers/scripts/haskell/regenerate-hackage-packages.sh --fast
5050+5151+# A --do-commit flag probably doesn't make much sense
5252+git add -- "${filesToStage[@]}"
5353+git commit -m "$commit_message"
+30-10
maintainers/scripts/haskell/update-stackage.sh
···11#! /usr/bin/env nix-shell
22#! nix-shell -i bash -p curl jq git gnused gnugrep -I nixpkgs=.
33# shellcheck shell=bash
44+#
55+# SYNOPSIS
66+#
77+# Update version constraints in hackage2nix config file from Stackage.
88+#
99+# DESCRIPTION
1010+#
1111+# Fetches the latest snapshot of the configured Stackage solver which is
1212+# configured via the SOLVER (either LTS or Nightly) and VERSION variables in
1313+# the script.
1414+#
1515+# VERSION is only applicable if SOLVER is LTS. SOLVER=LTS and VERSION=22
1616+# will cause update-stackage.sh to fetch the latest LTS-22.XX version.
1717+# If empty, the latest version of the solver is used.
1818+#
1919+# If the configuration file has been updated, update-stackage.sh prints a
2020+# version difference to stdout, e.g. 23.11 -> 23.13. Otherwise, stdout remains
2121+# empty.
2222+#
2323+# EXIT STATUS
2424+#
2525+# Always exit with zero (even if nothing changed) unless there was an error.
426527set -eu -o pipefail
2828+2929+if [[ "${1:-}" == "--do-commit" ]]; then
3030+ echo "$0: --do-commit is no longer supported. Use update-package-set.sh instead."
3131+ exit 100
3232+fi
633734# Stackage solver to use, LTS or Nightly
835# (should be capitalized like the display name)
···3158version="$SOLVER $(sed -rn "s/^--.*http:..(www.)?stackage.org.snapshot.$(toLower "$SOLVER")-//p" "$tmpfile")"
32593360if [[ "$old_version" == "$version" ]]; then
3434- echo "No new stackage version"
6161+ echo "No new stackage version" >&2
3562 exit 0 # Nothing to do
3663fi
37643838-echo "Updating Stackage from $old_version to $version."
6565+echo "Updating Stackage from $old_version to $version." >&2
39664067# Create a simple yaml version of the file.
4168sed -r \
···78105# ShellCheck: latest version of command-line dev tool.
79106# Agda: The Agda community is fast-moving; we strive to always include the newest versions of Agda and the Agda packages in nixpkgs.
801078181-if [[ "${1:-}" == "--do-commit" ]]; then
8282-git add $stackage_config
8383-git commit -F - << EOF
8484-haskellPackages: stackage $old_version -> $version
8585-8686-This commit has been generated by maintainers/scripts/haskell/update-stackage.sh
8787-EOF
8888-fi
108108+echo "$old_version -> $version"
···6868 || (stdenv.hostPlatform != stdenv.targetPlatform)
6969 ),
70707171+ # Enable NUMA support in RTS
7272+ enableNuma ? lib.meta.availableOn stdenv.targetPlatform numactl,
7373+ numactl,
7474+7175 # What flavour to build. An empty string indicates no
7276 # specific flavour and falls back to ghc default values.
7377 ghcFlavour ? lib.optionalString (stdenv.targetPlatform != stdenv.hostPlatform) (
···261265 gmp
262266 libffi
263267 ncurses
268268+ numactl
264269 ;
265270 };
266271···296301 stripLen = 1;
297302 extraPrefix = "libraries/unix/";
298303 })
299299- ]
300300- ++ lib.optionals (lib.versionOlder version "9.4") [
301301- # fix hyperlinked haddock sources: https://github.com/haskell/haddock/pull/1482
302302- (fetchpatch {
303303- url = "https://patch-diff.githubusercontent.com/raw/haskell/haddock/pull/1482.patch";
304304- sha256 = "sha256-8w8QUCsODaTvknCDGgTfFNZa8ZmvIKaKS+2ZJZ9foYk=";
305305- extraPrefix = "utils/haddock/";
306306- stripLen = 1;
307307- })
308308- ]
309304310310- ++ lib.optionals (lib.versionOlder version "9.4.6") [
311311- # Fix docs build with sphinx >= 6.0
312312- # https://gitlab.haskell.org/ghc/ghc/-/issues/22766
313313- (fetchpatch {
314314- name = "ghc-docs-sphinx-6.0.patch";
315315- url = "https://gitlab.haskell.org/ghc/ghc/-/commit/10e94a556b4f90769b7fd718b9790d58ae566600.patch";
316316- sha256 = "0kmhfamr16w8gch0lgln2912r8aryjky1hfcda3jkcwa5cdzgjdv";
317317- })
318318- ]
319319-320320- ++ [
321305 # Fix docs build with Sphinx >= 7 https://gitlab.haskell.org/ghc/ghc/-/issues/24129
322306 ./docs-sphinx-7.patch
323323- ]
324307325325- ++ lib.optionals (lib.versionOlder version "9.2.2") [
326326- # Add flag that fixes C++ exception handling; opt-in. Merged in 9.4 and 9.2.2.
327327- # https://gitlab.haskell.org/ghc/ghc/-/merge_requests/7423
328328- (fetchpatch {
329329- name = "ghc-9.0.2-fcompact-unwind.patch";
330330- # Note that the test suite is not packaged.
331331- url = "https://gitlab.haskell.org/ghc/ghc/-/commit/c6132c782d974a7701e7f6447bdcd2bf6db4299a.patch?merge_request_iid=7423";
332332- sha256 = "sha256-b4feGZIaKDj/UKjWTNY6/jH4s2iate0wAgMxG3rAbZI=";
333333- })
334334- ]
335335-336336- ++ lib.optionals (lib.versionAtLeast version "9.2") [
337337- # Don't generate code that doesn't compile when --enable-relocatable is passed to Setup.hs
338338- # Can be removed if the Cabal library included with ghc backports the linked fix
339339- (fetchpatch {
340340- url = "https://github.com/haskell/cabal/commit/6c796218c92f93c95e94d5ec2d077f6956f68e98.patch";
341341- stripLen = 1;
342342- extraPrefix = "libraries/Cabal/";
343343- sha256 = "sha256-yRQ6YmMiwBwiYseC5BsrEtDgFbWvst+maGgDtdD0vAY=";
344344- })
345345- ]
346346-347347- ++ lib.optionals (version == "9.4.6") [
348348- # Work around a type not being defined when including Rts.h in bytestring's cbits
349349- # due to missing feature macros. See https://gitlab.haskell.org/ghc/ghc/-/issues/23810.
350350- ./9.4.6-bytestring-posix-source.patch
351351- ]
352352-353353- ++ lib.optionals (stdenv.targetPlatform.isDarwin && stdenv.targetPlatform.isAarch64) [
354354- # Prevent the paths module from emitting symbols that we don't use
355355- # when building with separate outputs.
356356- #
357357- # These cause problems as they're not eliminated by GHC's dead code
358358- # elimination on aarch64-darwin. (see
359359- # https://github.com/NixOS/nixpkgs/issues/140774 for details).
308308+ # Correctly record libnuma's library and include directories in the
309309+ # package db. This fixes linking whenever stdenv and propagation won't
310310+ # quite pass the correct -L flags to the linker, e.g. when using GHC
311311+ # outside of stdenv/nixpkgs or build->build compilation in pkgsStatic.
360312 (
361361- if lib.versionAtLeast version "9.2" then
362362- ./Cabal-at-least-3.6-paths-fix-cycle-aarch64-darwin.patch
313313+ if lib.versionAtLeast version "9.4" then
314314+ ./ghc-9.4-rts-package-db-libnuma-dirs.patch
363315 else
364364- ./Cabal-3.2-3.4-paths-fix-cycle-aarch64-darwin.patch
316316+ ./ghc-8.10-9.2-rts-package-db-libnuma-dirs.patch
365317 )
366366- ]
367367-368368- # Fixes stack overrun in rts which crashes an process whenever
369369- # freeHaskellFunPtr is called with nixpkgs' hardening flags.
370370- # https://gitlab.haskell.org/ghc/ghc/-/issues/25485
371371- # https://gitlab.haskell.org/ghc/ghc/-/merge_requests/13599
372372- # TODO: patch doesn't apply for < 9.4, but may still be necessary?
373373- ++ lib.optionals (lib.versionAtLeast version "9.4") [
374374- (fetchpatch {
375375- name = "ghc-rts-adjustor-fix-i386-stack-overrun.patch";
376376- url = "https://gitlab.haskell.org/ghc/ghc/-/commit/39bb6e583d64738db51441a556d499aa93a4fc4a.patch";
377377- sha256 = "0w5fx413z924bi2irsy1l4xapxxhrq158b5gn6jzrbsmhvmpirs0";
378378- })
379318 ]
380319381320 # Before GHC 9.6, GHC, when used to compile C sources (i.e. to drive the CC), would first
···414353 [
415354 # TODO(@sternenseemann): backport changes to GHC < 9.4 if possible
416355 ]
417417- );
356356+ )
357357+358358+ ++ lib.optionals (lib.versionAtLeast version "9.2") [
359359+ # Don't generate code that doesn't compile when --enable-relocatable is passed to Setup.hs
360360+ # Can be removed if the Cabal library included with ghc backports the linked fix
361361+ (fetchpatch {
362362+ url = "https://github.com/haskell/cabal/commit/6c796218c92f93c95e94d5ec2d077f6956f68e98.patch";
363363+ stripLen = 1;
364364+ extraPrefix = "libraries/Cabal/";
365365+ sha256 = "sha256-yRQ6YmMiwBwiYseC5BsrEtDgFbWvst+maGgDtdD0vAY=";
366366+ })
367367+ ]
368368+369369+ ++ lib.optionals (lib.versionOlder version "9.2.2") [
370370+ # Add flag that fixes C++ exception handling; opt-in. Merged in 9.4 and 9.2.2.
371371+ # https://gitlab.haskell.org/ghc/ghc/-/merge_requests/7423
372372+ (fetchpatch {
373373+ name = "ghc-9.0.2-fcompact-unwind.patch";
374374+ # Note that the test suite is not packaged.
375375+ url = "https://gitlab.haskell.org/ghc/ghc/-/commit/c6132c782d974a7701e7f6447bdcd2bf6db4299a.patch?merge_request_iid=7423";
376376+ sha256 = "sha256-b4feGZIaKDj/UKjWTNY6/jH4s2iate0wAgMxG3rAbZI=";
377377+ })
378378+ ]
379379+380380+ # fix hyperlinked haddock sources: https://github.com/haskell/haddock/pull/1482
381381+ ++ lib.optionals (lib.versionOlder version "9.4") [
382382+ (fetchpatch {
383383+ url = "https://patch-diff.githubusercontent.com/raw/haskell/haddock/pull/1482.patch";
384384+ sha256 = "sha256-8w8QUCsODaTvknCDGgTfFNZa8ZmvIKaKS+2ZJZ9foYk=";
385385+ extraPrefix = "utils/haddock/";
386386+ stripLen = 1;
387387+ })
388388+ ]
389389+390390+ # Fixes stack overrun in rts which crashes an process whenever
391391+ # freeHaskellFunPtr is called with nixpkgs' hardening flags.
392392+ # https://gitlab.haskell.org/ghc/ghc/-/issues/25485
393393+ # https://gitlab.haskell.org/ghc/ghc/-/merge_requests/13599
394394+ # TODO: patch doesn't apply for < 9.4, but may still be necessary?
395395+ ++ lib.optionals (lib.versionAtLeast version "9.4") [
396396+ (fetchpatch {
397397+ name = "ghc-rts-adjustor-fix-i386-stack-overrun.patch";
398398+ url = "https://gitlab.haskell.org/ghc/ghc/-/commit/39bb6e583d64738db51441a556d499aa93a4fc4a.patch";
399399+ sha256 = "0w5fx413z924bi2irsy1l4xapxxhrq158b5gn6jzrbsmhvmpirs0";
400400+ })
401401+ ]
402402+403403+ ++ lib.optionals (lib.versionOlder version "9.4.6") [
404404+ # Fix docs build with sphinx >= 6.0
405405+ # https://gitlab.haskell.org/ghc/ghc/-/issues/22766
406406+ (fetchpatch {
407407+ name = "ghc-docs-sphinx-6.0.patch";
408408+ url = "https://gitlab.haskell.org/ghc/ghc/-/commit/10e94a556b4f90769b7fd718b9790d58ae566600.patch";
409409+ sha256 = "0kmhfamr16w8gch0lgln2912r8aryjky1hfcda3jkcwa5cdzgjdv";
410410+ })
411411+ ]
412412+413413+ ++ lib.optionals (version == "9.4.6") [
414414+ # Work around a type not being defined when including Rts.h in bytestring's cbits
415415+ # due to missing feature macros. See https://gitlab.haskell.org/ghc/ghc/-/issues/23810.
416416+ ./9.4.6-bytestring-posix-source.patch
417417+ ]
418418+419419+ ++ lib.optionals (stdenv.targetPlatform.isDarwin && stdenv.targetPlatform.isAarch64) [
420420+ # Prevent the paths module from emitting symbols that we don't use
421421+ # when building with separate outputs.
422422+ #
423423+ # These cause problems as they're not eliminated by GHC's dead code
424424+ # elimination on aarch64-darwin. (see
425425+ # https://github.com/NixOS/nixpkgs/issues/140774 for details).
426426+ (
427427+ if lib.versionAtLeast version "9.2" then
428428+ ./Cabal-at-least-3.6-paths-fix-cycle-aarch64-darwin.patch
429429+ else
430430+ ./Cabal-3.2-3.4-paths-fix-cycle-aarch64-darwin.patch
431431+ )
432432+ ];
418433419434 postPatch = "patchShebangs .";
420435···563578 ++ lib.optionals (disableLargeAddressSpace) [
564579 "--disable-large-address-space"
565580 ]
581581+ ++ lib.optionals enableNuma [
582582+ "--enable-numa"
583583+ "--with-libnuma-includes=${lib.getDev targetLibs.numactl}/include"
584584+ "--with-libnuma-libraries=${lib.getLib targetLibs.numactl}/lib"
585585+ ]
566586 ++ lib.optionals enableUnregisterised [
567587 "--enable-unregisterised"
568588 ];
···618638619639 buildInputs = [ bash ] ++ (libDeps hostPlatform);
620640621621- depsTargetTarget = map lib.getDev (libDeps targetPlatform);
622622- depsTargetTargetPropagated = map (lib.getOutput "out") (libDeps targetPlatform);
641641+ # stage1 GHC doesn't need to link against libnuma, so it's target specific
642642+ depsTargetTarget = map lib.getDev (
643643+ libDeps targetPlatform ++ lib.optionals enableNuma [ targetLibs.numactl ]
644644+ );
645645+ depsTargetTargetPropagated = map (lib.getOutput "out") (
646646+ libDeps targetPlatform ++ lib.optionals enableNuma [ targetLibs.numactl ]
647647+ );
623648624649 # required, because otherwise all symbols from HSffi.o are stripped, and
625650 # that in turn causes GHCi to abort
···117117 "haskell-language-server has dropped support for ghc 9.0 in version 2.4.0.0, please use a newer ghc version or an older nixpkgs version"
118118 (markBroken super.haskell-language-server);
119119120120+ # test suite depends on vcr since hpack >= 0.38.1 which requires GHC2021
121121+ hpack_0_38_1 = dontCheck super.hpack_0_38_1;
122122+120123 # Needs to use ghc-lib due to incompatible GHC
121124 ghc-tags = doDistribute self.ghc-tags_1_5;
122125
···1616 - AC-BuildPlatform # failure in job https://hydra.nixos.org/build/233219130 at 2023-09-02
1717 - AC-EasyRaster-GTK # failure in job https://hydra.nixos.org/build/233226232 at 2023-09-02
1818 - AC-HalfInteger # failure in job https://hydra.nixos.org/build/233239266 at 2023-09-02
1919+ - ac-library-hs # failure in job https://hydra.nixos.org/build/302800699 at 2025-07-27
1920 - ac-machine # failure in job https://hydra.nixos.org/build/233253535 at 2023-09-02
2021 - AC-MiniTest # failure in job https://hydra.nixos.org/build/233216015 at 2023-09-02
2122 - AC-Terminal # failure in job https://hydra.nixos.org/build/233192747 at 2023-09-02
···256257 - ascii-string # failure in job https://hydra.nixos.org/build/233249978 at 2023-09-02
257258 - ascii-vector-avc # failure in job https://hydra.nixos.org/build/233208533 at 2023-09-02
258259 - ascii85-conduit # failure in job https://hydra.nixos.org/build/233235427 at 2023-09-02
260260+ - ascii85x # failure in job https://hydra.nixos.org/build/302801241 at 2025-07-27
259261 - asciidiagram # failure in job https://hydra.nixos.org/build/233259020 at 2023-09-02
260262 - asif # failure in job https://hydra.nixos.org/build/233251551 at 2023-09-02
261263 - asil # failure in job https://hydra.nixos.org/build/233204081 at 2023-09-02
···313315 - auto # failure in job https://hydra.nixos.org/build/233211088 at 2023-09-02
314316 - auto-split # failure in job https://hydra.nixos.org/build/295091795 at 2025-04-22
315317 - autoapply # failure in job https://hydra.nixos.org/build/295091805 at 2025-04-22
318318+ - autodocodec-exact # failure in job https://hydra.nixos.org/build/302801281 at 2025-07-27
316319 - autom # failure in job https://hydra.nixos.org/build/234461198 at 2023-09-13
317320 - automata # failure in job https://hydra.nixos.org/build/295091890 at 2025-04-22
318321 - autonix-deps # failure in job https://hydra.nixos.org/build/233258269 at 2023-09-02
···326329 - avwx # failure in job https://hydra.nixos.org/build/233258167 at 2023-09-02
327330 - awesome-prelude # failure in job https://hydra.nixos.org/build/233232761 at 2023-09-02
328331 - awesomium-raw # failure in job https://hydra.nixos.org/build/233241036 at 2023-09-02
332332+ - aws-academy-grade-exporter # failure in job https://hydra.nixos.org/build/302801316 at 2025-07-27
329333 - aws-cloudfront-signed-cookies # failure in job https://hydra.nixos.org/build/252736035 at 2024-03-16
330334 - aws-cloudfront-signer # failure in job https://hydra.nixos.org/build/233194723 at 2023-09-02
331335 - aws-easy # failure building library in job https://hydra.nixos.org/build/237244335 at 2023-10-21
···375379 - base32-lens # failure in job https://hydra.nixos.org/build/233226670 at 2023-09-02
376380 - base58address # failure in job https://hydra.nixos.org/build/233221633 at 2023-09-02
377381 - base62 # failure in job https://hydra.nixos.org/build/233250040 at 2023-09-02
378378- - base64-bytes # failure in job https://hydra.nixos.org/build/295091866 at 2025-04-22
379382 - base64-conduit # failure in job https://hydra.nixos.org/build/233197196 at 2023-09-02
380383 - base64-lens # failure in job https://hydra.nixos.org/build/233252600 at 2023-09-02
381384 - based # failure in job https://hydra.nixos.org/build/233211900 at 2023-09-02
···515518 - bliplib # failure in job https://hydra.nixos.org/build/233195751 at 2023-09-02
516519 - blockchain # failure in job https://hydra.nixos.org/build/233245492 at 2023-09-02
517520 - blockhash # failure in job https://hydra.nixos.org/build/233227049 at 2023-09-02
521521+ - blockio-uring # failure in job https://hydra.nixos.org/build/302801498, https://github.com/well-typed/blockio-uring/issues/44 at 2025-07-27
522522+ - blockio-uring # https://github.com/well-typed/blockio-uring/issues/44, added 2025-07-27
518523 - Blogdown # failure in job https://hydra.nixos.org/build/233239841 at 2023-09-02
519524 - BlogLiterately # failure in job https://hydra.nixos.org/build/233202164 at 2023-09-02
520525 - bloodhound-amazonka-auth # failure building library in job https://hydra.nixos.org/build/237245625 at 2023-10-21
···718723 - Cassava # failure in job https://hydra.nixos.org/build/233245677 at 2023-09-02
719724 - cassava-conduit # failure in job https://hydra.nixos.org/build/233220495 at 2023-09-02
720725 - cassava-records # failure in job https://hydra.nixos.org/build/233259049 at 2023-09-02
721721- - cassette # failure in job https://hydra.nixos.org/build/233201251 at 2023-09-02
722726 - castle # failure in job https://hydra.nixos.org/build/233204027 at 2023-09-02
723727 - catamorphism # failure in job https://hydra.nixos.org/build/233208488 at 2023-09-02
724728 - Catana # failure in job https://hydra.nixos.org/build/233196550 at 2023-09-02
···726730 - category-printf # failure in job https://hydra.nixos.org/build/233216355 at 2023-09-02
727731 - category-traced # failure in job https://hydra.nixos.org/build/233193963 at 2023-09-02
728732 - catnplus # failure in job https://hydra.nixos.org/build/233241280 at 2023-09-02
733733+ - cauldron # failure in job https://hydra.nixos.org/build/302801682 at 2025-07-27
729734 - cautious-file # failure in job https://hydra.nixos.org/build/233218702 at 2023-09-02
730735 - cautious-gen # failure in job https://hydra.nixos.org/build/233258367 at 2023-09-02
731736 - cayene-lpp # failure in job https://hydra.nixos.org/build/233228959 at 2023-09-02
···871876 - cmph # failure in job https://hydra.nixos.org/build/233225766 at 2023-09-02
872877 - CMQ # failure in job https://hydra.nixos.org/build/233233168 at 2023-09-02
873878 - cmt # failure in job https://hydra.nixos.org/build/233233474 at 2023-09-02
874874- - co-log-concurrent # failure in job https://hydra.nixos.org/build/295092333 at 2025-04-22
875875- - co-log-json # failure in job https://hydra.nixos.org/build/295092337 at 2025-04-22
876879 - co-log-polysemy-formatting # failure building executable 'example' in job https://hydra.nixos.org/build/237249360 at 2023-10-21
877880 - co-log-sys # failure in job https://hydra.nixos.org/build/233206587 at 2023-09-02
878881 - cobot-tools # failure in job https://hydra.nixos.org/build/233259173 at 2023-09-02
···10151018 - contra-tracers # failure in job https://hydra.nixos.org/build/233197959 at 2023-09-02
10161019 - contracheck-applicative # failure in job https://hydra.nixos.org/build/233255104 at 2023-09-02
10171020 - Contract # failure in job https://hydra.nixos.org/build/233242103 at 2023-09-02
10181018- - control-block # failure in job https://hydra.nixos.org/build/295092490 at 2025-04-22
10191021 - control-dsl # failure in job https://hydra.nixos.org/build/233249037 at 2023-09-02
10201022 - control-iso # failure in job https://hydra.nixos.org/build/233229763 at 2023-09-02
10211023 - control-monad-failure # failure in job https://hydra.nixos.org/build/233240265 at 2023-09-02
···10241026 - contstuff-monads-tf # failure in job https://hydra.nixos.org/build/233224064 at 2023-09-02
10251027 - contstuff-transformers # failure in job https://hydra.nixos.org/build/233244153 at 2023-09-02
10261028 - conversion-bytestring # failure in job https://hydra.nixos.org/build/295092506 at 2025-04-22
10291029+ - convex-schema-parser # failure in job https://hydra.nixos.org/build/302801971 at 2025-07-27
10271030 - cookie-tray # failure in job https://hydra.nixos.org/build/295092527 at 2025-04-22
10281031 - cooklang-hs # failure in job https://hydra.nixos.org/build/295092511 at 2025-04-22
10291032 - copilot-bluespec # failure in job https://hydra.nixos.org/build/253685418 at 2024-03-31
···11161119 - cuckoo # failure in job https://hydra.nixos.org/build/233210915 at 2023-09-02
11171120 - cuckoo-filter # failure in job https://hydra.nixos.org/build/233226484 at 2023-09-02
11181121 - cudd # failure in job https://hydra.nixos.org/build/252716117 at 2024-03-16
11221122+ - cuddle # failure in job https://hydra.nixos.org/build/302802065 at 2025-07-27
11191123 - curl-aeson # failure in job https://hydra.nixos.org/build/233210106 at 2023-09-02
11201124 - curl-runnings # failure in job https://hydra.nixos.org/build/233258680 at 2023-09-02
11211125 - currency-convert # failure in job https://hydra.nixos.org/build/233224509 at 2023-09-02
···13051309 - dia-base # failure in job https://hydra.nixos.org/build/233230896 at 2023-09-02
13061310 - diagnose # failure in job https://hydra.nixos.org/build/233231767 at 2023-09-02
13071311 - diagrams-boolean # failure in job https://hydra.nixos.org/build/233202036 at 2023-09-02
13081308- - diagrams-gtk # failure in job https://hydra.nixos.org/build/295092833 at 2025-04-22
13091312 - diagrams-haddock # failure in job https://hydra.nixos.org/build/295092844 at 2025-04-22
13101310- - diagrams-pandoc # failure in job https://hydra.nixos.org/build/295092840 at 2025-04-22
13111313 - diagrams-pdf # failure in job https://hydra.nixos.org/build/233197864 at 2023-09-02
13121314 - diagrams-qrcode # failure in job https://hydra.nixos.org/build/233229542 at 2023-09-02
13131315 - diagrams-rubiks-cube # failure in job https://hydra.nixos.org/build/233213426 at 2023-09-02
···13491351 - direm # failure in job https://hydra.nixos.org/build/233211496 at 2023-09-02
13501352 - dirstream # failure in job https://hydra.nixos.org/build/273442606 at 2024-10-01
13511353 - disco # failure in job https://hydra.nixos.org/build/233212298 at 2023-09-02
13521352- - discord-haskell # failure in job https://hydra.nixos.org/build/295092870 at 2025-04-22
13531354 - discord-register # failure in job https://hydra.nixos.org/build/295092898 at 2025-04-22
13541355 - discord-types # failure in job https://hydra.nixos.org/build/233251778 at 2023-09-02
13551356 - discordian-calendar # failure in job https://hydra.nixos.org/build/233218124 at 2023-09-02
···14011402 - DOH # failure in job https://hydra.nixos.org/build/233231913 at 2023-09-02
14021403 - doi # failure in job https://hydra.nixos.org/build/295092999 at 2025-04-22
14031404 - dom-events # failure in job https://hydra.nixos.org/build/233231199 at 2023-09-02
14041404- - dom-parser # failure in job https://hydra.nixos.org/build/233235797 at 2023-09-02
14051405 - dom-selector # failure in job https://hydra.nixos.org/build/233212663 at 2023-09-02
14061406 - domaindriven-core # failure in job https://hydra.nixos.org/build/233234739 at 2023-09-02
14071407 - dominion # failure in job https://hydra.nixos.org/build/252714022 at 2024-03-16
···14091409 - dormouse-uri # failure in job https://hydra.nixos.org/build/233191706 at 2023-09-02
14101410 - dot-linker # failure in job https://hydra.nixos.org/build/233237512 at 2023-09-02
14111411 - dotfs # failure in job https://hydra.nixos.org/build/233200762 at 2023-09-02
14121412- - double-x-encoding # failure in job https://hydra.nixos.org/build/253694746 at 2024-03-31
14131412 - doublezip # failure in job https://hydra.nixos.org/build/233219270 at 2023-09-02
14141413 - doublify-toolkit # failure in job https://hydra.nixos.org/build/233223302 at 2023-09-02
14151414 - dovin # failure in job https://hydra.nixos.org/build/252714139 at 2024-03-16
···14461445 - dualizer # failure in job https://hydra.nixos.org/build/233237592 at 2023-09-02
14471446 - duckling # failure in job https://hydra.nixos.org/build/233247880 at 2023-09-02
14481447 - duet # failure in job https://hydra.nixos.org/build/233219004 at 2023-09-02
14491449- - dumb-cas # failure in job https://hydra.nixos.org/build/252730634 at 2024-03-16
14501448 - dump-core # failure in job https://hydra.nixos.org/build/233244428 at 2023-09-02
14511449 - dunai-core # failure in job https://hydra.nixos.org/build/233255804 at 2023-09-02
14521450 - Dung # failure in job https://hydra.nixos.org/build/233206343 at 2023-09-02
···15071505 - editline # failure in job https://hydra.nixos.org/build/233259515 at 2023-09-02
15081506 - edits # failure in job https://hydra.nixos.org/build/295093075 at 2025-04-22
15091507 - effect-handlers # failure in job https://hydra.nixos.org/build/233234988 at 2023-09-02
15101510- - effect-stack # failure in job https://hydra.nixos.org/build/233212358 at 2023-09-02
15111508 - effectful-st # failure in job https://hydra.nixos.org/build/233248591 at 2023-09-02
15121509 - effectful-zoo # failure in job https://hydra.nixos.org/build/283208805 at 2024-12-31
15131510 - effective-aspects # failure in job https://hydra.nixos.org/build/233223120 at 2023-09-02
···16561653 - exinst-hashable # failure in job https://hydra.nixos.org/build/233210438 at 2023-09-02
16571654 - exists # failure in job https://hydra.nixos.org/build/233243541 at 2023-09-02
16581655 - exitcode # failure in job https://hydra.nixos.org/build/233238454 at 2023-09-02
16561656+ - exotic-list-monads # failure in job https://hydra.nixos.org/build/302802593 at 2025-07-27
16591657 - exp-cache # failure in job https://hydra.nixos.org/build/233220561 at 2023-09-02
16601658 - exp-extended # failure in job https://hydra.nixos.org/build/233236139 at 2023-09-02
16611659 - experimenter # failure in job https://hydra.nixos.org/build/252726011 at 2024-03-16
···19051903 - frown # failure in job https://hydra.nixos.org/build/233208462 at 2023-09-02
19061904 - frp-arduino # failure in job https://hydra.nixos.org/build/233192216 at 2023-09-02
19071905 - frpnow # failure in job https://hydra.nixos.org/build/233236056 at 2023-09-02
19081908- - fs-api # failure in job https://hydra.nixos.org/build/299137683 at 2025-06-23
19091906 - fs-events # failure in job https://hydra.nixos.org/build/233218231 at 2023-09-02
19101907 - fsh-csv # failure in job https://hydra.nixos.org/build/233220196 at 2023-09-02
19111908 - FSM # failure in job https://hydra.nixos.org/build/233247343 at 2023-09-02
···19261923 - funcons-tools # failure in job https://hydra.nixos.org/build/295122838 at 2025-04-22
19271924 - function-instances-algebra # failure in job https://hydra.nixos.org/build/233202209 at 2023-09-02
19281925 - functional-arrow # failure in job https://hydra.nixos.org/build/295093396 at 2025-04-22
19291929- - functor-combinators # failure in job https://hydra.nixos.org/build/252714438 at 2024-03-16
19301926 - functor-friends # failure in job https://hydra.nixos.org/build/233208108 at 2023-09-02
19311927 - functor-infix # failure in job https://hydra.nixos.org/build/233228794 at 2023-09-02
19321928 - functor-utils # failure in job https://hydra.nixos.org/build/233213259 at 2023-09-02
···19521948 - fwgl # failure in job https://hydra.nixos.org/build/233246210 at 2023-09-02
19531949 - fwgl-javascript # broken by fwgl, manually entered here, because it does not appear in transitive-broken.yaml at 2024-07-09
19541950 - fx # failure in job https://hydra.nixos.org/build/295093438 at 2025-04-22
19551955- - fxpak # failure in job https://hydra.nixos.org/build/265955610 at 2024-07-14
19561951 - g-npm # failure in job https://hydra.nixos.org/build/233215965 at 2023-09-02
19571952 - g4ip # failure in job https://hydra.nixos.org/build/233248315 at 2023-09-02
19581953 - gambler # failure in job https://hydra.nixos.org/build/252732701 at 2024-03-16
···19801975 - GeneralTicTacToe # failure in job https://hydra.nixos.org/build/233207939 at 2023-09-02
19811976 - generator # failure in job https://hydra.nixos.org/build/233213384 at 2023-09-02
19821977 - generators # failure in job https://hydra.nixos.org/build/233246459 at 2023-09-02
19831983- - generic-aeson # failure in job https://hydra.nixos.org/build/233198064 at 2023-09-02
19841978 - generic-binary # failure in job https://hydra.nixos.org/build/233214473 at 2023-09-02
19851979 - generic-church # failure in job https://hydra.nixos.org/build/233213419 at 2023-09-02
19861980 - generic-enum # failure in job https://hydra.nixos.org/build/233220316 at 2023-09-02
···20102004 - gentlemark # failure in job https://hydra.nixos.org/build/233202158 at 2023-09-02
20112005 - genvalidity-appendful # failure in job https://hydra.nixos.org/build/295093519 at 2025-04-22
20122006 - genvalidity-mergeful # failure in job https://hydra.nixos.org/build/295093508 at 2025-04-22
20132013- - genvalidity-network-uri # failure in job https://hydra.nixos.org/build/299137822 at 2025-06-23
20142007 - geo-resolver # failure in job https://hydra.nixos.org/build/233206563 at 2023-09-02
20152008 - geo-uk # failure in job https://hydra.nixos.org/build/233221284 at 2023-09-02
20162009 - geocode-google # failure in job https://hydra.nixos.org/build/233191594 at 2023-09-02
···20782071 - gi-gio-hs-list-model # failure in job https://hydra.nixos.org/build/233241640 at 2023-09-02
20792072 - gi-gstapp # failure in job https://hydra.nixos.org/build/253686159 at 2024-03-31
20802073 - gi-gsttag # failure in job https://hydra.nixos.org/build/233197576 at 2023-09-02
20742074+ - gi-gtk4-layer-shell # failure in job https://hydra.nixos.org/build/302803068 at 2025-07-27
20812075 - gi-gtksheet # failure in job https://hydra.nixos.org/build/233211386 at 2023-09-02
20822076 - gi-ibus # failure in job https://hydra.nixos.org/build/233220272 at 2023-09-02
20832077 - gi-keybinder # failure in job https://hydra.nixos.org/build/265273447 at 2024-07-14
···20862080 - giak # failure in job https://hydra.nixos.org/build/233242229 at 2023-09-02
20872081 - gibberish # failure in job https://hydra.nixos.org/build/255688714 at 2024-04-16
20882082 - Gifcurry # failure in job https://hydra.nixos.org/build/233200204 at 2023-09-02
20832083+ - ginger2 # failure in job https://hydra.nixos.org/build/302803092 at 2025-07-27
20892084 - gingersnap # failure in job https://hydra.nixos.org/build/233227186 at 2023-09-02
20902085 - ginsu # failure in job https://hydra.nixos.org/build/233223259 at 2023-09-02
20912086 - gipeda # failure in job https://hydra.nixos.org/build/233228149 at 2023-09-02
···24552450 - haskelldb-wx # failure in job https://hydra.nixos.org/build/233197525 at 2023-09-02
24562451 - HaskellForMaths # failure in job https://hydra.nixos.org/build/233237608 at 2023-09-02
24572452 - HaskellLM # failure in job https://hydra.nixos.org/build/233237641 at 2023-09-02
24582458- - HaskellNet # failure in job https://hydra.nixos.org/build/295091001 at 2025-04-22
24592453 - HaskellNN # failure in job https://hydra.nixos.org/build/233209323 at 2023-09-02
24602454 - Haskelloids # failure in job https://hydra.nixos.org/build/233204861 at 2023-09-02
24612455 - haskellscrabble # failure in job https://hydra.nixos.org/build/233251248 at 2023-09-02
···24712465 - haskoin # failure in job https://hydra.nixos.org/build/233201668 at 2023-09-02
24722466 - haskoin-store # failure in job https://hydra.nixos.org/build/299138382 at 2025-06-23
24732467 - haskoin-util # failure in job https://hydra.nixos.org/build/233222171 at 2023-09-02
24742474- - haskoin-wallet # failure in job https://hydra.nixos.org/build/233206922 at 2023-09-02
24752468 - haskore-realtime # failure in job https://hydra.nixos.org/build/301391170 at 2025-07-01
24762469 - haskore-vintage # failure in job https://hydra.nixos.org/build/233230742 at 2023-09-02
24772470 - HaskRel # failure in job https://hydra.nixos.org/build/295090970 at 2025-04-22
···25222515 - hbeat # failure in job https://hydra.nixos.org/build/233228628 at 2023-09-02
25232516 - hblas # failure in job https://hydra.nixos.org/build/233232561 at 2023-09-02
25242517 - hblock # failure in job https://hydra.nixos.org/build/233205351 at 2023-09-02
25182518+ - hblosc # failure in job https://hydra.nixos.org/build/302803521 at 2025-07-27
25252519 - hburg # failure in job https://hydra.nixos.org/build/233247429 at 2023-09-02
25262520 - hcad # failure in job https://hydra.nixos.org/build/233219976 at 2023-09-02
25272521 - HCard # failure in job https://hydra.nixos.org/build/233231922 at 2023-09-02
···25612555 - heckle # failure in job https://hydra.nixos.org/build/233228954 at 2023-09-02
25622556 - heddit # failure in job https://hydra.nixos.org/build/233229058 at 2023-09-02
25632557 - hedgehog-checkers # failure in job https://hydra.nixos.org/build/233229405 at 2023-09-02
25582558+ - hedgehog-extras # failure in job https://hydra.nixos.org/build/302803553, https://github.com/input-output-hk/hedgehog-extras/issues/93 at 2025-07-27
25642559 - hedgehog-gen # failure in updateAutotoolsGnuConfigScriptsPhase in job https://hydra.nixos.org/build/237243271 at 2023-10-21
25652560 - hedgehog-generic # failure in job https://hydra.nixos.org/build/233204695 at 2023-09-02
25662561 - hedgehog-golden # failure in job https://hydra.nixos.org/build/233219619 at 2023-09-02
···28802875 - hs-scrape # failure in job https://hydra.nixos.org/build/233244221 at 2023-09-02
28812876 - hs-server-starter # failure in job https://hydra.nixos.org/build/295094379 at 2025-04-22
28822877 - hs-snowtify # failure in job https://hydra.nixos.org/build/233200511 at 2023-09-02
28832883- - hs-speedscope # failure in job https://hydra.nixos.org/build/295094385 at 2025-04-22
28842878 - hs-tags # failure in job https://hydra.nixos.org/build/233258358 at 2023-09-02
28852879 - hs-tango # failure in job https://hydra.nixos.org/build/276377558 at 2024-11-06
28862880 - hs-term-emulator # failure in job https://hydra.nixos.org/build/233252262 at 2023-09-02
···31343128 - IDynamic # failure in job https://hydra.nixos.org/build/233196222 at 2023-09-02
31353129 - ieee-utils # failure in job https://hydra.nixos.org/build/233224430 at 2023-09-02
31363130 - iexcloud # failure in job https://hydra.nixos.org/build/233224874 at 2023-09-02
31313131+ - if-instance # failure in job https://hydra.nixos.org/build/302803982 at 2025-07-27
31373132 - ifcxt # failure in job https://hydra.nixos.org/build/233196911 at 2023-09-02
31383133 - IFS # failure in job https://hydra.nixos.org/build/233246865 at 2023-09-02
31393134 - ig # failure in job https://hydra.nixos.org/build/233203872 at 2023-09-02
···32213216 - interspersed # failure in job https://hydra.nixos.org/build/252722645 at 2024-03-16
32223217 - interval # failure in job https://hydra.nixos.org/build/233239434 at 2023-09-02
32233218 - interval-algebra # failure in job https://hydra.nixos.org/build/233208487 at 2023-09-02
32243224- - interval-patterns # failure in job https://hydra.nixos.org/build/239259401 at 2023-11-10
32253219 - interval-tree-clock # failure in job https://hydra.nixos.org/build/233234316 at 2023-09-02
32263220 - IntFormats # failure in job https://hydra.nixos.org/build/233195190 at 2023-09-02
32273221 - intricacy # failure in job https://hydra.nixos.org/build/252711846 at 2024-03-16
···32593253 - isdicom # failure in job https://hydra.nixos.org/build/233214249 at 2023-09-02
32603254 - IsNull # failure in job https://hydra.nixos.org/build/233233011 at 2023-09-02
32613255 - iso-deriving # failure in job https://hydra.nixos.org/build/252738238 at 2024-03-16
32623262- - iso8601-duration # failure in job https://hydra.nixos.org/build/233190968 at 2023-09-02
32633256 - isobmff # failure in job https://hydra.nixos.org/build/233237273 at 2023-09-02
32643257 - isotope # failure in job https://hydra.nixos.org/build/233204650 at 2023-09-02
32653258 - it-has # failure in job https://hydra.nixos.org/build/233212395 at 2023-09-02
···33323325 - json-qq # failure in job https://hydra.nixos.org/build/233196259 at 2023-09-02
33333326 - json-rpc-generic # failure in job https://hydra.nixos.org/build/233201371 at 2023-09-02
33343327 - json-rpc-server # failure in job https://hydra.nixos.org/build/233201284 at 2023-09-02
33283328+ - json-schema # failure in job https://hydra.nixos.org/build/303231342 at 2025-07-27
33353329 - json-syntax # failure in job https://hydra.nixos.org/build/233250639 at 2023-09-02
33363330 - json-to-haskell # failure in job https://hydra.nixos.org/build/252711573 at 2024-03-16
33373331 - json-to-type # failure in job https://hydra.nixos.org/build/275143966 at 2024-10-21
···36583652 - llvm-base # failure in job https://hydra.nixos.org/build/233244366 at 2023-09-02
36593653 - llvm-codegen # failure in job https://hydra.nixos.org/build/295095119 at 2025-04-22
36603654 - llvm-extension # failure in job https://hydra.nixos.org/build/266355631 at 2024-07-14
36553655+ - llvm-extra # failure in job https://hydra.nixos.org/build/303481607 at 2025-07-27
36613656 - llvm-general-pure # failure in job https://hydra.nixos.org/build/233246430 at 2023-09-02
36623657 - llvm-hs # failure in job https://hydra.nixos.org/build/233205149 at 2023-09-02
36633658 - llvm-hs-pure # failure in job https://hydra.nixos.org/build/252721738 at 2024-03-16
···38103805 - mcm # failure in job https://hydra.nixos.org/build/233229087 at 2023-09-02
38113806 - mcmaster-gloss-examples # failure in job https://hydra.nixos.org/build/234457610 at 2023-09-13
38123807 - mcmc-synthesis # failure in job https://hydra.nixos.org/build/233208414 at 2023-09-02
38083808+ - mcp # failure in job https://hydra.nixos.org/build/302804588 at 2025-07-27
38093809+ - mcp-server # failure in job https://hydra.nixos.org/build/302804602 at 2025-07-27
38133810 - mcpi # failure in job https://hydra.nixos.org/build/233231465 at 2023-09-02
38143811 - mdapi # failure in job https://hydra.nixos.org/build/233257724 at 2023-09-02
38153812 - mdcat # failure in job https://hydra.nixos.org/build/233249429 at 2023-09-02
···39953992 - monoid-absorbing # failure in job https://hydra.nixos.org/build/233236465 at 2023-09-02
39963993 - monoid-owns # failure in job https://hydra.nixos.org/build/233259043 at 2023-09-02
39973994 - monoidmap # failure in job https://hydra.nixos.org/build/295095498 at 2025-04-22
39983998- - monoidmap-internal # failure in job https://hydra.nixos.org/build/295095513 at 2025-04-22
39993995 - monoidplus # failure in job https://hydra.nixos.org/build/233226759 at 2023-09-02
40003996 - monoids # failure in job https://hydra.nixos.org/build/233231684 at 2023-09-02
40013997 - monopati # failure in job https://hydra.nixos.org/build/233234119 at 2023-09-02
···40174013 - movie-monad # failure in job https://hydra.nixos.org/build/233215402 at 2023-09-02
40184014 - mpppc # failure in job https://hydra.nixos.org/build/233223008 at 2023-09-02
40194015 - mpris # failure in job https://hydra.nixos.org/build/233259241 at 2023-09-02
40164016+ - mptcp-pm # failure in job https://hydra.nixos.org/build/303231350 at 2025-07-27
40204017 - mpvguihs # failure in job https://hydra.nixos.org/build/233196650 at 2023-09-02
40214018 - mqtt # failure in job https://hydra.nixos.org/build/233202067 at 2023-09-02
40224019 - mqtt-hs # failure in job https://hydra.nixos.org/build/233239399 at 2023-09-02
···40264023 - ms-auth # failure in job https://hydra.nixos.org/build/233193383 at 2023-09-02
40274024 - ms-azure-api # failure in job https://hydra.nixos.org/build/233202229 at 2023-09-02
40284025 - ms-graph-api # failure in job https://hydra.nixos.org/build/233219042 at 2023-09-02
40294029- - msgpack # failure in job https://hydra.nixos.org/build/233258131 at 2023-09-02
40264026+ - msgpack-aeson # failure in job https://hydra.nixos.org/build/303231349 at 2025-07-27
40274027+ - msgpack-rpc # failure in job https://hydra.nixos.org/build/303231348 at 2025-07-27
40304028 - msgpack-types # failure in job https://hydra.nixos.org/build/233235351 at 2023-09-02
40314029 - msh # failure in job https://hydra.nixos.org/build/233196466 at 2023-09-02
40324030 - MTGBuilder # failure in job https://hydra.nixos.org/build/233227528 at 2023-09-02
···42734271 - ohhecs # failure in job https://hydra.nixos.org/build/267987310 at 2024-07-31
42744272 - ohloh-hs # failure in job https://hydra.nixos.org/build/233228177 at 2023-09-02
42754273 - oi # failure in job https://hydra.nixos.org/build/233190838 at 2023-09-02
42764276- - oidc-client # failure in job https://hydra.nixos.org/build/295095776 at 2025-04-22
42774274 - okapi # failure in job https://hydra.nixos.org/build/233193822 at 2023-09-02
42784275 - old-version # failure in job https://hydra.nixos.org/build/233198538 at 2023-09-02
42794276 - ollama-haskell # failure in job https://hydra.nixos.org/build/276371507 at 2024-11-06
···43314328 - openssh-protocol # failure in job https://hydra.nixos.org/build/233196013 at 2023-09-02
43324329 - opentelemetry-extra # failure in job https://hydra.nixos.org/build/233194254 at 2023-09-02
43334330 - opentelemetry-http-client # failure in job https://hydra.nixos.org/build/233221983 at 2023-09-02
43344334- - opentelemetry-plugin # failure in job https://hydra.nixos.org/build/295095836 at 2025-04-22
43354331 - opentheory-char # failure in job https://hydra.nixos.org/build/233222347 at 2023-09-02
43364332 - opentype # failure in job https://hydra.nixos.org/build/233213443 at 2023-09-02
43374333 - OpenVGRaw # failure in job https://hydra.nixos.org/build/233254457 at 2023-09-02
···43894385 - overloaded-records # failure in job https://hydra.nixos.org/build/233235922 at 2023-09-02
43904386 - overture # failure in job https://hydra.nixos.org/build/233245959 at 2023-09-02
43914387 - owoify-hs # failure in job https://hydra.nixos.org/build/233213422 at 2023-09-02
43884388+ - ox-arrays # failure in job https://hydra.nixos.org/build/302805170 at 2025-07-27
43924389 - pa-field-parser # failure in job https://hydra.nixos.org/build/295095885 at 2025-04-22
43934390 - pack # failure in job https://hydra.nixos.org/build/233243562 at 2023-09-02
43944391 - package-description-remote # failure in job https://hydra.nixos.org/build/233221358 at 2023-09-02
43954392 - package-vt # failure in job https://hydra.nixos.org/build/233225831 at 2023-09-02
43964393 - packdeps # failure in job https://hydra.nixos.org/build/233216607 at 2023-09-02
43974394 - packed # failure in job https://hydra.nixos.org/build/233231889 at 2023-09-02
43954395+ - packed-data # failure in job https://hydra.nixos.org/build/302805203 at 2025-07-27
43984396 - packed-dawg # failure in job https://hydra.nixos.org/build/233207332 at 2023-09-02
43994397 - packed-multikey-map # failure in job https://hydra.nixos.org/build/233234157 at 2023-09-02
44004398 - packedstring # failure in job https://hydra.nixos.org/build/233240511 at 2023-09-02
···46904688 - plural # failure in job https://hydra.nixos.org/build/233198934 at 2023-09-02
46914689 - ply-loader # failure in job https://hydra.nixos.org/build/252720663 at 2024-03-16
46924690 - plzwrk # failure in job https://hydra.nixos.org/build/233219630 at 2023-09-02
46914691+ - pms-domain-model # failure in job https://hydra.nixos.org/build/302805399 at 2025-07-27
46934692 - pngload-fixed # failure in job https://hydra.nixos.org/build/233233956 at 2023-09-02
46944693 - pocket # failure in job https://hydra.nixos.org/build/233244120 at 2023-09-02
46954694 - podenv # failure in job https://hydra.nixos.org/build/233210257 at 2023-09-02
···47384737 - pontarius-xpmn # failure in job https://hydra.nixos.org/build/233217546 at 2023-09-02
47394738 - pool # failure in job https://hydra.nixos.org/build/233205364 at 2023-09-02
47404739 - pool-conduit # failure in job https://hydra.nixos.org/build/233246643 at 2023-09-02
47414741- - poolboy # failure in job https://hydra.nixos.org/build/233195085 at 2023-09-02
47424740 - pop3-client # failure in job https://hydra.nixos.org/build/233251475 at 2023-09-02
47434741 - popkey # failure in job https://hydra.nixos.org/build/233203892 at 2023-09-02
47444742 - poppler # failure in job https://hydra.nixos.org/build/233196044 at 2023-09-02
···49784976 - quickbooks # failure in job https://hydra.nixos.org/build/233227666 at 2023-09-02
49794977 - quickcheck-arbitrary-template # failure in job https://hydra.nixos.org/build/233223045 at 2023-09-02
49804978 - quickcheck-combinators # failure in job https://hydra.nixos.org/build/233209131 at 2023-09-02
49814981- - quickcheck-lockstep # failure in job https://hydra.nixos.org/build/295096463 at 2025-04-22
49824979 - quickcheck-property-comb # failure in job https://hydra.nixos.org/build/233204877 at 2023-09-02
49834980 - quickcheck-property-monad # failure in job https://hydra.nixos.org/build/233228775 at 2023-09-02
49844981 - quickcheck-rematch # failure in job https://hydra.nixos.org/build/233205449 at 2023-09-02
···51295126 - regexqq # failure in job https://hydra.nixos.org/build/233233149 at 2023-09-02
51305127 - regions # failure in job https://hydra.nixos.org/build/233196483 at 2023-09-02
51315128 - register-machine-typelevel # failure in job https://hydra.nixos.org/build/233217514 at 2023-09-02
51295129+ - registry-messagepack # failure in job https://hydra.nixos.org/build/303231364 at 2025-07-27
51325130 - registry-options # failure in job https://hydra.nixos.org/build/295096594 at 2025-04-22
51335131 - regress # failure in job https://hydra.nixos.org/build/233208901 at 2023-09-02
51345132 - regular # failure in job https://hydra.nixos.org/build/233232656 at 2023-09-02
···54005398 - servant-avro # failure in job https://hydra.nixos.org/build/233225632 at 2023-09-02
54015399 - servant-benchmark # failure in job https://hydra.nixos.org/build/233203748 at 2023-09-02
54025400 - servant-cassava # failure in job https://hydra.nixos.org/build/252730906 at 2024-03-16
54035403- - servant-cli # failure in job https://hydra.nixos.org/build/233259212 at 2023-09-02
54045401 - servant-client-js # failure in job https://hydra.nixos.org/build/233194725 at 2023-09-02
54055402 - servant-combinators # failure in job https://hydra.nixos.org/build/233249924 at 2023-09-02
54065403 - servant-db # failure in job https://hydra.nixos.org/build/233234946 at 2023-09-02
···54085405 - servant-docs-simple # failure in job https://hydra.nixos.org/build/233237374 at 2023-09-02
54095406 - servant-ekg # failure in job https://hydra.nixos.org/build/295096851 at 2025-04-22
54105407 - servant-errors # failure in job https://hydra.nixos.org/build/233239712 at 2023-09-02
54085408+ - servant-event-stream # failure in job https://hydra.nixos.org/build/302806100 at 2025-07-27
54115409 - servant-gdp # failure in job https://hydra.nixos.org/build/233191664 at 2023-09-02
54125410 - servant-generate # failure in job https://hydra.nixos.org/build/233199452 at 2023-09-02
54135411 - servant-generic # failure in job https://hydra.nixos.org/build/233211338 at 2023-09-02
···54425440 - servant-to-elm # failure in job https://hydra.nixos.org/build/253681347 at 2024-03-31
54435441 - servant-tracing # failure in job https://hydra.nixos.org/build/233229308 at 2023-09-02
54445442 - servant-typed-error # failure in job https://hydra.nixos.org/build/252727241 at 2024-03-16
54455445- - servant-typescript # failure in job https://hydra.nixos.org/build/253932573 at 2024-03-31
54465443 - servant-util # failure in job https://hydra.nixos.org/build/252729690 at 2024-03-16
54475444 - servant-wasm # failure in job https://hydra.nixos.org/build/233191644 at 2023-09-02
54485445 - servant-xml-conduit # failure in job https://hydra.nixos.org/build/243828707 at 2024-01-01
···55915588 - skemmtun # failure in job https://hydra.nixos.org/build/233223893 at 2023-09-02
55925589 - sketch-frp-copilot # copilot >=4.3 && <4.4,
55935590 - skew-list # failure in job https://hydra.nixos.org/build/295097034 at 2025-04-22
55915591+ - skews # time out in job https://hydra.nixos.org/build/302806286 at 2025-07-27
55945592 - skopedate # failure in job https://hydra.nixos.org/build/233220634 at 2023-09-02
55955593 - skulk # failure in job https://hydra.nixos.org/build/233258672 at 2023-09-02
55965594 - skylighting-extensions # failure in job https://hydra.nixos.org/build/233221387 at 2023-09-02
···56825680 - socketed # failure in job https://hydra.nixos.org/build/233210087 at 2023-09-02
56835681 - socketio # failure in job https://hydra.nixos.org/build/233214659 at 2023-09-02
56845682 - sockets # failure in job https://hydra.nixos.org/build/295097095 at 2025-04-22
56835683+ - socks5 # failure in job https://hydra.nixos.org/build/302806344 at 2025-07-27
56855684 - sodium # failure in job https://hydra.nixos.org/build/233213989 at 2023-09-02
56865685 - soegtk # failure in job https://hydra.nixos.org/build/233198991 at 2023-09-02
56875686 - softfloat-hs # failure in job https://hydra.nixos.org/build/233205242 at 2023-09-02
···56915690 - sonic-visualiser # failure in job https://hydra.nixos.org/build/233257956 at 2023-09-02
56925691 - Sonnex # failure in job https://hydra.nixos.org/build/233229367 at 2023-09-02
56935692 - SoOSiM # failure in job https://hydra.nixos.org/build/233224114 at 2023-09-02
56935693+ - sop-satisfier # failure in job https://hydra.nixos.org/build/302806351 at 2025-07-27
56945694 - sorted # failure in job https://hydra.nixos.org/build/233222633 at 2023-09-02
56955695 - sorting # failure in job https://hydra.nixos.org/build/233214204 at 2023-09-02
56965696 - sorty # failure in job https://hydra.nixos.org/build/233211118 at 2023-09-02
···59785978 - system-test # failure in job https://hydra.nixos.org/build/233240318 at 2023-09-02
59795979 - systemd-ntfy # failure in job https://hydra.nixos.org/build/236686880 at 2023-10-04
59805980 - systemd-socket-activation # failure in job https://hydra.nixos.org/build/295097415 at 2025-04-22
59815981- - systranything # failure in job https://hydra.nixos.org/build/295097462 at 2025-04-22
59825981 - t-regex # failure in job https://hydra.nixos.org/build/233254486 at 2023-09-02
59835982 - t3-server # failure in job https://hydra.nixos.org/build/233220511 at 2023-09-02
59845983 - table # failure in job https://hydra.nixos.org/build/233223186 at 2023-09-02
···60236022 - tasty-grading-system # failure in job https://hydra.nixos.org/build/236673021 at 2023-10-04
60246023 - tasty-hedgehog-coverage # failure in job https://hydra.nixos.org/build/233231332 at 2023-09-02
60256024 - tasty-mgolden # failure in job https://hydra.nixos.org/build/233248196 at 2023-09-02
60256025+ - tasty-papi # failure in job https://hydra.nixos.org/build/302806735, https://github.com/Shimuuar/tasty-papi/issues/4#issuecomment-3123432375 at 2025-07-27
60266026 - tasty-process # failure in job https://hydra.nixos.org/build/253680638 at 2024-03-31
60276027 - tasty-stats # failure in job https://hydra.nixos.org/build/233228752 at 2023-09-02
60286028 - tasty-test-reporter # failure in job https://hydra.nixos.org/build/233208181 at 2023-09-02
···61846184 - tiger # failure in job https://hydra.nixos.org/build/233249333 at 2023-09-02
61856185 - TigerHash # failure in job https://hydra.nixos.org/build/233208162 at 2023-09-02
61866186 - tightrope # failure in job https://hydra.nixos.org/build/233215237 at 2023-09-02
61876187- - tiktoken # failure in job https://hydra.nixos.org/build/273448419 at 2024-10-01
61886187 - tikzsd # failure in job https://hydra.nixos.org/build/233224431 at 2023-09-02
61896188 - time-extras # failure in job https://hydra.nixos.org/build/233204030 at 2023-09-02
61906189 - time-parsers # failure in job https://hydra.nixos.org/build/295097665 at 2025-04-22
···63286327 - turing-music # failure in job https://hydra.nixos.org/build/233203435 at 2023-09-02
63296328 - turtle-options # failure in job https://hydra.nixos.org/build/233255831 at 2023-09-02
63306329 - tweak # failure in job https://hydra.nixos.org/build/233211020 at 2023-09-02
63306330+ - twee # failure in job https://hydra.nixos.org/build/302807024 at 2025-07-27
63316331 - twentefp-websockets # failure in job https://hydra.nixos.org/build/233207022 at 2023-09-02
63326332 - twhs # failure in job https://hydra.nixos.org/build/233201182 at 2023-09-02
63336333 - twilio # failure in job https://hydra.nixos.org/build/233199959 at 2023-09-02
···63836383 - typed-wire # failure in job https://hydra.nixos.org/build/233237626 at 2023-09-02
63846384 - typedquery # failure in job https://hydra.nixos.org/build/233215307 at 2023-09-02
63856385 - typehash # failure in job https://hydra.nixos.org/build/233207184 at 2023-09-02
63866386+ - typelet # failure in job https://hydra.nixos.org/build/302807072 at 2025-07-27
63866387 - typelevel-rewrite-rules # failure in job https://hydra.nixos.org/build/233243365 at 2023-09-02
63876388 - typelevel-tensor # failure in job https://hydra.nixos.org/build/233190827 at 2023-09-02
63886389 - typeparams # failure in job https://hydra.nixos.org/build/233192078 at 2023-09-02
···67636764 - X11-xfixes # failure in job https://hydra.nixos.org/build/233256494 at 2023-09-02
67646765 - x86-64bit # failure in job https://hydra.nixos.org/build/252737465 at 2024-03-16
67656766 - xcffib # failure in job https://hydra.nixos.org/build/295098351 at 2025-04-22
67676767+ - xcframework # failure in job https://hydra.nixos.org/build/302807506 at 2025-07-27
67666768 - xchat-plugin # failure in job https://hydra.nixos.org/build/233238679 at 2023-09-02
67676769 - xcp # failure in job https://hydra.nixos.org/build/233208926 at 2023-09-02
67686770 - Xec # failure in job https://hydra.nixos.org/build/233191564 at 2023-09-02
···67896791 - xml-extractors # failure in job https://hydra.nixos.org/build/252718569 at 2024-03-16
67906792 - xml-html-conduit-lens # failure in job https://hydra.nixos.org/build/233238471 at 2023-09-02
67916793 - xml-indexed-cursor # failure in job https://hydra.nixos.org/build/295098303 at 2025-04-22
67926792- - xml-lens # failure in job https://hydra.nixos.org/build/295098347 at 2025-04-22
67946794+ - xml-isogen # failure in job https://hydra.nixos.org/build/303231372 at 2025-07-27
67936795 - xml-parsec # failure in job https://hydra.nixos.org/build/233208461 at 2023-09-02
67946796 - xml-parser # failure in job https://hydra.nixos.org/build/252721082 at 2024-03-16
67956797 - xml-prettify # failure in job https://hydra.nixos.org/build/233225974 at 2023-09-02
···68096811 - xmonad-vanessa # failure in job https://hydra.nixos.org/build/233214303 at 2023-09-02
68106812 - xmonad-wallpaper # failure in job https://hydra.nixos.org/build/233217165 at 2023-09-02
68116813 - xmonad-windownames # failure in job https://hydra.nixos.org/build/233258043 at 2023-09-02
68146814+ - xnobar # failure in job https://hydra.nixos.org/build/302807518 at 2025-07-27
68126815 - xorshift-plus # failure in job https://hydra.nixos.org/build/233255176 at 2023-09-02
68136816 - Xorshift128Plus # failure in job https://hydra.nixos.org/build/233225679 at 2023-09-02
68146817 - xsact # failure in job https://hydra.nixos.org/build/233221821 at 2023-09-02
···2424 # version update of the stdlib, so we get rid of the version constraint
2525 # altogether.
2626 sed -Ei 's/standard-library-[0-9.]+/standard-library/' agda-categories.agda-lib
2727-2828- # The Makefile of agda-categories uses git(1) instead of find(1) to
2929- # determine the list of source files. We cannot use git, as $PWD will not
3030- # be a valid Git working directory.
3131- find src -name '*.agda' | sed -e 's|^src/[/]*|import |' -e 's|/|.|g' -e 's/.agda//' -e '/import Everything/d' | LC_COLLATE='C' sort > Everything.agda
3227 '';
33283429 buildInputs = [ standard-library ];
···22 lib,
33 mkDerivation,
44 fetchFromGitHub,
55- ghc,
65}:
7687mkDerivation rec {
···1615 hash = "sha256-KwwN2g2naEo4/rKTz2L/0Guh5LxymEYP53XQzJ6eMjM=";
1716 };
18171919- # The cubical library has several `Everything.agda` files, which are
2020- # compiled through the make file they provide.
2121- nativeBuildInputs = [ ghc ];
2222- buildPhase = ''
2323- runHook preBuild
2424- make
2525- runHook postBuild
1818+ postPatch = ''
1919+ # This imports the Everything files, which we don't generate.
2020+ # TODO: remove for the next release
2121+ rm -rf Cubical/README.agda Cubical/Talks/EPA2020.agda
2622 '';
27232824 meta = with lib; {