# Pastebin LBIAVS7X
$ nix-build ~/nixpkgs -A haskellPackages.Agda 
these derivations will be built:
  /nix/store/1bld7cv5njq1zq4gq34cjz5ldmrksxf5-regex-base-0.93.2.drv
  /nix/store/x65bvlv7q8x5bvz7m737hblxra6hq5nc-regex-posix-0.96.0.0.drv
  /nix/store/ijr1bm5rmcdwzfwspf27l26vbc5ddg0k-test-framework-0.8.2.0.drv
  /nix/store/cd25yw2jad7sh493i5f6zclzhsgvc3ai-test-framework-quickcheck2-0.3.0.5.drv
  /nix/store/cisx9prpqpsfnd1db1a7sg5lc3r65hsv-test-framework-hunit-0.3.0.2.drv
  /nix/store/f3cs3sca7xv9wg7n49p42l7474anb746-exceptions-0.10.4.drv
  /nix/store/fvsy17smdkckscbrm5c00ppdnflaf3c4-hashable-1.3.0.0.drv
  /nix/store/j33g9as94pbb4h7f5bwmbwmwl457s0ga-async-2.2.2.drv
  /nix/store/hwg71jy77jwdh2fv2wy5jg6dwgjki495-tasty-1.2.3.drv
  /nix/store/h7wigak6y6n6mk0swwsj0q7hb1yxkv63-tasty-hunit-0.10.0.2.drv
  /nix/store/qmpx3bh9ghaan92jy2m28hby10fwn6dx-temporary-1.3.drv
  /nix/store/jjy06k5jn4ms20zz6y0s7nxpc0aq1p2y-silently-1.2.5.1.drv
  /nix/store/6b0bw15hjinbnyadcdmxvr7br2jh27kg-hspec-core-2.7.1.drv
  /nix/store/mlb5vlb0427fdp863kg8bf2s44wgzn4k-hspec-2.7.1.drv
  /nix/store/0d5fx9v36my10lpb1d7hczh5173m15g2-base-compat-batteries-0.11.1.drv
  /nix/store/5fdh7dd7f3r6xqinwih5rkd9ipzwp572-generic-deriving-1.13.1.drv
  /nix/store/b2fi7k4px1k2d9619fvwwk91hj7vj09h-tasty-ant-xml-1.1.6.drv
  /nix/store/l9l2bj3jprk526d648rkbhpvlk8f9mzq-tasty-quickcheck-0.10.1.1.drv
  /nix/store/792vahjslbb2as30d69p0nyw6nqkdy84-logict-0.7.0.2.drv
  /nix/store/z6787rdx8s02b0c3a36vd0x644vfply8-smallcheck-1.1.5.drv
  /nix/store/r6bsajbv2dazcnkfldlbx9higjsvzij7-tasty-smallcheck-0.8.1.drv
  /nix/store/dam47kkrbcand23avpryppny8yq14piz-scientific-0.3.6.2.drv
  /nix/store/374zakdhzsqsajk9r1q66izi8f52h1sy-attoparsec-0.13.2.3.drv
  /nix/store/46wl0ilmplw267ya2brbzhj7mnhaqr3w-unordered-containers-0.2.10.0.drv
  /nix/store/vbhaxn8lxjjnn4r1z35p3dq3c213p1bn-uuid-types-1.0.3.drv
  /nix/store/9dmz4qkrk7fidkgiqm1ml2qvzbwkgv7q-base-orphans-0.8.2.drv
  /nix/store/zvjnnypksf813lp03bj8n032ikzhpb38-time-compat-1.9.2.2.drv
  /nix/store/0xdr7lgln8alxdgakijhmi2chqshcjjz-aeson-1.4.6.0.drv
  /nix/store/3ppzz9cvbimlakq2v6vx8a6671dfsafx-cereal-0.5.8.1.drv
  /nix/store/6ljs84namk2f4kf3bpkkdvvp1qzpnsf0-blaze-builder-0.4.1.0.drv
  /nix/store/qdil9cvcj71ww6haisr0xvb2n7i5wbzq-blaze-markup-0.8.2.3.drv
  /nix/store/408vjkhnfyyrfc5kgcy95zih2vcxdp8r-blaze-html-0.9.1.2.drv
  /nix/store/4lwfja3spjvbxsr13k33gv6pj7n7cidr-microstache-1.0.1.1.drv
  /nix/store/jgixfm1mw34vw24cziqfzd3zjxsapp8a-vector-binary-instances-0.2.5.1.drv
  /nix/store/bi1lfwym19bj5wjmd4gyay4kkpcyc4cj-dense-linear-algebra-0.1.0.0.drv
  /nix/store/pq3jdlpv8f3pyi8gm4pjigp5dx251l3n-language-haskell-extract-0.2.4.drv
  /nix/store/yb52q15q6lm0rfkvz6c5afqnk6cnsbnr-test-framework-th-0.2.4.drv
  /nix/store/z3dd890hlc8qq4bgi4vh7gn2qbczv0dh-monad-par-extras-0.3.3.drv
  /nix/store/ssnmm3hvciy3dd755j10xbq161q2ac06-monad-par-0.3.5.drv
  /nix/store/ar3phghwdn4k3373g75zc13s1pv2gi0q-statistics-0.15.2.0.drv
  /nix/store/cv8kvwmxqbhv9gmvq69arb7b3v0d4237-Glob-0.10.0.drv
  /nix/store/jnlnw7bjk5lc4cfhj5jmq3vgwmvlqyn4-case-insensitive-1.2.1.0.drv
  /nix/store/w1ndyh9r5mfxxkr2p0zlq4hrnym8l2mj-quickcheck-instances-0.3.22.drv
  /nix/store/gh0zw7rff6xb8xs1m6xdysrf01kiljdk-binary-orphans-1.0.1.drv
  /nix/store/95wpxigyiy98ys9c6sjyyi233cb7rx6s-text-short-0.1.3.drv
  /nix/store/r7drp2hibxczmw96pvbbjlqsvs04hpvf-cassava-0.5.2.0.drv
  /nix/store/xvbww89pcqm45757h5ravnlj7piiqdpn-criterion-measurement-0.1.2.0.drv
  /nix/store/mfpq7vhr1mcxcb6nw69p61d1nd88fg5l-criterion-1.5.6.2.drv
  /nix/store/7ykmndm42ppclw3nykxyi165j06ji9ym-network-uri-2.6.3.0.drv
  /nix/store/7z1w16c1r6xx5sdvahma0idngm3s8yfs-edit-distance-0.2.2.1.drv
  /nix/store/agqb5rss1yr4y6mz7b002bymb1xwgz5g-hashtables-1.2.3.4.drv
  /nix/store/q19pa8c4wh8zzrvz84w06a8bdl0884s5-regex-tdfa-1.2.2.drv
  /nix/store/zijnajj09142232bx14jvcgdmqkrqi9j-uri-encode-1.5.0.5.drv
  /nix/store/v5hysmn07z2zd736cgb29b8j9khk82kf-Agda-2.6.0.1.drv
