_=/nix/store/5idwbbv23b6vnqdicx97s3hsgrwwnj7j-coreutils-9.4/bin/env
__HM_SESS_VARS_SOURCED=1
__HM_ZSH_SESS_VARS_SOURCED=1
__NIXOS_SET_ENVIRONMENT_DONE=1
AR=ar
AS=as
BACKGROUND=dark
builddir="$(mktemp -d)"
builder=/nix/store/cjbyb45nxiqidj95c4k1mh65azn1x896-bash-5.2-p21/bin/bash
buildInputs= /nix/store/s2ljrz1macfjlrpksq3wbm25srfp0pq4-extra-1.7.14 /nix/store/bpl98qy7jpzz6mvjrsj1cx9wsi6m3hf8-hashable-1.4.3.0  /nix/store/zrh0hb1y4rxyd7px58f887j35zfrkhf7-unordered-containers-0.2.19.1
buildPhase=runHook preBuild\n./Setup build \nrunHook postBuild\n
CC=gcc
checkPhase=runHook preCheck\ncheckFlagsArray+=(\n  "--show-details=streaming"\n  \n)\n./Setup test  $checkFlags ${checkFlagsArray:+"${checkFlagsArray[@]}"}\nrunHook postCheck\n
cmakeFlags=
COLORFGBG=15;0
COLORTERM=truecolor
compileBuildDriverPhase=runHook preCompileBuildDriver\n\nfor i in Setup.hs Setup.lhs /nix/store/4mdp8nhyfddh7bllbi7xszz7k9955n79-Setup.hs; do\n  test -f $i && break\ndone\n\necho setupCompileFlags: $setupCompileFlags\nghc $setupCompileFlags --make -o Setup -odir $builddir -hidir $builddir $i\n\nrunHook postCompileBuildDriver\n
CONFIG_SHELL=/nix/store/cjbyb45nxiqidj95c4k1mh65azn1x896-bash-5.2-p21/bin/bash
configureFlags=
configureFlags="--verbose --prefix=$out --libdir=\$prefix/lib/\$compiler --libsubdir=\$abi/\$libname  --docdir=$doc/share/doc/model-checker-0.1.0.0 --with-gcc=$CC --package-db=$packageConfDir   --ghc-options=-j$NIX_BUILD_CORES +RTS -A64M -RTS  --disable-split-objs --enable-library-profiling --profiling-detail=exported-functions --disable-profiling --enable-shared --disable-coverage --enable-static --disable-executable-dynamic --enable-tests --disable-benchmarks --enable-library-vanilla --disable-library-for-ghci --ghc-option=-split-sections $configureFlags"\nfor p in "${pkgsBuildBuild[@]}" "${pkgsBuildHost[@]}" "${pkgsBuildTarget[@]}"; do\n  # If this dependency has a package database, then copy the contents of it,\n# unless it is one of our GHCs. These can appear in our dependencies when\n# we are doing native builds, and they have package databases in them, but\n# we do not want to copy them over.\n#\n# We don't need to, since those packages will be provided by the GHC when\n# we compile with it, and doing so can result in having multiple copies of\n# e.g. Cabal in the database with the same name and version, which is\n# ambiguous.\nif [ -d "$p/lib/ghc-9.4.8/package.conf.d" ] && [ "$p" != "/nix/store/k033yvpca1r7fi0hwgkh5wnky5iixvlk-ghc-9.4.8" ] && [ "$p" != "/nix/store/k033yvpca1r7fi0hwgkh5wnky5iixvlk-ghc-9.4.8" ]; then\n  cp -f "$p/lib/ghc-9.4.8/package.conf.d/"*.conf $setupPackageConfDir/\n  continue\nfi\n\ndone\nghc-pkg --package-db="$setupPackageConfDir" recache\nfor p in "${pkgsHostHost[@]}" "${pkgsHostTarget[@]}"; do\n  # If this dependency has a package database, then copy the contents of it,\n# unless it is one of our GHCs. These can appear in our dependencies when\n# we are doing native builds, and they have package databases in them, but\n# we do not want to copy them over.\n#\n# We don't need to, since those packages will be provided by the GHC when\n# we compile with it, and doing so can result in having multiple copies of\n# e.g. Cabal in the database with the same name and version, which is\n# ambiguous.\nif [ -d "$p/lib/ghc-9.4.8/package.conf.d" ] && [ "$p" != "/nix/store/k033yvpca1r7fi0hwgkh5wnky5iixvlk-ghc-9.4.8" ] && [ "$p" != "/nix/store/k033yvpca1r7fi0hwgkh5wnky5iixvlk-ghc-9.4.8" ]; then\n  cp -f "$p/lib/ghc-9.4.8/package.conf.d/"*.conf $packageConfDir/\n  continue\nfi\n\n  if [ -d "$p/include" ]; then\n    configureFlags+=" --extra-include-dirs=$p/include"\n  fi\n  if [ -d "$p/lib" ]; then\n    configureFlags+=" --extra-lib-dirs=$p/lib"\n  fi\nif [[ -d "$p/Library/Frameworks" ]]; then\n  configureFlags+=" --extra-framework-dirs=$p/Library/Frameworks"\nfi\ndone\nghc-pkg --package-db="$packageConfDir" recache\n\nrunHook postSetupCompilerEnvironment\n
configurePhase=runHook preConfigure\n\nunset GHC_PACKAGE_PATH      # Cabal complains if this variable is set during configure.\n\necho configureFlags: $configureFlags\n./Setup configure $configureFlags 2>&1 | /nix/store/5idwbbv23b6vnqdicx97s3hsgrwwnj7j-coreutils-9.4/bin/tee "$NIX_BUILD_TOP/cabal-configure.log"\nif /nix/store/6i00hdmzlj56qy500p5gb5v88wfj6nhg-gnugrep-3.11/bin/egrep -q -z 'Warning:.*depends on multiple versions' "$NIX_BUILD_TOP/cabal-configure.log"; then\n  echo >&2 "*** abort because of serious configure-time warning from Cabal"\n  exit 1\nfi\n\nexport GHC_PACKAGE_PATH="$packageConfDir:"\n\nrunHook postConfigure\n
configurePlatforms=
CUPS_DATADIR=/nix/store/j4a6s1ikamhynw6kqbaplxagsdlk7y5x-cups-progs/share/cups
CXX=g++
DBUS_SESSION_BUS_ADDRESS=unix:path=/run/user/1000/bus
depsBuildBuild=/nix/store/k033yvpca1r7fi0hwgkh5wnky5iixvlk-ghc-9.4.8
depsBuildBuildPropagated=
depsBuildTarget=
depsBuildTargetPropagated=
depsHostHost=
depsHostHostPropagated=
depsTargetTarget=
depsTargetTargetPropagated=
DESKTOP_SESSION=plasma
DIRENV_DIFF=eJzsvYmS2ziyLvwq_DWOOLMYKnAn64Tjv9V2tV3dbtttu7c5daICC0GCBEAQoLjNnXe_QUpVrkXqGS8T12euusOWDCI_JJJAIr8kCP1tpVenf1u9PHv1fHW6ytTV82_WP73_FiSrx6uXr5-evTy_Onv79MXFz-er09WJ2agTsjEmUy2wo20zeWL7E8HxiagJEtnuAyBDCt5lq8erN2fvX8ySRS2zEyzNyXqpcoK5Ol3geoO0zozdlnyopvgAtKkZF9n2kuLDyZ2C-5C2RW32sFrWkusCe6IzAzY2M4vcDWyHzG05e0Izhjai_aDlw05jrlaPV78-e3717Oz92dWzi7fv5n7OMLatTXYyTSEJIpXEMKaxoT6pvNz0fleSPvd0B0FVK1uLDHjBGnpr78QWyGSntxC4X3ljqFUa5KOKC1eHHcR-2pR-gqtRRKDS7QiitbuGD4XDJuo87HZ9oVyeW95XylRlDHOT0DwhDFQamdYeEjex39kiVqj3ecqDXFcwt8TPk0pzJmbtVd1yNpJaMZ4fQqFDj9KKC4lR5IqBdLI3eBIl6mnIEWmALmpVKxCsXW-ffElHUUx9NXpFlY-liXy35DQcvMbHcT4RUKmst-2GsYMasEJ2JWKTX_TaJcbVpA-54LwTevBtCioiNy0XBw3RFWOSa5PTCIVjVZACepVJWcJE08QIFqAapMg3_JB8YPMmttL3ZDmUdJSiMSxJmZeOWrGx46Bqs6HtOc2zw3ejsZX0vL4qhc-KtGCj8Qt34mUiY-VaKIGtlcrag30YEWUqJgaXqAvGcYxLgnEx0UJ6Y1qM81ggFcqzQwAkTKGLRqNGjYcY5pUPQzJO2sQMF4MbgYobniN50ApTLIawMjGysetNwdS7-TjmZexzGiAdY1Dx-qAFcRCWMC3JUOVRmVRBlBsZ5Lo0QyCsGICtBacHpf0mNkykwUib0GI3noz1SzqVTVykTRyCqkdCHLadO7gBztnEizjB1uCBYh1yy4LUhZS4BAiOc52DzJjaAHcdJHt6z4ifq0CgLvQSVoqpiOGkgkDmkajcnoPKZqbj5KD9ozBU2gtImaoUQ1v0pUWk5GHYcdcWQwSqssb_YAxFJPcaO-bVFFTStZHPYFJo5jW99YMwZLsZzQlqea0OwugmmaBlcVkajfsugRaRsesJw8jFfdWDireZ7HjWH_YtkPOh87qcYj-CTRMznxVCubCnKJpYASpSSy2yWY9DGFVgkFd2WsW2mHjoKViwRKtx8ioRmiYAFdq0xSFpOEbQihwXPI9SL6F5PCReCFNpq8DivABVzxWt-627P4QiPayoqaJGpOFEAsMl6lQQKZvHcBKpCypOatUWmcwO20Lnqouwy_zAepHEKXZL2_RJ0LBoIJ4HqlzUGAlESCYOgYwR9ie30PE0auXLMkx8qYmWkqc6mGQOKlqTtq4Pe7mImnhEfAyxaBpLhokSkY6uFzZmIoMoQLVb0g-6mDDXLkfd5PphCUsmI2hKO7oJrkyDUQMqijcWUfo7Q2tsAoj9yFTFyEI3Kisjij4sYGdSgXPjgQrXdSWRqQ5CMOqqzu0xzvVEoPJxmjMP26qJXY41UfPQmhesfzBXTJX71POla3SUhPlEzBD7ox69HHWwsP08PhaA3-9Q3jdQGlZGsBlEMvChH0jnxswNVCBiT8zamOz3MRLPnTDxRGB54Rse5bIL-1Ehj5a05G4-Y4jaWDIPs0MgqRUsSGlqodGjP0UGi8a3wkRDiLoUcVBxNzk41-LE8K6kkHYDTYdEaa-pklzIyhQJHXM0q0AzcrALJbEWsqQpZdO5aCKIKRikHZ28wMQu7a5vykEXLAuDAjWheeWcaD80pWDM9UPmptKiEeS2BVpscq4syOuaAnftBfsiqibXlS7IpMtUxYbZUY0uYjZkA5-SqTB3kDCy2UGkvicijBGRYxK6kel55I4ch6NHZdRNXjUjmQzJzByEgEUMi5y5XjENWvtchcYbGyh0P2mIYgRYrdqdZby1G67hvNY8xPGp6qIotAU0A-8nBWM78ti4FVGu9d0YzPENEFxtBuCt_XTt78eJqyYtOlOQMcndDpYUxsqEgRenyOZpR3bBLwVeGK6DPXoMFqPCNA0J5vWuUrIs0zKNklgFBZ8gyAXHwFsncO9NDsVEZdmbrpICDoO0AYJN6krNkWJJDvKsnSMlANeeu3b3ACDjdpEo9cgG3amQ8aqIC53kfp9SNge8PZ-HOFwH-8Q7xFGUC6kQ1hqxxI8KSmRfJqpHmI7zGk1MlilRkyozW5w9LkxZXeV-iE2PoMv9Ro_doI2qwkkYj9HZ8logK9EhhM-M20svtzCWmJFG9WjgihuT56FASdGxbtCzArueHNIgxqgacJIE0KYddWkV9LIcuBJlXCaji0Gluc56brJDCLyaJiF5HxtEqMctT7nrlb5HB8Rll1tQ0YwIZFD7uyuKLwsf6XHswkEVg-g5Vl3qkY4lkRd6AJssmzIwr7EHzeERl9JSjrFFvi19rhQVPgoVqpTvTTa5BjnQkagaRxtxaeKmHxdVDEETZpQ0xiV0XDpSG7SLVPZiNLEYtFZFhMM8Cqk3-qUwsON9jCI4JBAwg2TW16biqs3yG7C9_UFelY4Nx0FaVAENgyEhYzTEUwc5THJVgXoY80zdGGXvVDuyqi_Cqr5I6HakZkdq9hVRs89nEl-CCHwJgvgFyMS_C8f8bHL3dbGqz6UjX4RR-ZOeeJx3Xt53Xh5V7uj5GIqwownxJhMBpPWWAYCmBe4a7iUR5YB6ElZ5CnlpoOvyxLjYhL0eBhdWI7gJtGaAcM8gx37KIYp8PCTV4OFcDq4O6OAWpJdqKgBqWwO8dbivdZXEVGmf9GmaW9sIOFTpOBJTmDyEOTdgmEC4DtbRl-aTX4IWfy6nTAUTmiUJlwE0uoE-4fHg2YRh1ZSBR0GxUVZnQgB3HR_Z25G9Hdnbkb0d2duRvR3Z25G9Hdnbkb0d2duRvR3Z25G9HdmbyU6sHzWDm0c6jSJrXBvnTIRpGQ1jPJZmoGDHmuY42WpEDobsrp_20hWDsFDGrENp5JeDZ2DgchLHAwNNQzxAM1u1tQa2HcXBOT4aMio1TGOOFLOWD9AWWGEcwN52ObE7nUK70bo27SGNZAkJLHiVQsWTSJc59XwoVN6nZl7Sh-uuKaTqQxiCxYGnSpfCQOeJmxQ-Ek3UENn7Og2CAKisnU0jkUL58sQ4iPaGCH2CLO9IPLhscIs8GkgahJHUg0o0lw3I1aYVFvjrZJ8aNlHCrTxK8igc-nyMPNxV3uT7cakHG3tAclFvDnUiYRBSGJfVOCST60uJpjztYUpS05QRq7bcdLT5Bhl68P5-Hs0_EsJ9KyrUUgS8Y1QLGFY6jDjqAxK6cYNz3QlQbWxmWJZRjEh1MOApFUnduIHMs8zLXZxURZoLN-16GRJiQbVRfHaJXWbs73SJa1GSxuWBN_ARTanoBUpd305RZUsf2S23yyhva_MvTR6UUMMysNzNG0_QwePIwshtfI8wjfW8TtkWtRu7Dc4zw38njvta0ktfRX7oq9hZ_PlZkM_m7roq6IQDGNMp7qxKR-jRwfokVUUTGzf4wN13wZB7YKc2lto0yut6yAY2GuU3rIGeLfw0iCXeUvhsaA2yh_eKD24JexLiASd0jDo-yTGX2qIibBiP4wnYUbVoAAXPC8HzouXqX7ZrO5qSPKVJ3_jIt5GQCfHiOLZVmk4KmgCCiiprDyYWXOFOBk-ha0tPFqbTGJVKDoaO4cRsX4GqqAWnaDzMg3NakCj23NG6OGCjSmjfuP4kGaZDhafZz9vNQQ_2Odvuv0jy9Jig-1IJOhNEcWpgrlXvla6Fk0wNQ9OAoy7vYzcBGIn6YILsmFw7Jte-YHLtmBj7QCZy0lHEm2ryeUUVT_3GDXjUDZGPEY4VqBgXmcxaRFGLDvpJyqaSjlUfxdaDxA95jKLIC_Do8yksu3mUc6q8mXqv4y-aQ_kSidKvIwtVKWRL7KXUaI3DkuMOx3Je-Ho5hXJcjNggQTYCtRkI93OQz36O8SUypV9XovOz87b_Jm8PfG6u73MTxsdU3zHVd0z1HVN9x1TfMdV3TPUdU33HVN8x1XdM9R1TfcdU3zHVd0z1HVN9x1TfMdV3TPUdU33HVN-DqC6sesTzZAxFGpqxC0rq8ib2q8of5ID86-ScvRbdf3rfLdx7Rf_4BL9dxcNn-N0CP3iK367O_nP8lourvz9eqdXp31Znb1enK2RWj1dn7-ZvdvV49fTp6nSVEzJ_ff3q24vnV-9enL98efe0P1LiEQehGnjDaZmGJKhcWUQhmpQ7JGkEMLIFCNce0J57grk6mQtmyF9_neH_8pfV49Wzi7fnr36-enYxawE-mOepqDf05F27oeOJBz3f-eXdyQ_ItplBBme8PbGGfBD_9uLl-Z0jF_8Z8ZN1prrbKL-cvX_64nw2QvbdCKvKbS6m8x_fNsmInnvWNVdVjAYVkp9sIeRPP3__M8zjOn733Lz4bvN-k__49ulvxcVFUYx5VELgm_QFzdP0r2fs-eD_JF9s2PcspO6Pfmyfu1Hw4vv3UcrYxRV8Zn7-_tvnstTdK3aevkQZ8i7iV99f_VV_p3778b0uvkEb78UL9GZyX-iycAM_a3Xat_zXVz-9KPBvb79_8T39fgzEs-8z--znMY5_fPs0p0_rb_56_sPwXfS-qqtMf3fxthrP34_i6fnz73_87lz2P4vi3bfn4fB8I17--CYrnzVv-S9VSC6---v7C_DN95uf2ue_9a_RN_BF82543vz6a_Otx8unonoevLvoK1y--OW5d45-mKBKfoso9J7_ZOJ-8-7nXyUI3r_evNOx9a9-7q7Y0803r8SFBt5P0VUyxPpswBHNzkQyPv_tB9f9awfYWX92dnWVPMte22r1ePXi9bv3V9dHad7KkVKB0r6gsMgbHoz52BvZpb6PbdInVSyBIhtjl1U0-HDa5S4VwWmPcef5OOpUQzkZ0tj6hc1N36syLsG84myZZ_pQOkAlr2KotCgqnCiq_Lwp4g5imBayy1PAuKJb6WCdruF9-TGQPvZ96gUQSTvSENJIKihTPbI0iTWgnLGtvL92H4inE0fCF40ZUxYb2_uuiTsbalcqHAukQK42NqNz2_dFIw5hQeUkyjBqxhBCHeY47JKkZ2WkinwWzU2m53bd-8J9kBBFdYj7KRgCEaSj8XI8wTSPWOrSBuSor-ZZvvbui0qLugbLMDWwCfouDGxgpYZ86EU0-nRaEvpoJmh--EDnybW2siHFkqSTDQmZVNrkg5eMIimTEeQT18Bdu_59yYnCWCDRRCEUHUyHqtLeSFJUDFEkpBcCPHHtLfFiAhavdFcehrbRDVMFglriEHHk51MaJVzGKoFRN2stUZWBYMni35P-aKd4x2CSTcozgWkiUQpeSZ1X8ejy1A3yAA4caNSSAnjreB3dl2U6SCseMlzYJg4CUUrGCImCaCRT0afyOtoP9_U5MVVMxmZgsaRdXyrViSKs-njqOtX5IwTz6jKLh7tDYC9eXb26-PVmVeBSb0y2enzrUN2f3n04VPfZ6nQl6N7jdW-R2K6hRR5aVSRRqbiKOqbCMRDxEDQW9nhZ-QnYHrdr5yAkAV78uyfxzip-c_Hq_evXL--dVBtNhQ18nwRkRLyIRRQS151kHPgWdShEs5G2c3F3WC_w1gG8B3n1y9uzN2_O3169P3v7_Pz91eKyhiS6ioKrjapU3aurJWK6ytVmdbpyr-V_unj57Orp67fLWhPsSpc19zZzKaoCkyLQbl8y4eZJmveutFPXmRhPHQQ5ITfauf7aW8MbpE_V7Om3L8-ev7t6-vqHN9sV1QHMIEVrCWyW0Sc60VIgFUX9TuD81bev3z49v3r1-urV2fvtPb0Ge3H29tn5q4tXz6_OX519s8Bhrqiqe4fVRqJ2_mg5G68_fUdz4phMmNqxLSKVNnWbkbY2jm0NJ23dZYaJ-rrxl88WdefAwWjUFs5Hrv_1ptWb1s6f8zByHPDyU1eaWfyOtNJMcxEq2wvUjPEYRrTXkNgydXXJx-VpCGMc-OtgnzgOTWh4hak2UWODnsmIDlNKsZFjp20EcqlBz9sCkGEA0dpfw4cg_xN7sLu1796_fnvXP8wXflidrpRcPV69_ua7p6_f_LY6XdW4JLUet2XPfvrhzbaMbqS-dRT3rVkFfX_sNEGuiRmHRZ9XRdiragw5HzpRgbwg8-q_Tu77yM-KPMSQimhMfewXXo48TSsDIatyN8n9JJDAZLLuMmAylplMkcyCtr4PYmwaKC9HUWBYUqVsYCXvchWNIvKHgQlAEEYCMDnTG3ed7nP0Eez6JPWCKvStTWBCSdrrinLexN2ovXiHwZVtkRBLILL2Hq5ySPgRdpWyXHUs7vhU-N4wDdJ1o6QgVQxYvTGyFptZk2BJqtxfJ_M-kqYLeB_JNBqMpC5ClnBZEW-EkQEFslUmBBBI5RuUZ8Bmpsu27wbuwWOFsrrQriW4YTIa_ZgwE4Wi7FjOyRQAlNlaAW2yth0BXCcPwyQZdbyxuiIjtl6AvB4J3o993MdR0SCJ5qHBaXZIgxhJPnFDmKc8X2Ck465SAytFmEZitAMgtbKtQVy19vqBF1zvNQ7spW8JzHnlMW9kVY6IiYPeHzHhRcI0KHgGMK9nAHfP7fGSGNOGQOiXpi9kPvYVKfQkrEnzwmXRLE_x0nrwsPXUDaTplAuHfoTF0Ccdk9Yroso2CNmBA2E1aEe9LMLuPv0DXEWc89HtCZZBrGIYjBr6bpywJEQhBVxqwQlvl47Mg9Vbx_dB8BhMsIAK-2lvpsGn2JRskNQdQ2LKvLq-l3YGm6OxGeWBKlUzKhTnULiWdlXnB57CjOqekoYmsDeAiXo70OA81h_Mehr4dsoN5rYaEymSqkzGsvKknBJheJIAk7WGL4em7gmAOcLlWPisC9hIh2RkvrC96wnfIFd6MUBai3Ge9Ygsk9bfa83UaN65XOcRhjyGSSo5DtzUD2OKJZ1AIbhqgb-OHo6EqjO4Y2MU-WEcdSqFuuJdlyqVy5JOWACidWFn7eE6fSgeQo83-RgGOkwEiXpRVAnjYV-KQk2dQaCwpBb1Znfi6wO_N-TFNAxTHgg_DZVM8zwteDMMFGqI-l6C-tpLxPPN2-exOEYlDxPZlD73tGkYLRPeNVE_ap8q2wHbIrWMIXfP3UdB542G4EK4YVcaDvtOJVSM1na6V808DzNll2crcBnLD0zQME6qMSRVDiemUuX5PC-Ub8K-inwk4LJNi9vixmEtHi_ccxsR9wsIe21iMylY-T13WZNaU4nRLWM0j2dAain59l4-AChUpISM-YAQD0JbkT6ySpg-pGFJozABI5Ji5_33DaNAN_2Q4FLlpa5w5Y4epYmebJBaN-jTLbnIBJvl9-j_CfHofYgSQoUTG8oeDTmP48JzuTsSnLrjMDSkWiD2i9KuwxEzmiouOR1cFrpTmXMfscQINbo7drBjBfsG0uex_08jDA8ce86DDvduw0pFqEhDlGoxBv4oaYS0kR9Q9kkf8xfH_MUxf_H5-YvTj80TU24y1e3_CZ5_k1_1eXv26uXFN6vTlUFqS8Penp89O3_57VyUIZoJtnq8enfx15mVWT7NfOzd659m7v_s7P351fmb109nquW7Yeh7CYTz9fdvL14t_Hym7yq3u7I3uxL9-78m9BFU7eFW2o8haw-fvCfDECHG0wK7AxrCIumR8gMYTj5UIzX3mdaex6OfyLMePvWdgtQbuR_IAOZwKOOU0bSyaKQxMqNUALVtrZGxGdlGHnu6U3E3RLkmEy28nsXjSD3NPE9bNpRV4-aLIUmRkQrAhdvsMegnkIKHzyoH14goEKTzMaU8nUgA05IEnDKPNzECDHGxXXz2iX9KMPlwB9tHhZMPdy59bBD1cN_R8Teyjr-R9XXsQTwe5XfcgvgVbUE8_kbWLVscfyPrQzeOv5H1VW59O_5G1p79qsffyPrKdvT9m5yy_lW8G3c8Jv220_jqXpX9Onbc_1874vVzD0g9vuZ_fM3_n3rN_9_vlfQv-Tb5v-2Lw__DX_z9vJdFv45X2r7I21z_D73j8Xh1dWVbsyHtxmT0rG2NXZ2uVo9XeMMFvVB6084Fzm3_6onSTK5EhJXC6Mo2fo-lF1rDNNRNsJ1yyxrqBrcFsRZp0oxxqacpkl1pbOmSIe0tj6RfsAQUyBYIizlwCNb-Gjq3pSdTwAK7Y2CGkcZ6CBOWJHHphxMzVcFisFG1oZnJKCC1ahFXmbFgeWiSrt3rHr0pkM1WpyuzUS_qunK0yb6Zyy_V-uRd1m60s1RzLtVNjdq2uyrXIJn5Qu-5LI9U9qj0dC6_VMvlbwXK7ZkxaPzLkz9eKse5XAFgi7oHNGsRF_bJNmLjKr9cLdfVnz70ps1s6ziPPiA5j_52D_b0L5erB4X_9b_----Xq7_fNcNOrVlxiapsqb0dLaSWmoutKZ8Z3mVmX68eVLpUl4rVxuEOV86i8Lqwuy-isLdvfyCpTlQxMkqLGAuBeTzYaYqrNA1DFafgWvw_HVrPZlh6DpjziDuXGwi9aPu3g02GqktFa5XNzWekqB07y-7UW3p16jx6UHap8oLsKXcAmK3hgHqruQNqyo3zaBkq8zdQ8LsFj_jc8h3L7jHNYtaZxG_MXVPvyvZaeHdtxt8om7XO8xdPr96cPf3-7Pn58rKMs_z3B-cpwkg4S74UcWUdzpy24NbpkOHzHHS4nc3i0I3hKnduWl3fGO2ucqfOo7sFH8bgTfn9Ko433xM_294Z1_nfzmftZTlps8y5XD36sIP-_es3J9vnqB_0F_UyTzhzPmcDyUk2_9MBjQMm5z9-QUZxlZ-u_0wznSlqnVo5ciNarkXm7MIz-x__pHL_6bRFpuYxvNj5to0853L15z__2UG4Nq2DM4I2NnNq5tjM8HpjP9gatFxmTr9VzGGmlttbvvUR2cBbx71UbBmJ2TBTgwdD5cnl6tHu-c48sJ5xczpL3x-5N0PuzuAUqGW1kbtBSzNtl8G9_PWpT_EfAL0xtUY5ajN6r5n3yORZu7dwn8yL2rbzn4cl-2pvce43cbv0gVS9uM7dqw-0vtg-1b8uXMrIx7-eeP16wiw8Q6j2jNJn3M7z91mm3xt002Yxh9J715oX2yv37-tN8SJsaDaPox326nSl-Rw77HYn7EHd9XBGvXYD_EPR9v_Z8w-z539Ea7KNR-aunMiaZmK73SAzu12X8HJ1UrRSLP2-XP15Pf_j2tXv2xvvgNZ5VG9a59Fw7exltXhjvbR3rcTtPt8ovXq8kpmt1S23q5Ccu7hXN5CpbqnS8m7rw28Cp08a53fc4Ke8GOB8xlYV5_M3qdyG-PgXAW5Lf-5LAHciiI_YJX1H7mO35d4W_sgtuavHq3rTfronmIUXiN3wmyfA1jtst53sBrPeN5rn8tnjzRV31W5FFMscn8UPhHrORlPUZmebtl4eGD5Xm63sO2K4bu3WRyyYF7e8xox4xzctNe7qcFPxduhlzlXHTa1kptoPktdu9-4kvHPp1Z5Zuno8Y79ezHZrzv9-e6f3X9V78uiPf3TulW1Xb-K4kfP_P7h2Ohf_6U-3nJDJ3h1o8ybsulwtujs9bwvnk9zLeruKX6rrgHRe6P8oqzaT2gH0T_Plpetv7iz-c61riZPlOthFB-t52V_TWe6Dj92DcKn0YcTfw9L3YHb63Y7Cn1yurtUBFD_Z17wDykf3b8Ff3r5_54CzKPjBAcvXtlg2M1IHmNbWurWzJnfD1rkp0GUG1zZzwDz9GR-eLIsNAILjxaKXj7bly-unl5ePdtPGbKvYzXUthPl8WXA8z0nHAYDWZL72zyyKDti-IJcT8uTR06ezMrdMcNdqzow9j4FaL_s0nvwT1pi12S75wGrBW1DjcuY7mVrKBMcGmXGX8JjjTPDh-46ePtkGlxkFbKPI0vIt1NuSO9Cly_RWHVJ3mUF5dqtKi1pOblXJhoxs2uUrHRWSy8Vd5ZkH3m4SZ4oUy16Ahx3pkOJCoFu1r6-w2ixvd92x4ZOdVWy269h9CrTaBjlz7DPH_n_TVX4ret1y7LsX5phzX_k2rtxeuQ57_uBc7EjblnVkioxOgayDnN2tdyhqEUY2e7xQCofUepy_zTShzVRrZ-rA28eX6g_ORonMWoe3M_Or1cIq6o2ZWYFdO--LzGYOQcpBWmfIzD2ar960zDPr9Att-YPTZw4ymUPr-cZuo6JtWsU-dpCiswazol32QE8747ZFJh87eNPusGjtqLp1eqRap61vOiGdeWCsL9Uf5nq_zPXUf7SOyjLqtPVjx3JFMqct5lm6a8c6PRfCwZmjTd3xeZrjrUGev3h6W_3dbN06Wd5u1d72x9aLGUxmN6Kd1S1QN5ff0D1S69kYNZuxsnW-3nHtbc9uurrFnkvsPPGX2T-3smOLj52-4KRwuJ1hkMQ839Qbu16Y6385gM7jQy_e5cMu5_s-1Pnvu7mP_1qELlfO__fEufy02PRfBvqB9RLtAPaPu7fQgPnr3rXmZEGqVcvVJrsmulseMAPqKr_rLS9Xe1eslWMygkiR7ZnJ1xzx3nydi47T9Thdj9P10HTV_3imOs4du3FFxIZmdxt27qUg__LkcjWv6cvjh50EoNzYJ7cRZsm5jXstCI4_Al1wfIO8SF6jzpgfQF9uo4eTb683eti5jdu2O9zEzeaQm4b2oW3t9ft-TR90aXfTH4epx8yFikyIL_TYY8Gam12drj6Q5-sEkQPYXMeQu63hhPFcKkxMkYdcoJC7XVxEJmUsRDySYHvel21pprp7opVSOaL9KIOojMLGugEnXh-nRqMuSRKwFdpudVswDCfts0xf88DlodnqdLU9IGVX7-9__z8BAAD__wFztaI=
DIRENV_DIR=-/home/bmr/Cloud/Study/2023 WS/Masterarbeit/src
DIRENV_FILE=/home/bmr/Cloud/Study/2023 WS/Masterarbeit/src/.envrc
DIRENV_WATCHES=eJy0kk1qIzEQRq8yaG2s1r_k7axn5cUshlmUVKV0g7o7SGrHJuTugQRCYhIIhhyg6j0-3r9Hdg99ZAfGx3UmHufKf5d1Q37sG164HKT69ffI_0DrVKFGmjpvNfE9Laea2I7NK_ZpJnYQTphBau2HHaPz1Hpjh143etp9wtiXNUHhbYRKHKdKy4lDKesDVy77QRCgdCoBZEMxJ6TkokepJIRkyETylCEGKQJEmwVlhSFE5xGulLQPejDqRiWk5cIJZTI-BKuUtGYwOaB0HqSxGqXXqF2ijClkG4SIwkbjHWG2EaMz0n8Y6d02GUr7wuSVXm-4TOuSp7s3_Vv_fCuBNlIp-2U6_8x7pAxb6deAl8yGYM11Zv-fAwAA__8DeOsk
DISPLAY=:1
doc=/home/bmr/Cloud/Study/2023 WS/Masterarbeit/src/outputs/doc
doCheck=1
doInstallCheck=
dontAddDisableDepTrack=1
EDITOR=nvim
FONT_SIZE=10
FZF_ALT_C_COMMAND=fzf-state get-source directories
FZF_ALT_C_OPTS=--bind 'alt-h:execute(fzf-state toggle hide-hidden-files)+reload(fzf-state get-source directories),alt-i:execute(fzf-state toggle show-ignored-files)+reload(fzf-state get-source directories)' --preview 'ls --color --group-directories-first --human-readable -l --literal --time-style +t {} | cut --delimiter='\'' '\'' --fields=1,5- | sed '\''s/ t / /'\'' | tail -n+2'
FZF_CDHIST_OPTS=--preview 'ls --color --group-directories-first --human-readable -l --literal --time-style +t "$(echo {} | /nix/store/4cps736z7in3d37qc801lwv9z0ib67ps-gnused-4.9/bin/sed '\''s#^~#/home/bmr#'\'')" | cut --delimiter='\'' '\'' --fields=1,5- | sed '\''s/ t / /'\'' | tail -n+2'
FZF_COMPLETION_OPTS=--height 80%
FZF_CTRL_T_COMMAND=fzf-state get-source files
FZF_CTRL_T_OPTS=--bind 'alt-h:execute(fzf-state toggle hide-hidden-files)+reload(fzf-state get-source files),alt-i:execute(fzf-state toggle show-ignored-files)+reload(fzf-state get-source files)' --preview 'bat --color always --paging never --plain {}'
FZF_DEFAULT_COMMAND=fd --follow --hidden --type file
FZF_DEFAULT_OPTS=--bind 'ctrl-f:half-page-down,ctrl-b:half-page-up,alt-a:toggle-all,f3:toggle-preview-wrap,f4:toggle-preview,f5:change-preview-window(nohidden,down|nohidden,left|nohidden,up|nohidden,right)' --border horizontal --color 16,info:8,border:8 --height 60% --layout reverse --marker ❯ --pointer ❯ --preview-window right,border,hidden --prompt '❯ '
FZF_GOTO_OPTS=--preview 'ls --color --group-directories-first --human-readable -l --literal --time-style +t "$(echo {} | sed '\''s/^[a-zA-Z]* *//'\'')" | cut --delimiter='\'' '\'' --fields=1,5- | sed '\''s/ t / /'\'' | tail -n+2'
FZF_GREP_COMMAND=fzf-state get-source grep
FZF_GREP_OPTS=--bind 'alt-h:execute(fzf-state toggle hide-hidden-files)+reload(fzf-state get-source grep {q}),alt-i:execute(fzf-state toggle show-ignored-files)+reload(fzf-state get-source grep {q})' --multi --preview '/nix/store/hkxgblx53kjpd8i80gllhad5b1y88l0i-bat-0.24.0/bin/bat --color always --line-range "$(fzf-state context {2}: --highlight-line={2} {1})" --paging never --plain {1}'
FZF_TAB_COMPLETION_PROMPT=❯
GCC_COLORS=caret=01;32:error=01;31:locus=01;33:note=01;36:quote=01;34:warning=01;35
GDK_PIXBUF_MODULE_FILE=/nix/store/rbfsm91ivmp599iyn3ap5xicjxyfiqqm-gdk-pixbuf-loaders.cache
GIO_EXTRA_MODULES=/nix/store/r2b8ri3mv9py2k1pidnjf40y65zlfdwn-dconf-0.40.0-lib/lib/gio/modules
GNUPGHOME=/home/bmr/.gnupg
GPG_TTY=/dev/pts/1
GREP_COLORS=ms=01;31:mc=01;31:sl=:cx=:fn=35:ln=32:bn=32:se=36
GTK_A11Y=none
GTK_PATH=/home/bmr/.nix-profile/lib/gtk-2.0:/home/bmr/.nix-profile/lib/gtk-3.0:/home/bmr/.nix-profile/lib/gtk-4.0:/nix/profile/lib/gtk-2.0:/nix/profile/lib/gtk-3.0:/nix/profile/lib/gtk-4.0:/home/bmr/.local/state/nix/profile/lib/gtk-2.0:/home/bmr/.local/state/nix/profile/lib/gtk-3.0:/home/bmr/.local/state/nix/profile/lib/gtk-4.0:/etc/profiles/per-user/bmr/lib/gtk-2.0:/etc/profiles/per-user/bmr/lib/gtk-3.0:/etc/profiles/per-user/bmr/lib/gtk-4.0:/nix/var/nix/profiles/default/lib/gtk-2.0:/nix/var/nix/profiles/default/lib/gtk-3.0:/nix/var/nix/profiles/default/lib/gtk-4.0:/run/current-system/sw/lib/gtk-2.0:/run/current-system/sw/lib/gtk-3.0:/run/current-system/sw/lib/gtk-4.0
haddockPhase=runHook preHaddock\n\nrunHook postHaddock\n\n__structuredAttrs=
hardeningDisable=pie
HOME=/home/bmr
HOST_PATH=/nix/store/2dla9whd0hgqi4ygywrmv933bs8w8k7m-ncurses-6.4/bin:/nix/store/5idwbbv23b6vnqdicx97s3hsgrwwnj7j-coreutils-9.4/bin:/nix/store/4ajik70nplhkb8ndn3gqh7v0b09hmvg9-findutils-4.9.0/bin:/nix/store/y4m3b33d240amsyd50d6mn0m9pyf987p-diffutils-3.10/bin:/nix/store/9zial3lqry9f7rsw31r7vs5p1mnb7lan-gnused-4.9/bin:/nix/store/6i00hdmzlj56qy500p5gb5v88wfj6nhg-gnugrep-3.11/bin:/nix/store/w48cndp5bwz4x4l49yr2gbz09g6f91dq-gawk-5.2.2/bin:/nix/store/msavqbm59r0q4wv54s4smp0ixwl6y3dz-gnutar-1.35/bin:/nix/store/6z1ssks5dbmc9zs5cczn9qgx28yl8j8y-gzip-1.13/bin:/nix/store/zd07lalq650lv09xkkp2yc9ahx66lm25-bzip2-1.0.8-bin/bin:/nix/store/05sqpqfnha0pmb5aia3gz968im7n806v-gnumake-4.4.1/bin:/nix/store/cjbyb45nxiqidj95c4k1mh65azn1x896-bash-5.2-p21/bin:/nix/store/mmfzn2r4rq6ljlikmpgk7y1i914g40xi-patch-2.7.6/bin:/nix/store/fp49ki5fbhsq744ljmffcc646yczhw9m-xz-5.4.5-bin/bin:/nix/store/8rk7cyqxf7mdvwjnnvlh5kw7zvvnv3y0-file-5.45/bin
IN_NIX_SHELL=impure
INFOPATH=/home/bmr/.nix-profile/info:/home/bmr/.nix-profile/share/info:/nix/profile/info:/nix/profile/share/info:/home/bmr/.local/state/nix/profile/info:/home/bmr/.local/state/nix/profile/share/info:/etc/profiles/per-user/bmr/info:/etc/profiles/per-user/bmr/share/info:/nix/var/nix/profiles/default/info:/nix/var/nix/profiles/default/share/info:/run/current-system/sw/info:/run/current-system/sw/share/info
installPhase=runHook preInstall\n\n./Setup install\n\n\n\n\nfor x in $doc/share/doc/model-checker-0.1.0.0"/html/src/"*.html; do\n  remove-references-to -t $out $x\ndone\nmkdir -p $doc\n\n\n\nrunHook postInstall\n
INVOCATION_ID=2544b2c326924900a1bfc2da0180c0b0
JOURNAL_STREAM=8:11219
KDE_APPLICATIONS_AS_SCOPE=1
KDE_FULL_SESSION=true
KDE_SESSION_UID=1000
KDE_SESSION_VERSION=6
KGLOBALACCELD_PLATFORM=org.kde.kwin
KONSOLE_DBUS_SERVICE=:1.69
KONSOLE_DBUS_SESSION=/Sessions/1
KONSOLE_DBUS_WINDOW=/Windows/1
KONSOLE_VERSION=240202
KPACKAGE_DEP_RESOLVERS_PATH=/nix/store/q7lxppnh6b5g65d2y3jlr0viw7a60x80-frameworkintegration-6.1.0/libexec/kf6/kpackagehandlers
LANG=en_US.UTF-8
LANGUAGE=
LC_ADDRESS=de_DE.UTF-8
LC_COLLATE=de_DE.UTF-8
LC_CTYPE=de_DE.UTF-8
LC_MEASUREMENT=de_DE.UTF-8
LC_MONETARY=de_DE.UTF-8
LC_NUMERIC=de_DE.UTF-8
LC_PAPER=de_DE.UTF-8
LC_TELEPHONE=de_DE.UTF-8
LC_TIME=de_DE.UTF-8
LD=ld
LD_LIBRARY_PATH=/etc/sane-libs
LESS=--LONG-PROMPT --RAW-CONTROL-CHARS --quiet --quit-if-one-screen --wheel-lines 3
LESS_TERMCAP_md=
LESS_TERMCAP_me=
LESS_TERMCAP_se=
LESS_TERMCAP_so=
LESS_TERMCAP_ue=
LESS_TERMCAP_us=
LESSKEYIN_SYSTEM=/nix/store/jwz6qa9sq7939ymww9k5s878shndz41g-lessconfig
LESSOPEN=|/nix/store/53phih5r880iigxpyirw27d1sh8sv3fl-lesspipe-2.11/bin/lesspipe.sh %s
LIBEXEC_PATH=/home/bmr/.nix-profile/libexec:/nix/profile/libexec:/home/bmr/.local/state/nix/profile/libexec:/etc/profiles/per-user/bmr/libexec:/nix/var/nix/profiles/default/libexec:/run/current-system/sw/libexec
LOCALE_ARCHIVE=/nix/store/pvqdhg5snh86jnin6vfn5y4l7x4qs0wb-glibc-locales-2.38-27/lib/locale/locale-archive
LOCALE_ARCHIVE_2_27=/nix/store/8qghbhqj180rril63ijfb1i0vzp6haf6-glibc-locales-2.39-31/lib/locale/locale-archive
LOGNAME=bmr
LS_COLORS=*.7z=91:*.Z=91:*.aac=95:*.ace=91:*.alz=91:*.arc=91:*.arj=91:*.asf=95:*.au=95:*.avi=95:*.bmp=95:*.bz=91:*.bz2=91:*.cab=91:*.cgm=95:*.cpio=91:*.deb=91:*.dl=95:*.dwm=91:*.dz=91:*.ear=91:*.emf=95:*.esd=91:*.flac=95:*.flc=95:*.fli=95:*.flv=95:*.gif=95:*.gitattributes=90:*.gitignore=90:*.gitmodules=90:*.gl=95:*.gz=91:*.jar=91:*.jpeg=95:*.jpg=95:*.lha=91:*.lrz=91:*.lz=91:*.lz4=91:*.lzh=91:*.lzma=91:*.lzo=91:*.m2v=95:*.m4a=95:*.m4v=95:*.markdown=33:*.md=33:*.mid=95:*.midi=95:*.mjpeg=95:*.mjpg=95:*.mka=95:*.mkv=95:*.mng=95:*.mov=95:*.mp3=95:*.mp4=95:*.mp4v=95:*.mpc=95:*.mpeg=95:*.mpg=95:*.nuv=95:*.oga=95:*.ogg=95:*.ogm=95:*.ogv=95:*.ogx=95:*.opus=95:*.pbm=95:*.pcx=95:*.pdf=35:*.pgm=95:*.png=95:*.ppm=95:*.qt=95:*.ra=95:*.rar=91:*.rm=95:*.rmvb=95:*.rpm=91:*.rz=91:*.sar=91:*.spx=95:*.svg=95:*.svgz=95:*.swm=91:*.t7z=91:*.tar=91:*.taz=91:*.tbz=91:*.tbz2=91:*.tga=95:*.tgz=91:*.tif=95:*.tiff=95:*.tlz=91:*.txz=91:*.tz=91:*.tzo=91:*.tzst=91:*.vob=95:*.war=91:*.wav=95:*.webm=95:*.wim=91:*.wmv=95:*.xbm=95:*.xcf=95:*.xpm=95:*.xspf=95:*.xwd=95:*.xz=91:*.yuv=95:*.z=91:*.zip=91:*.zoo=91:*.zst=91:bd=93:ca=31;07:cd=93:di=94:do=95:ex=92:pi=93:fi=00:ln=96:mi=31;07:mh=00:no=00:or=91:ow=36;07:rs=00:sg=33;07:su=31;07:so=95:st=35;07:tw=34;07:
MANAGERPID=1737
MEMORY_PRESSURE_WATCH=/sys/fs/cgroup/user.slice/user-1000.slice/user@1000.service/session.slice/plasma-kwin_wayland.service/memory.pressure
MEMORY_PRESSURE_WRITE=c29tZSAyMDAwMDAgMjAwMDAwMAA=
mesonFlags=
name=model-checker-0.1.0.0-env
nativeBuildInputs=/nix/store/k033yvpca1r7fi0hwgkh5wnky5iixvlk-ghc-9.4.8 /nix/store/5lx9l6y93b3h2ga2pdkr00fkg18g384m-remove-references-to /nix/store/d8xx6afi9hb1xax5h8wan3405z30nydr-cabal-fmt-0.1.9 /nix/store/60vw8924k53ss808dc9wpkdiiq7vyp27-cabal-install-3.10.2.1 /nix/store/al36b1nnsinvf7vizh32xzxm1168hck7-fourmolu-0.14.0.0 /nix/store/cgw6mrv4iw6m96xrmd1aascimkc2y06r-haskell-language-server-2.5.0.0 /nix/store/49rpiv1ipg6b0i7089mib419357dbmdz-hlint-3.6.1 /nix/store/4ai3h00wpr7rzn0k3wi1fq9srkly1j7a-pre-commit-3.6.0 /nix/store/hn6nlm7ixaai45skcw6snlrw5d5jd658-yamlfmt-0.10.0
NIX_BINTOOLS=/nix/store/6zhs433c4cyaih7l65c11zm743sava5a-binutils-wrapper-2.40
NIX_BINTOOLS_WRAPPER_TARGET_HOST_x86_64_unknown_linux_gnu=1
NIX_BUILD_CORES=4
NIX_CC=/nix/store/khkhbch4p1wjfl1g89gw1mszvvr7bzv0-gcc-wrapper-13.2.0
NIX_CC_WRAPPER_TARGET_HOST_x86_64_unknown_linux_gnu=1
NIX_CFLAGS_COMPILE= -frandom-seed=p8pmlan66w
NIX_ENFORCE_NO_NATIVE=1
NIX_HARDENING_ENABLE=bindnow format fortify fortify3 pic relro stackprotector strictoverflow
NIX_LDFLAGS=-rpath /home/bmr/Cloud/Study/2023 WS/Masterarbeit/src/outputs/out/lib  -L/nix/store/2dla9whd0hgqi4ygywrmv933bs8w8k7m-ncurses-6.4/lib -L/nix/store/npfpil5nswlaqy7y56dwp0csj91pjiyd-libffi-3.4.4/lib -L/nix/store/b5r5rikbdpr6qs4wfm6dxz9dbrmyvps6-gmp-with-cxx-6.3.0/lib -L/nix/store/2dla9whd0hgqi4ygywrmv933bs8w8k7m-ncurses-6.4/lib -L/nix/store/npfpil5nswlaqy7y56dwp0csj91pjiyd-libffi-3.4.4/lib -L/nix/store/b5r5rikbdpr6qs4wfm6dxz9dbrmyvps6-gmp-with-cxx-6.3.0/lib
NIX_PATH=/home/bmr/.local/state/nix/defexpr/channels:nixpkgs=/nix/var/nix/profiles/per-user/root/channels/nixos:nixos-config=/etc/nixos/configuration.nix:/nix/var/nix/profiles/per-user/root/channels
NIX_PROFILES=/run/current-system/sw /nix/var/nix/profiles/default /etc/profiles/per-user/bmr /home/bmr/.local/state/nix/profile /home/bmr/.local/state/nix/profile /home/bmr/.nix-profile
NIX_STORE=/nix/store
NIX_USER_PROFILE_DIR=/nix/var/nix/profiles/per-user/bmr
NIX_XDG_DESKTOP_PORTAL_DIR=/run/current-system/sw/share/xdg-desktop-portal/portals
NIXPKGS_CONFIG=/etc/nix/nixpkgs-config.nix
NIXPKGS_QT6_QML_IMPORT_PATH=/nix/store/jdylhzwky2hkgyjr631jid5x2q3b7gzc-knewstuff-6.1.0/lib/qt-6/qml:/nix/store/dfhmvjafz3hwp1cr1pcw5iliivlpx3s9-kcmutils-6.1.0/lib/qt-6/qml:/nix/store/qskm22wkjl3fh9hfyr3h1zij8m7n1s0m-sonnet-6.1.0/lib/qt-6/qml:/nix/store/c5901ayrnypbx70gk305cyzpr7fbhx16-kirigami-6.1.0/lib/qt-6/qml:/nix/store/6cg2qsygkz4km1s63f08hpf2qws3455f-knotifications-6.1.0/lib/qt-6/qml:/nix/store/0y60slgbhig6928dg7x82509msk4sbgh-kwindowsystem-6.1.0/lib/qt-6/qml:/nix/store/m2bndrk6ql95zc4rimavn46nsg70zl91-kiconthemes-6.1.0/lib/qt-6/qml:/nix/store/gwq0mrfj60qxl8xixwxcv17f14n4l72l-kcoreaddons-6.1.0/lib/qt-6/qml:/nix/store/9slf49d9s0rpy3z6rblq3slr6x5av9ai-ki18n-6.1.0/lib/qt-6/qml:/nix/store/jcss0f8qjmqv1azcafn049vdz24r71dv-kconfig-6.1.0/lib/qt-6/qml:/nix/store/vv00gkcn75ghvw083ar0zg2ah45qh7k6-qtmultimedia-6.7.0/lib/qt-6/qml:/nix/store/ajcczi8f4lf7h3gg5gk0zq0qvkx8x88p-qtquick3d-6.7.0/lib/qt-6/qml:/nix/store/8v425fjzxvpr3h0s2r7mxf18lq1lsdjw-qt5compat-6.7.0/lib/qt-6/qml:/nix/store/5xs5bqp920y6b41cf3jipx6ld6h5crl5-qtdeclarative-6.7.0/lib/qt-6/qml:/nix/store/1ar1v6ljpyfxpvn5fikh7hp8g3w9dfcf-kwin-6.0.4.1/lib/qt-6/qml:/nix/store/ynspkg35brwa01i3qpyvxprnk5zlr2fd-libplasma-6.0.4/lib/qt-6/qml:/nix/store/acix8w4g6151n26vhnnd253jk17sdv0x-plasma-activities-6.0.4/lib/qt-6/qml:/nix/store/8xqaqw29rjdwdyk27hb8w3bx1yh1rinm-layer-shell-qt-6.0.4/lib/qt-6/qml:/nix/store/l9z170nw51gwkp67lh1508h4s7x1ndr2-ksvg-6.1.0/lib/qt-6/qml:/nix/store/7bakxb8840s9vd1dk4wmjxinlj7j8y1b-kpipewire-6.0.4/lib/qt-6/qml:/nix/store/ikzzlmiw7racd2isi9i12j32dxaimvgs-kdeclarative-6.1.0/lib/qt-6/qml:/nix/store/jdylhzwky2hkgyjr631jid5x2q3b7gzc-knewstuff-6.1.0/lib/qt-6/qml:/nix/store/dfhmvjafz3hwp1cr1pcw5iliivlpx3s9-kcmutils-6.1.0/lib/qt-6/qml:/nix/store/qskm22wkjl3fh9hfyr3h1zij8m7n1s0m-sonnet-6.1.0/lib/qt-6/qml:/nix/store/c5901ayrnypbx70gk305cyzpr7fbhx16-kirigami-6.1.0/lib/qt-6/qml:/nix/store/8v425fjzxvpr3h0s2r7mxf18lq1lsdjw-qt5compat-6.7.0/lib/qt-6/qml:/nix/store/6cg2qsygkz4km1s63f08hpf2qws3455f-knotifications-6.1.0/lib/qt-6/qml:/nix/store/0y60slgbhig6928dg7x82509msk4sbgh-kwindowsystem-6.1.0/lib/qt-6/qml:/nix/store/m2bndrk6ql95zc4rimavn46nsg70zl91-kiconthemes-6.1.0/lib/qt-6/qml:/nix/store/5crla95iilnjc3lcnwsqkc91iw8s580q-kitemmodels-6.1.0/lib/qt-6/qml:/nix/store/9slf49d9s0rpy3z6rblq3slr6x5av9ai-ki18n-6.1.0/lib/qt-6/qml:/nix/store/gwq0mrfj60qxl8xixwxcv17f14n4l72l-kcoreaddons-6.1.0/lib/qt-6/qml:/nix/store/jcss0f8qjmqv1azcafn049vdz24r71dv-kconfig-6.1.0/lib/qt-6/qml:/nix/store/vyvbdijzy3bhxd8df4a2k9wmirp5qpn8-qtwayland-6.7.0/lib/qt-6/qml:/nix/store/6j6zbqj23rly9yb07pjiijcbm30qchac-qtvirtualkeyboard-6.7.0/lib/qt-6/qml:/nix/store/mlfg711bqx4ygzs855bwc412l6l3kwbn-qtsensors-6.7.0/lib/qt-6/qml:/nix/store/ajcczi8f4lf7h3gg5gk0zq0qvkx8x88p-qtquick3d-6.7.0/lib/qt-6/qml:/nix/store/5xs5bqp920y6b41cf3jipx6ld6h5crl5-qtdeclarative-6.7.0/lib/qt-6/qml:/nix/store/1ar1v6ljpyfxpvn5fikh7hp8g3w9dfcf-kwin-6.0.4.1/lib/qt-6/qml:/nix/store/ynspkg35brwa01i3qpyvxprnk5zlr2fd-libplasma-6.0.4/lib/qt-6/qml:/nix/store/acix8w4g6151n26vhnnd253jk17sdv0x-plasma-activities-6.0.4/lib/qt-6/qml:/nix/store/8xqaqw29rjdwdyk27hb8w3bx1yh1rinm-layer-shell-qt-6.0.4/lib/qt-6/qml:/nix/store/l9z170nw51gwkp67lh1508h4s7x1ndr2-ksvg-6.1.0/lib/qt-6/qml:/nix/store/7bakxb8840s9vd1dk4wmjxinlj7j8y1b-kpipewire-6.0.4/lib/qt-6/qml:/nix/store/ikzzlmiw7racd2isi9i12j32dxaimvgs-kdeclarative-6.1.0/lib/qt-6/qml:/nix/store/jdylhzwky2hkgyjr631jid5x2q3b7gzc-knewstuff-6.1.0/lib/qt-6/qml:/nix/store/dfhmvjafz3hwp1cr1pcw5iliivlpx3s9-kcmutils-6.1.0/lib/qt-6/qml:/nix/store/qskm22wkjl3fh9hfyr3h1zij8m7n1s0m-sonnet-6.1.0/lib/qt-6/qml:/nix/store/c5901ayrnypbx70gk305cyzpr7fbhx16-kirigami-6.1.0/lib/qt-6/qml:/nix/store/8v425fjzxvpr3h0s2r7mxf18lq1lsdjw-qt5compat-6.7.0/lib/qt-6/qml:/nix/store/6cg2qsygkz4km1s63f08hpf2qws3455f-knotifications-6.1.0/lib/qt-6/qml:/nix/store/0y60slgbhig6928dg7x82509msk4sbgh-kwindowsystem-6.1.0/lib/qt-6/qml:/nix/store/m2bndrk6ql95zc4rimavn46nsg70zl91-kiconthemes-6.1.0/lib/qt-6/qml:/nix/store/5crla95iilnjc3lcnwsqkc91iw8s580q-kitemmodels-6.1.0/lib/qt-6/qml:/nix/store/9slf49d9s0rpy3z6rblq3slr6x5av9ai-ki18n-6.1.0/lib/qt-6/qml:/nix/store/gwq0mrfj60qxl8xixwxcv17f14n4l72l-kcoreaddons-6.1.0/lib/qt-6/qml:/nix/store/jcss0f8qjmqv1azcafn049vdz24r71dv-kconfig-6.1.0/lib/qt-6/qml:/nix/store/vyvbdijzy3bhxd8df4a2k9wmirp5qpn8-qtwayland-6.7.0/lib/qt-6/qml:/nix/store/6j6zbqj23rly9yb07pjiijcbm30qchac-qtvirtualkeyboard-6.7.0/lib/qt-6/qml:/nix/store/mlfg711bqx4ygzs855bwc412l6l3kwbn-qtsensors-6.7.0/lib/qt-6/qml:/nix/store/ajcczi8f4lf7h3gg5gk0zq0qvkx8x88p-qtquick3d-6.7.0/lib/qt-6/qml:/nix/store/5xs5bqp920y6b41cf3jipx6ld6h5crl5-qtdeclarative-6.7.0/lib/qt-6/qml:/nix/store/s36qx1g6p966sr1s7gfl59j6xy7yjrxd-plasma-workspace-6.0.4/lib/qt-6/qml:/nix/store/139wm1lxls0m7fva963jx2r041ic77xf-qqc2-desktop-style-6.1.0/lib/qt-6/qml:/nix/store/gl05a8ga5pnljjdipvdlabyhb01w9mds-prison-6.1.0/lib/qt-6/qml:/nix/store/yrcynnxzyganfssix0shbnbb40wsvgcs-plasma5support-6.0.4/lib/qt-6/qml:/nix/store/mj0c0hik90ni86pjgd230lngw9rficax-plasma-nano-6.0.4/lib/qt-6/qml:/nix/store/iw3jv6rkydkl2wk3dm6srjjpz7fs00qn-networkmanager-qt-6.1.0/lib/qt-6/qml:/nix/store/s8nl1k2dcg65xwgy62bvk2z337jpxs72-milou-6.0.4/lib/qt-6/qml:/nix/store/8f00d07jkyx8z13mmazg9w09c9rqj6fk-libksysguard-6.0.4/lib/qt-6/qml:/nix/store/1ar1v6ljpyfxpvn5fikh7hp8g3w9dfcf-kwin-6.0.4.1/lib/qt-6/qml:/nix/store/70pml4ivfdpl05kp56iaw4c517qbgpvl-kuserfeedback-6.1.0/lib/qt-6/qml:/nix/store/ynspkg35brwa01i3qpyvxprnk5zlr2fd-libplasma-6.0.4/lib/qt-6/qml:/nix/store/8xqaqw29rjdwdyk27hb8w3bx1yh1rinm-layer-shell-qt-6.0.4/lib/qt-6/qml:/nix/store/l9z170nw51gwkp67lh1508h4s7x1ndr2-ksvg-6.1.0/lib/qt-6/qml:/nix/store/7bakxb8840s9vd1dk4wmjxinlj7j8y1b-kpipewire-6.0.4/lib/qt-6/qml:/nix/store/jdylhzwky2hkgyjr631jid5x2q3b7gzc-knewstuff-6.1.0/lib/qt-6/qml:/nix/store/5crla95iilnjc3lcnwsqkc91iw8s580q-kitemmodels-6.1.0/lib/qt-6/qml:/nix/store/pkhdzb407dz7vsn9y02dxs3c9nhq7r14-kirigami-addons-1.1.0/lib/qt-6/qml:/nix/store/x1j0wc5bxb8dy6vizmygmpsah5qfi77z-syntax-highlighting-6.1.0/lib/qt-6/qml:/nix/store/acix8w4g6151n26vhnnd253jk17sdv0x-plasma-activities-6.0.4/lib/qt-6/qml:/nix/store/1l1zrbz51sj2mhrvpbajnmxrdy5zfswk-kholidays-6.1.0/lib/qt-6/qml:/nix/store/ikzzlmiw7racd2isi9i12j32dxaimvgs-kdeclarative-6.1.0/lib/qt-6/qml:/nix/store/dfhmvjafz3hwp1cr1pcw5iliivlpx3s9-kcmutils-6.1.0/lib/qt-6/qml:/nix/store/qskm22wkjl3fh9hfyr3h1zij8m7n1s0m-sonnet-6.1.0/lib/qt-6/qml:/nix/store/r4679r0gpnw2j1s0zm9rfazxb6vgw718-baloo-6.1.0/lib/qt-6/qml:/nix/store/6cg2qsygkz4km1s63f08hpf2qws3455f-knotifications-6.1.0/lib/qt-6/qml:/nix/store/0y60slgbhig6928dg7x82509msk4sbgh-kwindowsystem-6.1.0/lib/qt-6/qml:/nix/store/4yi5ykp96ym790pm87sh5ln3h5hyvlm5-qqc2-breeze-style-6.0.4/lib/qt-6/qml:/nix/store/jrk1sh3r1l8kk3wysqgdklbwsqdlwqgc-kquickcharts-6.1.0/lib/qt-6/qml:/nix/store/c5901ayrnypbx70gk305cyzpr7fbhx16-kirigami-6.1.0/lib/qt-6/qml:/nix/store/8v425fjzxvpr3h0s2r7mxf18lq1lsdjw-qt5compat-6.7.0/lib/qt-6/qml:/nix/store/m2bndrk6ql95zc4rimavn46nsg70zl91-kiconthemes-6.1.0/lib/qt-6/qml:/nix/store/gwq0mrfj60qxl8xixwxcv17f14n4l72l-kcoreaddons-6.1.0/lib/qt-6/qml:/nix/store/9slf49d9s0rpy3z6rblq3slr6x5av9ai-ki18n-6.1.0/lib/qt-6/qml:/nix/store/jcss0f8qjmqv1azcafn049vdz24r71dv-kconfig-6.1.0/lib/qt-6/qml:/nix/store/vyvbdijzy3bhxd8df4a2k9wmirp5qpn8-qtwayland-6.7.0/lib/qt-6/qml:/nix/store/5xs5bqp920y6b41cf3jipx6ld6h5crl5-qtdeclarative-6.7.0/lib/qt-6/qml:/nix/store/s36qx1g6p966sr1s7gfl59j6xy7yjrxd-plasma-workspace-6.0.4/lib/qt-6/qml:/nix/store/139wm1lxls0m7fva963jx2r041ic77xf-qqc2-desktop-style-6.1.0/lib/qt-6/qml:/nix/store/gl05a8ga5pnljjdipvdlabyhb01w9mds-prison-6.1.0/lib/qt-6/qml:/nix/store/yrcynnxzyganfssix0shbnbb40wsvgcs-plasma5support-6.0.4/lib/qt-6/qml:/nix/store/mj0c0hik90ni86pjgd230lngw9rficax-plasma-nano-6.0.4/lib/qt-6/qml:/nix/store/iw3jv6rkydkl2wk3dm6srjjpz7fs00qn-networkmanager-qt-6.1.0/lib/qt-6/qml:/nix/store/s8nl1k2dcg65xwgy62bvk2z337jpxs72-milou-6.0.4/lib/qt-6/qml:/nix/store/8f00d07jkyx8z13mmazg9w09c9rqj6fk-libksysguard-6.0.4/lib/qt-6/qml:/nix/store/1ar1v6ljpyfxpvn5fikh7hp8g3w9dfcf-kwin-6.0.4.1/lib/qt-6/qml:/nix/store/70pml4ivfdpl05kp56iaw4c517qbgpvl-kuserfeedback-6.1.0/lib/qt-6/qml:/nix/store/ynspkg35brwa01i3qpyvxprnk5zlr2fd-libplasma-6.0.4/lib/qt-6/qml:/nix/store/8xqaqw29rjdwdyk27hb8w3bx1yh1rinm-layer-shell-qt-6.0.4/lib/qt-6/qml:/nix/store/l9z170nw51gwkp67lh1508h4s7x1ndr2-ksvg-6.1.0/lib/qt-6/qml:/nix/store/7bakxb8840s9vd1dk4wmjxinlj7j8y1b-kpipewire-6.0.4/lib/qt-6/qml:/nix/store/jdylhzwky2hkgyjr631jid5x2q3b7gzc-knewstuff-6.1.0/lib/qt-6/qml:/nix/store/5crla95iilnjc3lcnwsqkc91iw8s580q-kitemmodels-6.1.0/lib/qt-6/qml:/nix/store/pkhdzb407dz7vsn9y02dxs3c9nhq7r14-kirigami-addons-1.1.0/lib/qt-6/qml:/nix/store/x1j0wc5bxb8dy6vizmygmpsah5qfi77z-syntax-highlighting-6.1.0/lib/qt-6/qml:/nix/store/acix8w4g6151n26vhnnd253jk17sdv0x-plasma-activities-6.0.4/lib/qt-6/qml:/nix/store/1l1zrbz51sj2mhrvpbajnmxrdy5zfswk-kholidays-6.1.0/lib/qt-6/qml:/nix/store/ikzzlmiw7racd2isi9i12j32dxaimvgs-kdeclarative-6.1.0/lib/qt-6/qml:/nix/store/dfhmvjafz3hwp1cr1pcw5iliivlpx3s9-kcmutils-6.1.0/lib/qt-6/qml:/nix/store/qskm22wkjl3fh9hfyr3h1zij8m7n1s0m-sonnet-6.1.0/lib/qt-6/qml:/nix/store/r4679r0gpnw2j1s0zm9rfazxb6vgw718-baloo-6.1.0/lib/qt-6/qml:/nix/store/6cg2qsygkz4km1s63f08hpf2qws3455f-knotifications-6.1.0/lib/qt-6/qml:/nix/store/0y60slgbhig6928dg7x82509msk4sbgh-kwindowsystem-6.1.0/lib/qt-6/qml:/nix/store/4yi5ykp96ym790pm87sh5ln3h5hyvlm5-qqc2-breeze-style-6.0.4/lib/qt-6/qml:/nix/store/jrk1sh3r1l8kk3wysqgdklbwsqdlwqgc-kquickcharts-6.1.0/lib/qt-6/qml:/nix/store/c5901ayrnypbx70gk305cyzpr7fbhx16-kirigami-6.1.0/lib/qt-6/qml:/nix/store/8v425fjzxvpr3h0s2r7mxf18lq1lsdjw-qt5compat-6.7.0/lib/qt-6/qml:/nix/store/m2bndrk6ql95zc4rimavn46nsg70zl91-kiconthemes-6.1.0/lib/qt-6/qml:/nix/store/gwq0mrfj60qxl8xixwxcv17f14n4l72l-kcoreaddons-6.1.0/lib/qt-6/qml:/nix/store/9slf49d9s0rpy3z6rblq3slr6x5av9ai-ki18n-6.1.0/lib/qt-6/qml:/nix/store/jcss0f8qjmqv1azcafn049vdz24r71dv-kconfig-6.1.0/lib/qt-6/qml:/nix/store/vyvbdijzy3bhxd8df4a2k9wmirp5qpn8-qtwayland-6.7.0/lib/qt-6/qml:/nix/store/5xs5bqp920y6b41cf3jipx6ld6h5crl5-qtdeclarative-6.7.0/lib/qt-6/qml
NM=nm
NO_AT_BRIDGE=1
OBJCOPY=objcopy
OBJDUMP=objdump\nsetupCompilerEnvironmentPhase=NIX_BUILD_CORES=$(( NIX_BUILD_CORES < 16 ? NIX_BUILD_CORES : 16 ))\nrunHook preSetupCompilerEnvironment\n\necho "Build with /nix/store/k033yvpca1r7fi0hwgkh5wnky5iixvlk-ghc-9.4.8."\n\n
OLDPWD=/home/bmr
out=/home/bmr/Cloud/Study/2023 WS/Masterarbeit/src/outputs/out
outputs=out doc
packageConfDir="$builddir/package.conf.d"\nmkdir -p $packageConfDir\n
PAGER=less
PAM_KWALLET5_LOGIN=/run/user/1000/kwallet5.socket
patches=
PATH=/nix/store/k033yvpca1r7fi0hwgkh5wnky5iixvlk-ghc-9.4.8/bin:/nix/store/2dla9whd0hgqi4ygywrmv933bs8w8k7m-ncurses-6.4/bin:/nix/store/5lx9l6y93b3h2ga2pdkr00fkg18g384m-remove-references-to/bin:/nix/store/rs94n2ga64rf8k9fxfjivgn6yl63xxfl-cabal-fmt-0.1.9-bin/bin:/nix/store/60vw8924k53ss808dc9wpkdiiq7vyp27-cabal-install-3.10.2.1/bin:/nix/store/al36b1nnsinvf7vizh32xzxm1168hck7-fourmolu-0.14.0.0/bin:/nix/store/cgw6mrv4iw6m96xrmd1aascimkc2y06r-haskell-language-server-2.5.0.0/bin:/nix/store/fhnsphp1scbqfm6y37cfr65ljvfgicz4-aeson-pretty-0.8.9/bin:/nix/store/m6viqspkcybs24a2waliwyw7w76hqama-ghcide-2.5.0.0/bin:/nix/store/7amizircf2n23lbap7vknxfjl596lysx-constraints-extras-0.4.0.0/bin:/nix/store/0wm3sc0gik2f2yfkgacr74w3ybcih8fp-hie-bios-0.12.1/bin:/nix/store/287bdqc003jrwhmgywkchpzlsr9gh1f6-hiedb-0.4.4.0/bin:/nix/store/914mrvn10xwy0hxw8vfms2h6ksqaasxi-lsp-types-2.1.0.0/bin:/nix/store/4bk6iiiy1wcbm47n704yp03178f85a5d-implicit-hie-0.1.2.7/bin:/nix/store/by4z0h0nb39wrzx3dbrjfxmd1y5crjgk-pretty-simple-4.1.2.0/bin:/nix/store/kqyna7g0l1sdvkv342nbfdpwdcqd80wr-floskell-0.10.8/bin:/nix/store/d43szgrbisky8ml8kj8yjk2mmz8lri88-retrie-1.2.2/bin:/nix/store/miabjyh3fv4fydx8yf3lsw12l3ra1m27-apply-refact-0.13.0.0/bin:/nix/store/49rpiv1ipg6b0i7089mib419357dbmdz-hlint-3.6.1/bin:/nix/store/kvrbvfy663576vn90pkivv9nngmjdzbl-cpphs-1.20.9.1/bin:/nix/store/502iqgy54p58lc6wlhk8fi5wjlhnzvra-hscolour-1.24.4/bin:/nix/store/xghzxxzg4l395nm9gg9hiqxxd0p0awwm-ormolu-0.7.2.0-bin/bin:/nix/store/ibaji58mqj3i2prqfdj8ivq6wyp3dnsv-stan-0.1.1.0/bin:/nix/store/ka4v2yrcbhl15vjri0wvn8dlyssvpwnq-extensions-0.1.0.1/bin:/nix/store/qficky5ckg0zfn9n23ighn3r5wk63al0-stylish-haskell-0.14.5.0/bin:/nix/store/4ai3h00wpr7rzn0k3wi1fq9srkly1j7a-pre-commit-3.6.0/bin:/nix/store/hn6nlm7ixaai45skcw6snlrw5d5jd658-yamlfmt-0.10.0/bin:/nix/store/44pqwx8bjngjpkbk1y2dd8pzs49s14w9-patchelf-0.15.0/bin:/nix/store/khkhbch4p1wjfl1g89gw1mszvvr7bzv0-gcc-wrapper-13.2.0/bin:/nix/store/j00nb8s5mwaxgi77h21i1ycb91yxxqck-gcc-13.2.0/bin:/nix/store/dvvb6frpdnimidx1f51zjgi3af8rlny1-glibc-2.38-27-bin/bin:/nix/store/5idwbbv23b6vnqdicx97s3hsgrwwnj7j-coreutils-9.4/bin:/nix/store/6zhs433c4cyaih7l65c11zm743sava5a-binutils-wrapper-2.40/bin:/nix/store/0gi4vbw1qfjncdl95a9ply43ymd6aprm-binutils-2.40/bin:/nix/store/5idwbbv23b6vnqdicx97s3hsgrwwnj7j-coreutils-9.4/bin:/nix/store/4ajik70nplhkb8ndn3gqh7v0b09hmvg9-findutils-4.9.0/bin:/nix/store/y4m3b33d240amsyd50d6mn0m9pyf987p-diffutils-3.10/bin:/nix/store/9zial3lqry9f7rsw31r7vs5p1mnb7lan-gnused-4.9/bin:/nix/store/6i00hdmzlj56qy500p5gb5v88wfj6nhg-gnugrep-3.11/bin:/nix/store/w48cndp5bwz4x4l49yr2gbz09g6f91dq-gawk-5.2.2/bin:/nix/store/msavqbm59r0q4wv54s4smp0ixwl6y3dz-gnutar-1.35/bin:/nix/store/6z1ssks5dbmc9zs5cczn9qgx28yl8j8y-gzip-1.13/bin:/nix/store/zd07lalq650lv09xkkp2yc9ahx66lm25-bzip2-1.0.8-bin/bin:/nix/store/05sqpqfnha0pmb5aia3gz968im7n806v-gnumake-4.4.1/bin:/nix/store/cjbyb45nxiqidj95c4k1mh65azn1x896-bash-5.2-p21/bin:/nix/store/mmfzn2r4rq6ljlikmpgk7y1i914g40xi-patch-2.7.6/bin:/nix/store/fp49ki5fbhsq744ljmffcc646yczhw9m-xz-5.4.5-bin/bin:/nix/store/8rk7cyqxf7mdvwjnnvlh5kw7zvvnv3y0-file-5.45/bin:/home/bmr/Cloud/Study/2023 WS/Masterarbeit/src/.direnv/bin:/home/bmr/.local/bin:/run/wrappers/bin:/home/bmr/.nix-profile/bin:/nix/profile/bin:/home/bmr/.local/state/nix/profile/bin:/etc/profiles/per-user/bmr/bin:/nix/var/nix/profiles/default/bin:/run/current-system/sw/bin
pname=model-checker
postPatch=
preConfigurePhases=compileBuildDriverPhase updateAutotoolsGnuConfigScriptsPhase
preInstallPhases=haddockPhase
prePatch=
prePhases=setupCompilerEnvironmentPhase
PROFILEHOME=
propagatedBuildInputs=
propagatedNativeBuildInputs=
PWD=/home/bmr/Cloud/Study/2023 WS/Masterarbeit/src
QML2_IMPORT_PATH=/home/bmr/.nix-profile/lib/qt-5.15.12/qml:/home/bmr/.nix-profile/lib/qt-6/qml:/nix/profile/lib/qt-5.15.12/qml:/nix/profile/lib/qt-6/qml:/home/bmr/.local/state/nix/profile/lib/qt-5.15.12/qml:/home/bmr/.local/state/nix/profile/lib/qt-6/qml:/etc/profiles/per-user/bmr/lib/qt-5.15.12/qml:/etc/profiles/per-user/bmr/lib/qt-6/qml:/nix/var/nix/profiles/default/lib/qt-5.15.12/qml:/nix/var/nix/profiles/default/lib/qt-6/qml:/run/current-system/sw/lib/qt-5.15.12/qml:/run/current-system/sw/lib/qt-6/qml
QT_AUTO_SCREEN_SCALE_FACTOR=0
QT_PLUGIN_PATH=/nix/store/zz5c46n8707d7rd3ck2grw3vjcwg2pv0-konsole-24.02.2/lib/qt-6/plugins:/nix/store/qskm22wkjl3fh9hfyr3h1zij8m7n1s0m-sonnet-6.1.0/lib/qt-6/plugins:/nix/store/z7lx5kr7as712z4zw1gyygj73id4ap7b-kio-6.1.0/lib/qt-6/plugins:/nix/store/k4ra2jvpn7shzi52n0hf8pnyz2kl5rq4-kauth-6.1.0/lib/qt-6/plugins:/nix/store/0y60slgbhig6928dg7x82509msk4sbgh-kwindowsystem-6.1.0/lib/qt-6/plugins:/nix/store/m2bndrk6ql95zc4rimavn46nsg70zl91-kiconthemes-6.1.0/lib/qt-6/plugins:/nix/store/9slf49d9s0rpy3z6rblq3slr6x5av9ai-ki18n-6.1.0/lib/qt-6/plugins:/nix/store/vv00gkcn75ghvw083ar0zg2ah45qh7k6-qtmultimedia-6.7.0/lib/qt-6/plugins:/nix/store/ajcczi8f4lf7h3gg5gk0zq0qvkx8x88p-qtquick3d-6.7.0/lib/qt-6/plugins:/nix/store/v74l23nnng9gh5x0q8p29d7i0dn1x798-qtsvg-6.7.0/lib/qt-6/plugins:/nix/store/5xs5bqp920y6b41cf3jipx6ld6h5crl5-qtdeclarative-6.7.0/lib/qt-6/plugins:/nix/store/9mry70i44nrlrzysj1776fjm77zpwipq-qtbase-6.7.0/lib/qt-6/plugins:/nix/store/1ar1v6ljpyfxpvn5fikh7hp8g3w9dfcf-kwin-6.0.4.1/lib/qt-6/plugins:/nix/store/vaia6glmnabppaf836hdcmwj8nwabdyi-kscreenlocker-6.0.4/lib/qt-6/plugins:/nix/store/ynspkg35brwa01i3qpyvxprnk5zlr2fd-libplasma-6.0.4/lib/qt-6/plugins:/nix/store/j2gs07mbfcqnwaxinirrgg5la8hvfvxp-libkscreen-6.0.4/lib/qt-6/plugins:/nix/store/8xqaqw29rjdwdyk27hb8w3bx1yh1rinm-layer-shell-qt-6.0.4/lib/qt-6/plugins:/nix/store/yrrs1j0yp1yl4llkdi1g4snrd8h4627m-kidletime-6.1.0/lib/qt-6/plugins:/nix/store/vp3p9j4bg7yxcibmzwa7nfbwk8pp0sj5-kglobalacceld-6.0.4/lib/qt-6/plugins:/nix/store/2c1ddjmy7sa3sj3inndl3a5nakn32zs8-breeze-6.0.4/lib/qt-6/plugins:/nix/store/q7lxppnh6b5g65d2y3jlr0viw7a60x80-frameworkintegration-6.1.0/lib/qt-6/plugins:/nix/store/qskm22wkjl3fh9hfyr3h1zij8m7n1s0m-sonnet-6.1.0/lib/qt-6/plugins:/nix/store/z7lx5kr7as712z4zw1gyygj73id4ap7b-kio-6.1.0/lib/qt-6/plugins:/nix/store/k4ra2jvpn7shzi52n0hf8pnyz2kl5rq4-kauth-6.1.0/lib/qt-6/plugins:/nix/store/0y60slgbhig6928dg7x82509msk4sbgh-kwindowsystem-6.1.0/lib/qt-6/plugins:/nix/store/m2bndrk6ql95zc4rimavn46nsg70zl91-kiconthemes-6.1.0/lib/qt-6/plugins:/nix/store/9slf49d9s0rpy3z6rblq3slr6x5av9ai-ki18n-6.1.0/lib/qt-6/plugins:/nix/store/vyvbdijzy3bhxd8df4a2k9wmirp5qpn8-qtwayland-6.7.0/lib/qt-6/plugins:/nix/store/6j6zbqj23rly9yb07pjiijcbm30qchac-qtvirtualkeyboard-6.7.0/lib/qt-6/plugins:/nix/store/gir5r99gp3fr96972k646xilqnipcqcw-qttools-6.7.0/lib/qt-6/plugins:/nix/store/mlfg711bqx4ygzs855bwc412l6l3kwbn-qtsensors-6.7.0/lib/qt-6/plugins:/nix/store/v74l23nnng9gh5x0q8p29d7i0dn1x798-qtsvg-6.7.0/lib/qt-6/plugins:/nix/store/ajcczi8f4lf7h3gg5gk0zq0qvkx8x88p-qtquick3d-6.7.0/lib/qt-6/plugins:/nix/store/5xs5bqp920y6b41cf3jipx6ld6h5crl5-qtdeclarative-6.7.0/lib/qt-6/plugins:/nix/store/9mry70i44nrlrzysj1776fjm77zpwipq-qtbase-6.7.0/lib/qt-6/plugins:/nix/store/1ar1v6ljpyfxpvn5fikh7hp8g3w9dfcf-kwin-6.0.4.1/lib/qt-6/plugins:/nix/store/vaia6glmnabppaf836hdcmwj8nwabdyi-kscreenlocker-6.0.4/lib/qt-6/plugins:/nix/store/ynspkg35brwa01i3qpyvxprnk5zlr2fd-libplasma-6.0.4/lib/qt-6/plugins:/nix/store/j2gs07mbfcqnwaxinirrgg5la8hvfvxp-libkscreen-6.0.4/lib/qt-6/plugins:/nix/store/8xqaqw29rjdwdyk27hb8w3bx1yh1rinm-layer-shell-qt-6.0.4/lib/qt-6/plugins:/nix/store/yrrs1j0yp1yl4llkdi1g4snrd8h4627m-kidletime-6.1.0/lib/qt-6/plugins:/nix/store/vp3p9j4bg7yxcibmzwa7nfbwk8pp0sj5-kglobalacceld-6.0.4/lib/qt-6/plugins:/nix/store/2c1ddjmy7sa3sj3inndl3a5nakn32zs8-breeze-6.0.4/lib/qt-6/plugins:/nix/store/q7lxppnh6b5g65d2y3jlr0viw7a60x80-frameworkintegration-6.1.0/lib/qt-6/plugins:/nix/store/qskm22wkjl3fh9hfyr3h1zij8m7n1s0m-sonnet-6.1.0/lib/qt-6/plugins:/nix/store/z7lx5kr7as712z4zw1gyygj73id4ap7b-kio-6.1.0/lib/qt-6/plugins:/nix/store/k4ra2jvpn7shzi52n0hf8pnyz2kl5rq4-kauth-6.1.0/lib/qt-6/plugins:/nix/store/0y60slgbhig6928dg7x82509msk4sbgh-kwindowsystem-6.1.0/lib/qt-6/plugins:/nix/store/m2bndrk6ql95zc4rimavn46nsg70zl91-kiconthemes-6.1.0/lib/qt-6/plugins:/nix/store/9slf49d9s0rpy3z6rblq3slr6x5av9ai-ki18n-6.1.0/lib/qt-6/plugins:/nix/store/vyvbdijzy3bhxd8df4a2k9wmirp5qpn8-qtwayland-6.7.0/lib/qt-6/plugins:/nix/store/6j6zbqj23rly9yb07pjiijcbm30qchac-qtvirtualkeyboard-6.7.0/lib/qt-6/plugins:/nix/store/gir5r99gp3fr96972k646xilqnipcqcw-qttools-6.7.0/lib/qt-6/plugins:/nix/store/mlfg711bqx4ygzs855bwc412l6l3kwbn-qtsensors-6.7.0/lib/qt-6/plugins:/nix/store/v74l23nnng9gh5x0q8p29d7i0dn1x798-qtsvg-6.7.0/lib/qt-6/plugins:/nix/store/ajcczi8f4lf7h3gg5gk0zq0qvkx8x88p-qtquick3d-6.7.0/lib/qt-6/plugins:/nix/store/5xs5bqp920y6b41cf3jipx6ld6h5crl5-qtdeclarative-6.7.0/lib/qt-6/plugins:/nix/store/9mry70i44nrlrzysj1776fjm77zpwipq-qtbase-6.7.0/lib/qt-6/plugins:/nix/store/s36qx1g6p966sr1s7gfl59j6xy7yjrxd-plasma-workspace-6.0.4/lib/qt-6/plugins:/nix/store/139wm1lxls0m7fva963jx2r041ic77xf-qqc2-desktop-style-6.1.0/lib/qt-6/plugins:/nix/store/8f00d07jkyx8z13mmazg9w09c9rqj6fk-libksysguard-6.0.4/lib/qt-6/plugins:/nix/store/1ar1v6ljpyfxpvn5fikh7hp8g3w9dfcf-kwin-6.0.4.1/lib/qt-6/plugins:/nix/store/2c1ddjmy7sa3sj3inndl3a5nakn32zs8-breeze-6.0.4/lib/qt-6/plugins:/nix/store/q7lxppnh6b5g65d2y3jlr0viw7a60x80-frameworkintegration-6.1.0/lib/qt-6/plugins:/nix/store/ipljcq1i42xiyaz9lwla913sz6ksj3as-ktexteditor-6.1.0/lib/qt-6/plugins:/nix/store/vaia6glmnabppaf836hdcmwj8nwabdyi-kscreenlocker-6.0.4/lib/qt-6/plugins:/nix/store/ynspkg35brwa01i3qpyvxprnk5zlr2fd-libplasma-6.0.4/lib/qt-6/plugins:/nix/store/j2gs07mbfcqnwaxinirrgg5la8hvfvxp-libkscreen-6.0.4/lib/qt-6/plugins:/nix/store/8xqaqw29rjdwdyk27hb8w3bx1yh1rinm-layer-shell-qt-6.0.4/lib/qt-6/plugins:/nix/store/5bmprqn2vw0fxfyrn3qfq02sh3947mbb-kio-extras-24.02.2/lib/qt-6/plugins:/nix/store/vp3p9j4bg7yxcibmzwa7nfbwk8pp0sj5-kglobalacceld-6.0.4/lib/qt-6/plugins:/nix/store/qskm22wkjl3fh9hfyr3h1zij8m7n1s0m-sonnet-6.1.0/lib/qt-6/plugins:/nix/store/r4679r0gpnw2j1s0zm9rfazxb6vgw718-baloo-6.1.0/lib/qt-6/plugins:/nix/store/z7lx5kr7as712z4zw1gyygj73id4ap7b-kio-6.1.0/lib/qt-6/plugins:/nix/store/k4ra2jvpn7shzi52n0hf8pnyz2kl5rq4-kauth-6.1.0/lib/qt-6/plugins:/nix/store/0y60slgbhig6928dg7x82509msk4sbgh-kwindowsystem-6.1.0/lib/qt-6/plugins:/nix/store/yrrs1j0yp1yl4llkdi1g4snrd8h4627m-kidletime-6.1.0/lib/qt-6/plugins:/nix/store/8gcvdaiqkz3ikdni93q14i6vx63bab7n-kfilemetadata-6.1.0/lib/qt-6/plugins:/nix/store/4yi5ykp96ym790pm87sh5ln3h5hyvlm5-qqc2-breeze-style-6.0.4/lib/qt-6/plugins:/nix/store/m2bndrk6ql95zc4rimavn46nsg70zl91-kiconthemes-6.1.0/lib/qt-6/plugins:/nix/store/9slf49d9s0rpy3z6rblq3slr6x5av9ai-ki18n-6.1.0/lib/qt-6/plugins:/nix/store/vyvbdijzy3bhxd8df4a2k9wmirp5qpn8-qtwayland-6.7.0/lib/qt-6/plugins:/nix/store/5xs5bqp920y6b41cf3jipx6ld6h5crl5-qtdeclarative-6.7.0/lib/qt-6/plugins:/nix/store/v74l23nnng9gh5x0q8p29d7i0dn1x798-qtsvg-6.7.0/lib/qt-6/plugins:/nix/store/9mry70i44nrlrzysj1776fjm77zpwipq-qtbase-6.7.0/lib/qt-6/plugins:/nix/store/s36qx1g6p966sr1s7gfl59j6xy7yjrxd-plasma-workspace-6.0.4/lib/qt-6/plugins:/nix/store/139wm1lxls0m7fva963jx2r041ic77xf-qqc2-desktop-style-6.1.0/lib/qt-6/plugins:/nix/store/8f00d07jkyx8z13mmazg9w09c9rqj6fk-libksysguard-6.0.4/lib/qt-6/plugins:/nix/store/1ar1v6ljpyfxpvn5fikh7hp8g3w9dfcf-kwin-6.0.4.1/lib/qt-6/plugins:/nix/store/2c1ddjmy7sa3sj3inndl3a5nakn32zs8-breeze-6.0.4/lib/qt-6/plugins:/nix/store/q7lxppnh6b5g65d2y3jlr0viw7a60x80-frameworkintegration-6.1.0/lib/qt-6/plugins:/nix/store/ipljcq1i42xiyaz9lwla913sz6ksj3as-ktexteditor-6.1.0/lib/qt-6/plugins:/nix/store/vaia6glmnabppaf836hdcmwj8nwabdyi-kscreenlocker-6.0.4/lib/qt-6/plugins:/nix/store/ynspkg35brwa01i3qpyvxprnk5zlr2fd-libplasma-6.0.4/lib/qt-6/plugins:/nix/store/j2gs07mbfcqnwaxinirrgg5la8hvfvxp-libkscreen-6.0.4/lib/qt-6/plugins:/nix/store/8xqaqw29rjdwdyk27hb8w3bx1yh1rinm-layer-shell-qt-6.0.4/lib/qt-6/plugins:/nix/store/5bmprqn2vw0fxfyrn3qfq02sh3947mbb-kio-extras-24.02.2/lib/qt-6/plugins:/nix/store/vp3p9j4bg7yxcibmzwa7nfbwk8pp0sj5-kglobalacceld-6.0.4/lib/qt-6/plugins:/nix/store/qskm22wkjl3fh9hfyr3h1zij8m7n1s0m-sonnet-6.1.0/lib/qt-6/plugins:/nix/store/r4679r0gpnw2j1s0zm9rfazxb6vgw718-baloo-6.1.0/lib/qt-6/plugins:/nix/store/z7lx5kr7as712z4zw1gyygj73id4ap7b-kio-6.1.0/lib/qt-6/plugins:/nix/store/k4ra2jvpn7shzi52n0hf8pnyz2kl5rq4-kauth-6.1.0/lib/qt-6/plugins:/nix/store/0y60slgbhig6928dg7x82509msk4sbgh-kwindowsystem-6.1.0/lib/qt-6/plugins:/nix/store/yrrs1j0yp1yl4llkdi1g4snrd8h4627m-kidletime-6.1.0/lib/qt-6/plugins:/nix/store/8gcvdaiqkz3ikdni93q14i6vx63bab7n-kfilemetadata-6.1.0/lib/qt-6/plugins:/nix/store/4yi5ykp96ym790pm87sh5ln3h5hyvlm5-qqc2-breeze-style-6.0.4/lib/qt-6/plugins:/nix/store/m2bndrk6ql95zc4rimavn46nsg70zl91-kiconthemes-6.1.0/lib/qt-6/plugins:/nix/store/9slf49d9s0rpy3z6rblq3slr6x5av9ai-ki18n-6.1.0/lib/qt-6/plugins:/nix/store/vyvbdijzy3bhxd8df4a2k9wmirp5qpn8-qtwayland-6.7.0/lib/qt-6/plugins:/nix/store/5xs5bqp920y6b41cf3jipx6ld6h5crl5-qtdeclarative-6.7.0/lib/qt-6/plugins:/nix/store/v74l23nnng9gh5x0q8p29d7i0dn1x798-qtsvg-6.7.0/lib/qt-6/plugins:/nix/store/9mry70i44nrlrzysj1776fjm77zpwipq-qtbase-6.7.0/lib/qt-6/plugins:/home/bmr/.nix-profile/lib/qt-5.15.12/plugins:/home/bmr/.nix-profile/lib/qt-6/plugins:/nix/profile/lib/qt-5.15.12/plugins:/nix/profile/lib/qt-6/plugins:/home/bmr/.local/state/nix/profile/lib/qt-5.15.12/plugins:/home/bmr/.local/state/nix/profile/lib/qt-6/plugins:/etc/profiles/per-user/bmr/lib/qt-5.15.12/plugins:/etc/profiles/per-user/bmr/lib/qt-6/plugins:/nix/var/nix/profiles/default/lib/qt-5.15.12/plugins:/nix/var/nix/profiles/default/lib/qt-6/plugins:/run/current-system/sw/lib/qt-5.15.12/plugins:/run/current-system/sw/lib/qt-6/plugins
QT_WAYLAND_RECONNECT=1
QTWEBKIT_PLUGIN_PATH=/home/bmr/.nix-profile/lib/mozilla/plugins/:/nix/profile/lib/mozilla/plugins/:/home/bmr/.local/state/nix/profile/lib/mozilla/plugins/:/etc/profiles/per-user/bmr/lib/mozilla/plugins/:/nix/var/nix/profiles/default/lib/mozilla/plugins/:/run/current-system/sw/lib/mozilla/plugins/
RANLIB=ranlib
READELF=readelf
RIPGREP_CONFIG_PATH=/home/bmr/.config/ripgrep/ripgreprc
SANE_CONFIG_DIR=/etc/sane-config
setOutputFlags=
setupCompileFlags="-package-db=$setupPackageConfDir -j$NIX_BUILD_CORES +RTS -A64M -RTS -threaded -rtsopts"
setupPackageConfDir="$builddir/setup-package.conf.d"\nmkdir -p $setupPackageConfDir
shell=/nix/store/cjbyb45nxiqidj95c4k1mh65azn1x896-bash-5.2-p21/bin/bash
SHELL=/run/current-system/sw/bin/zsh
SHELL_SESSION_ID=6d21678c16fe463e93c82a39daad8c6e
shellHook=pre-commit install -f
SHLVL=1
SIZE=size
SOURCE_DATE_EPOCH=315532800
src=/nix/store/b8figmnbcrhg5ila5i1v7h6r9ff5ai6m-src
SSH_ASKPASS=/nix/store/nc2mrjqh4yqqcysvz6jlpcmcd1n1hv3n-ksshaskpass-6.0.4/bin/ksshaskpass
SSH_AUTH_SOCK=/run/user/1000/ssh-agent
STARSHIP_SESSION_KEY=2767122272740511
STARSHIP_SHELL=zsh
stdenv=/nix/store/bknngadwym46j65qs14ic2w79rpav888-stdenv-linux
strictDeps=
STRINGS=strings
STRIP=strip
system=x86_64-linux
SYSTEMD_EXEC_PID=1786
TERM=konsole-256color
TERMINFO_DIRS=/home/bmr/.nix-profile/share/terminfo:/nix/profile/share/terminfo:/home/bmr/.local/state/nix/profile/share/terminfo:/etc/profiles/per-user/bmr/share/terminfo:/nix/var/nix/profiles/default/share/terminfo:/run/current-system/sw/share/terminfo
TEXEDIT=nvim +%d %s
TZDIR=/etc/zoneinfo
USER=bmr
VDPAU_DRIVER=va_gl
WAYLAND_DISPLAY=wayland-0
WINDOWID=3
XAUTHORITY=/run/user/1000/xauth_yFwIgI
XCURSOR_PATH=/nix/store/s36qx1g6p966sr1s7gfl59j6xy7yjrxd-plasma-workspace-6.0.4/share/icons:/home/bmr/.icons:/home/bmr/.local/share/icons:/home/bmr/.nix-profile/share/icons:/home/bmr/.nix-profile/share/pixmaps:/nix/profile/share/icons:/nix/profile/share/pixmaps:/home/bmr/.local/state/nix/profile/share/icons:/home/bmr/.local/state/nix/profile/share/pixmaps:/etc/profiles/per-user/bmr/share/icons:/etc/profiles/per-user/bmr/share/pixmaps:/nix/var/nix/profiles/default/share/icons:/nix/var/nix/profiles/default/share/pixmaps:/run/current-system/sw/share/icons:/run/current-system/sw/share/pixmaps:~/.icons:/usr/share/icons:/usr/share/pixmaps:/usr/X11R6/lib/X11/icons
XDG_ACTIVATION_TOKEN=kwin-5
XDG_BIN_HOME=/home/bmr/.local/bin
XDG_CACHE_HOME=/home/bmr/.cache
XDG_CONFIG_DIRS=/nix/store/zz5c46n8707d7rd3ck2grw3vjcwg2pv0-konsole-24.02.2/etc/xdg:/nix/store/vp3p9j4bg7yxcibmzwa7nfbwk8pp0sj5-kglobalacceld-6.0.4/etc/xdg:/nix/store/vp3p9j4bg7yxcibmzwa7nfbwk8pp0sj5-kglobalacceld-6.0.4/etc/xdg:/home/bmr/.config/kdedefaults:/nix/store/s36qx1g6p966sr1s7gfl59j6xy7yjrxd-plasma-workspace-6.0.4/etc/xdg:/nix/store/vp3p9j4bg7yxcibmzwa7nfbwk8pp0sj5-kglobalacceld-6.0.4/etc/xdg:/nix/store/r4679r0gpnw2j1s0zm9rfazxb6vgw718-baloo-6.1.0/etc/xdg:/nix/store/s36qx1g6p966sr1s7gfl59j6xy7yjrxd-plasma-workspace-6.0.4/etc/xdg:/nix/store/vp3p9j4bg7yxcibmzwa7nfbwk8pp0sj5-kglobalacceld-6.0.4/etc/xdg:/nix/store/r4679r0gpnw2j1s0zm9rfazxb6vgw718-baloo-6.1.0/etc/xdg:/home/bmr/.config/kdedefaults:/etc/xdg:/home/bmr/.nix-profile/etc/xdg:/nix/profile/etc/xdg:/home/bmr/.local/state/nix/profile/etc/xdg:/etc/profiles/per-user/bmr/etc/xdg:/nix/var/nix/profiles/default/etc/xdg:/run/current-system/sw/etc/xdg
XDG_CONFIG_HOME=/home/bmr/.config
XDG_CURRENT_DESKTOP=KDE
XDG_DATA_DIRS=/nix/store/k033yvpca1r7fi0hwgkh5wnky5iixvlk-ghc-9.4.8/share:/nix/store/2dla9whd0hgqi4ygywrmv933bs8w8k7m-ncurses-6.4/share:/nix/store/d8xx6afi9hb1xax5h8wan3405z30nydr-cabal-fmt-0.1.9/share:/nix/store/60vw8924k53ss808dc9wpkdiiq7vyp27-cabal-install-3.10.2.1/share:/nix/store/fz492yi34m40g0xj79fd9ksayd7arymn-attoparsec-0.14.4/share:/nix/store/ki15agpczdh2wf7yyd2pf22psfxjkq1g-ghc-check-0.5.0.8/share:/nix/store/914mrvn10xwy0hxw8vfms2h6ksqaasxi-lsp-types-2.1.0.0/share:/nix/store/0x1rl64lcv3bddi9zc409jc4idf2iq7a-fail-4.9.0.0/share:/nix/store/xghzxxzg4l395nm9gg9hiqxxd0p0awwm-ormolu-0.7.2.0-bin/share:/nix/store/ibaji58mqj3i2prqfdj8ivq6wyp3dnsv-stan-0.1.1.0/share:/nix/store/44pqwx8bjngjpkbk1y2dd8pzs49s14w9-patchelf-0.15.0/share:/nix/store/zz5c46n8707d7rd3ck2grw3vjcwg2pv0-konsole-24.02.2/share:/nix/store/i3k2y5pn94gyn7h1p5v0b39qj38bkyl6-kpty-6.1.0/share:/nix/store/5q6v2b1vwhn1igsiwknrkj70gr8dg8cf-kparts-6.1.0/share:/nix/store/r73vsh7naw3i9i4gpk0gsc3g8kpiflv0-knotifyconfig-6.1.0/share:/nix/store/dxwa9kilmba61lxcvmwrbzljawd5iacq-phonon-4.12.0/share:/nix/store/jdylhzwky2hkgyjr631jid5x2q3b7gzc-knewstuff-6.1.0/share:/nix/store/dfhmvjafz3hwp1cr1pcw5iliivlpx3s9-kcmutils-6.1.0/share:/nix/store/vhy8gprgd6a5ykhch02kr9f8flqq7a0h-kxmlgui-6.1.0/share:/nix/store/4sgq7sm32mjxjdymlqrf89f29ypnfyvi-ktextwidgets-6.1.0/share:/nix/store/qskm22wkjl3fh9hfyr3h1zij8m7n1s0m-sonnet-6.1.0/share:/nix/store/vyadfn7crbjav4yyy7jcbbhzdhm2y9hy-kpackage-6.1.0/share:/nix/store/c5901ayrnypbx70gk305cyzpr7fbhx16-kirigami-6.1.0/share:/nix/store/z7lx5kr7as712z4zw1gyygj73id4ap7b-kio-6.1.0/share:/nix/store/4b45j09jcxkg6j8k46grm4gpjrx4lslx-solid-6.1.0/share:/nix/store/43q7rfl94ydq5sb17zrs3jdzjq7h9q75-kwallet-6.1.0/share:/nix/store/1x14bgfzih78bsrbxdbp5isf4910dc1c-libgpg-error-1.48/share:/nix/store/zfc3gn4lav528fjlzh70zn44mg6lk1wi-kservice-6.1.0/share:/nix/store/655np24cj9n9b0shwjsacji55vi1shx6-kjobwidgets-6.1.0/share:/nix/store/6cg2qsygkz4km1s63f08hpf2qws3455f-knotifications-6.1.0/share:/nix/store/pq8z0sf7jjrpbwv80sacyvwcfba1bwkw-kitemviews-6.1.0/share:/nix/store/r0iixv2vgdb360qq7f3fhln10wda6zfh-kcompletion-6.1.0/share:/nix/store/k4ra2jvpn7shzi52n0hf8pnyz2kl5rq4-kauth-6.1.0/share:/nix/store/0y60slgbhig6928dg7x82509msk4sbgh-kwindowsystem-6.1.0/share:/nix/store/m2bndrk6ql95zc4rimavn46nsg70zl91-kiconthemes-6.1.0/share:/nix/store/rpgnv6b1f34s26mb9b1jsqw84qf6xc22-kglobalaccel-6.1.0/share:/nix/store/y6b3z1hp7zypn3mj583mpcpmmi9p4zmg-kdoctools-6.1.0/share:/nix/store/6dr7yaiy5blqqscxzdcl9y125qrzcxlh-karchive-6.1.0/share:/nix/store/v5gp1iavz135j0jfm60rjsy18bkrqbaq-kdbusaddons-6.1.0/share:/nix/store/yq40b36rkhyf516jkrlhw5h0vr9lbgr2-kbookmarks-6.1.0/share:/nix/store/fd1nv1wbbgpzc0n3b9gf2bskq71ibpcn-kconfigwidgets-6.1.0/share:/nix/store/rkg3d23m1rp685gzcrx73ypy2gav0hsw-kwidgetsaddons-6.1.0/share:/nix/store/gwq0mrfj60qxl8xixwxcv17f14n4l72l-kcoreaddons-6.1.0/share:/nix/store/821zbc2l4sih3ri6gmv5wyna2djdji1g-kcolorscheme-6.1.0/share:/nix/store/9slf49d9s0rpy3z6rblq3slr6x5av9ai-ki18n-6.1.0/share:/nix/store/78rivjd0dvxd9x8np2qk8glmkrh8dyga-kcodecs-6.1.0/share:/nix/store/jcss0f8qjmqv1azcafn049vdz24r71dv-kconfig-6.1.0/share:/nix/store/1mhra4nzarf89zdwxqjlff135f19msay-gst-plugins-good-1.24.2/share:/nix/store/qgpkphczpj9n7rfsyny1afs5fxiz8zhr-gst-plugins-base-1.24.2/share:/nix/store/wwcl57acmy8516rwi61yib5y2dm6vz2k-gstreamer-1.24.2/share:/nix/store/0h70hgf12hzxpp3in5r2yq0lpwzp0a7a-fontconfig-2.15.0-lib/share:/nix/store/3dnv665sh0rxiwzn07syi7r1kcn1s317-util-linux-2.39.3-lib/share:/nix/store/7kq9hvrhcy8g1v0jd07nr54279asg9vc-systemd-255.4/share:/nix/store/3xsbahrqqc4fc3gknmjj9j9687n4hiz0-glib-2.80.0/share:/nix/store/15lzdmjwrvkml0xxms4a0q91mpianf8g-gettext-0.21.1/share:/nix/store/1ar1v6ljpyfxpvn5fikh7hp8g3w9dfcf-kwin-6.0.4.1/share:/nix/store/vaia6glmnabppaf836hdcmwj8nwabdyi-kscreenlocker-6.0.4/share:/nix/store/ynspkg35brwa01i3qpyvxprnk5zlr2fd-libplasma-6.0.4/share:/nix/store/j2gs07mbfcqnwaxinirrgg5la8hvfvxp-libkscreen-6.0.4/share:/nix/store/7bakxb8840s9vd1dk4wmjxinlj7j8y1b-kpipewire-6.0.4/share:/nix/store/ikzzlmiw7racd2isi9i12j32dxaimvgs-kdeclarative-6.1.0/share:/nix/store/v53mh3apyyv5xnhxlwibnv92cvf86252-breeze-icons-6.1.0/share:/nix/store/2c1ddjmy7sa3sj3inndl3a5nakn32zs8-breeze-6.0.4/share:/nix/store/6kyys6imr7qwyapyyvrcazbfdcqr1cdy-kdecoration-6.0.4/share:/nix/store/q7lxppnh6b5g65d2y3jlr0viw7a60x80-frameworkintegration-6.1.0/share:/nix/store/a2k9yqib49hk4d54x8cy6x7zv0i08gnk-oxygen-icons-6.0.0/share:/nix/store/3zpzi7gv2gwv2g6k1y23b0l5vd8c2zr6-appstream-qt-1.0.2/share:/nix/store/wjxawc5kg90ijr011i8r1br5wpxx10ky-pipewire-1.0.5/share:/nix/store/yb39i0a63bx8kx2bgmx1p4dx1hcwmnzh-attr-2.5.2/share:/nix/store/n87dnp3cw99gssql0xk9yycrhrg50gir-xz-5.4.6/share:/nix/store/9lflpf88im40rpq03ci7x2s8fbnqj42d-hunspell-1.7.2/share:/nix/store/s36qx1g6p966sr1s7gfl59j6xy7yjrxd-plasma-workspace-6.0.4/share:/nix/store/139wm1lxls0m7fva963jx2r041ic77xf-qqc2-desktop-style-6.1.0/share:/nix/store/yrcynnxzyganfssix0shbnbb40wsvgcs-plasma5support-6.0.4/share:/nix/store/mj0c0hik90ni86pjgd230lngw9rficax-plasma-nano-6.0.4/share:/nix/store/lf742nj1d04pg818h3alq6qcmw3p9444-networkmanager-1.46.0/share:/nix/store/pw8asivc7x1fx1hg6xc9456mpxn8pimq-gnutls-3.8.4/share:/nix/store/s8nl1k2dcg65xwgy62bvk2z337jpxs72-milou-6.0.4/share:/nix/store/8f00d07jkyx8z13mmazg9w09c9rqj6fk-libksysguard-6.0.4/share:/nix/store/70pml4ivfdpl05kp56iaw4c517qbgpvl-kuserfeedback-6.1.0/share:/nix/store/0jnc917q0f2sf2g1b8kh9gl19vwm5ccs-kunitconversion-6.1.0/share:/nix/store/ipljcq1i42xiyaz9lwla913sz6ksj3as-ktexteditor-6.1.0/share:/nix/store/j0p0j4si1gq2ldx2ias061q32cfpbp2l-kstatusnotifieritem-6.1.0/share:/nix/store/pkhdzb407dz7vsn9y02dxs3c9nhq7r14-kirigami-addons-1.1.0/share:/nix/store/5bmprqn2vw0fxfyrn3qfq02sh3947mbb-kio-extras-24.02.2/share:/nix/store/x1j0wc5bxb8dy6vizmygmpsah5qfi77z-syntax-highlighting-6.1.0/share:/nix/store/6z8g9d8wq3a3s6lm8c2777sk99zn0r40-kdnssd-6.1.0/share:/nix/store/1l1zrbz51sj2mhrvpbajnmxrdy5zfswk-kholidays-6.1.0/share:/nix/store/ygdhc6721ys1b4fyn8dwq13zmfbdxkbz-kdesu-6.1.0/share:/nix/store/r4679r0gpnw2j1s0zm9rfazxb6vgw718-baloo-6.1.0/share:/nix/store/8gcvdaiqkz3ikdni93q14i6vx63bab7n-kfilemetadata-6.1.0/share:/nix/store/ddfzjdykw67s20c35i7a6624by3iz5jv-libidn2-2.3.7/share:/nix/store/knasjb29drppb5jibvb7myn7hwmz5myv-libqalculate-5.0.0/share:/nix/store/q5kwaig8y5l95ryv4jd1iq73kk3xmxa3-desktops/share:/home/bmr/.nix-profile/share:/nix/profile/share:/home/bmr/.local/state/nix/profile/share:/etc/profiles/per-user/bmr/share:/nix/var/nix/profiles/default/share:/run/current-system/sw/share
XDG_DATA_HOME=/home/bmr/.local/share
XDG_DESKTOP_DIR=/home/bmr/Desktop
XDG_DOCUMENTS_DIR=/home/bmr/Documents
XDG_DOWNLOAD_DIR=/home/bmr/Downloads
XDG_MENU_PREFIX=plasma-
XDG_MUSIC_DIR=/home/bmr/Music
XDG_PICTURES_DIR=/home/bmr/Pictures
XDG_PUBLICSHARE_DIR=/home/bmr/Public
XDG_RUNTIME_DIR=/run/user/1000
XDG_SEAT=seat0
XDG_SEAT_PATH=/org/freedesktop/DisplayManager/Seat0
XDG_SESSION_CLASS=user
XDG_SESSION_DESKTOP=KDE
XDG_SESSION_ID=2
XDG_SESSION_PATH=/org/freedesktop/DisplayManager/Session1
XDG_SESSION_TYPE=wayland
XDG_STATE_HOME=/home/bmr/.local/state
XDG_TEMPLATES_DIR=/home/bmr/Templates
XDG_VIDEOS_DIR=/home/bmr/Videos
XDG_VTNR=3
XKB_DEFAULT_LAYOUT=us,de
XKB_DEFAULT_MODEL=pc104
XKB_DEFAULT_OPTIONS=grp:shifts_toggle,eurosign:e,ctrl:swapcaps,altwin:swap_alt_win
YAMLLINT_CONFIG_FILE=/home/bmr/.config/yamllint.yaml
ZSH_AUTOSUGGEST_HIGHLIGHT_STYLE=fg=8