building '/nix/store/1bld7cv5njq1zq4gq34cjz5ldmrksxf5-regex-base-0.93.2.drv'...
setupCompilerEnvironmentPhase
Build with /nix/store/jd57710zy096m0b1g3rd41wj10ajw7c5-ghc-8.8.3.
unpacking sources
unpacking source archive /nix/store/sa7483dhfdhl4p27l5353n45bsdvi4cb-regex-base-0.93.2.tar.gz
source root is regex-base-0.93.2
setting SOURCE_DATE_EPOCH to timestamp 1276297069 of file regex-base-0.93.2/Text/Regex/Base/RegexLike.hs
patching sources
Replace Cabal file with edited version from mirror://hackage/regex-base-0.93.2/revision/2.cabal.
compileBuildDriverPhase
setupCompileFlags: -package-db=/build/setup-package.conf.d -j4 -threaded
[1 of 1] Compiling Main             ( Setup.hs, /build/Main.o )
Linking Setup ...
configuring
configureFlags: --verbose --prefix=/nix/store/gb0797g57p45w6nvf4grs8dafy5dpm0s-regex-base-0.93.2 --libdir=$prefix/lib/$compiler --libsubdir=$abi/$libname --docdir=/nix/store/ywlpbaf2dm11rx8z12j4ncqgr4wb0xp6-regex-base-0.93.2-doc/share/doc/regex-base-0.93.2 --with-gcc=gcc --package-db=/build/package.conf.d --ghc-option=-j4 --disable-split-objs --enable-library-profiling --profiling-detail=exported-functions --disable-profiling --enable-shared --disable-coverage --enable-static --disable-executable-dynamic --disable-tests --disable-benchmarks --enable-library-vanilla --disable-library-for-ghci --ghc-option=-split-sections --extra-lib-dirs=/nix/store/49x12wk4l8c0lh97crvwhjbzfxrq1fa2-ncurses-6.2/lib --extra-lib-dirs=/nix/store/hfs34n1yww7ba1m8gbrwrwh6v1y269m6-libffi-3.3/lib --extra-lib-dirs=/nix/store/l9nfr0znv7qibrapym32qj7dxmynfh84-gmp-6.2.0/lib
Using Parsec parser
Configuring regex-base-0.93.2...
CallStack (from HasCallStack):
  die', called at libraries/Cabal/Cabal/Distribution/Simple/Configure.hs:1022:20 in Cabal-3.0.1.0:Distribution.Simple.Configure
  configureFinalizedPackage, called at libraries/Cabal/Cabal/Distribution/Simple/Configure.hs:475:12 in Cabal-3.0.1.0:Distribution.Simple.Configure
  configure, called at libraries/Cabal/Cabal/Distribution/Simple.hs:625:20 in Cabal-3.0.1.0:Distribution.Simple
  confHook, called at libraries/Cabal/Cabal/Distribution/Simple/UserHooks.hs:65:5 in Cabal-3.0.1.0:Distribution.Simple.UserHooks
  configureAction, called at libraries/Cabal/Cabal/Distribution/Simple.hs:180:19 in Cabal-3.0.1.0:Distribution.Simple
  defaultMainHelper, called at libraries/Cabal/Cabal/Distribution/Simple.hs:116:27 in Cabal-3.0.1.0:Distribution.Simple
  defaultMain, called at Setup.hs:2:8 in main:Main
Setup: Encountered missing or private dependencies:
base <4.13

builder for '/nix/store/1bld7cv5njq1zq4gq34cjz5ldmrksxf5-regex-base-0.93.2.drv' failed with exit code 1
cannot build derivation '/nix/store/x65bvlv7q8x5bvz7m737hblxra6hq5nc-regex-posix-0.96.0.0.drv': 1 dependencies couldn't be built
cannot build derivation '/nix/store/q19pa8c4wh8zzrvz84w06a8bdl0884s5-regex-tdfa-1.2.2.drv': 1 dependencies couldn't be built
cannot build derivation '/nix/store/v5hysmn07z2zd736cgb29b8j9khk82kf-Agda-2.6.0.1.drv': 1 dependencies couldn't be built
error: build of '/nix/store/v5hysmn07z2zd736cgb29b8j9khk82kf-Agda-2.6.0.1.drv' failed