mcrl2 202206 -> 202206.1 https://repology.org/metapackage/mcrl2/versions
attrpath: mcrl2
Checking auto update branch...
No auto update branch exists
[version] 
stderr did not split as expected full stderr was: 
this derivation will be built:
  /nix/store/fl9p83sryx52r4psbqdx78rfw4n5cfw3-mcrl2-202206.1.1.tar.gz.drv
building '/nix/store/fl9p83sryx52r4psbqdx78rfw4n5cfw3-mcrl2-202206.1.1.tar.gz.drv'...

trying https://www.mcrl2.org/download/release/mcrl2-202206.1.1.tar.gz
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed
  0  1019    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
curl: (22) The requested URL returned error: 404
error: cannot download mcrl2-202206.1.1.tar.gz from any mirror
error: builder for '/nix/store/fl9p83sryx52r4psbqdx78rfw4n5cfw3-mcrl2-202206.1.1.tar.gz.drv' failed with exit code 1;
       last 7 log lines:
       >
       > trying https://www.mcrl2.org/download/release/mcrl2-202206.1.1.tar.gz
       >   % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
       >                                  Dload  Upload   Total   Spent    Left  Speed
       >   0  1019    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
       > curl: (22) The requested URL returned error: 404
       > error: cannot download mcrl2-202206.1.1.tar.gz from any mirror
       For full logs, run 'nix log /nix/store/fl9p83sryx52r4psbqdx78rfw4n5cfw3-mcrl2-202206.1.1.tar.gz.drv'.
stderr did not split as expected full stderr was: 
error: attribute 'originalSrc' in selection path 'mcrl2.originalSrc' not found
stderr did not split as expected full stderr was: 
these 2 derivations will be built:
  /nix/store/fl9p83sryx52r4psbqdx78rfw4n5cfw3-mcrl2-202206.1.1.tar.gz.drv
  /nix/store/75nii6fyg75xzxvn219czwm5cv3pm7nm-mcrl2-202206.1.drv
these 135 paths will be fetched (62.41 MiB download, 417.65 MiB unpacked):
  /nix/store/06yw6h4r3lqxix5wfvs0mrfwsnv0vcy5-libXinerama-1.1.4
  /nix/store/0dq93hnrrgwqjzczl2zl94cr8ql5s1bf-libXfixes-6.0.0
  /nix/store/0ma60lmcbwnxxs9v6g9r6hlkz9wlqvdc-xcb-util-keysyms-0.4.0
  /nix/store/0x0d742smqsy97bry9295hzxzmh4axvn-libXi-1.8-dev
  /nix/store/12i5vks32j41mgs8iga7vlfxbz5qzm81-libxml2-2.10.3-dev
  /nix/store/1adqzrcyr53bjqfjsxxyb9h5q4dnn0b4-find-xml-catalogs-hook
  /nix/store/1lm1fj8s90x5p3fr9krdkhqii1fkxqbn-gsettings-desktop-schemas-43.0
  /nix/store/1wck1dd9nbd241ziq0kg37z4wdb1m7yk-libXfixes-6.0.0-dev
  /nix/store/1yfrrmylmg5r5j1xh8x64b4z4lrskkhl-libdatrie-2019-12-20-lib
  /nix/store/2060l96x2282i1wj1hy84w4ly49rga54-brotli-1.0.9-dev
  /nix/store/24m8ipf4xxb9jwymppgzj9ksgaknkz4n-glib-2.74.3-dev
  /nix/store/28rygg0qrw1n3l53s1pxm7ipqaiav46a-expat-2.5.0-dev
  /nix/store/2b1wyy9a9cppd5zwnw7500xyvas5xx2y-libpaper-1.1.28
  /nix/store/2bfn4qcmhmwl3ilqdmgs29b770s2kic3-xcb-util-image-0.4.0-dev
  /nix/store/2k25kq8hvqcnz0hf8q037j19chax17yn-libxslt-1.1.37-bin
  /nix/store/2ybqijdj49l6436zmav8s3i9xqs62k8b-sqlite-3.40.1-bin
  /nix/store/34g510ipxdkznlfscg8mpy58kjd3iyck-libxkbcommon-1.5.0
  /nix/store/419dik34l627kf9ij309ca8b91z939q7-xcb-util-keysyms-0.4.0-dev
  /nix/store/43147lsfia7drvwkvsadznfxlm7sw2jw-libepoxy-1.5.10
  /nix/store/43hfjf6dml5v9rkiimi0nc6snnka9bwi-cups-2.4.2-lib
  /nix/store/4j2zssk8nq7alxhqpna9ps6hxz0fmi8m-gmp-with-cxx-6.2.1-dev
  /nix/store/4nhcx0ndfa374cgvi6x9sg73prmxmc04-publicsuffix-list-2021-09-03
  /nix/store/4vr6hbgfjgqwi1dkfmrc4zc8z0z16gfl-xcb-util-wm-0.4.1-dev
  /nix/store/558qdc4g7vmg0bjgfyc052q6j3g7xl8l-cairo-1.16.0-dev
  /nix/store/5daa1x8na9zzanf3bznng3cmadjax0v1-mariadb-connector-c-3.2.5
  /nix/store/69hlk13zqipb6x22pnzxrgl1ap6i0w1q-fontconfig-2.14.0-dev
  /nix/store/6l8yqfwgnagvi9m8w1alnzbm98fb280v-rhash-1.4.3
  /nix/store/6x1x65ydydlxajmn5w8w7q4q4z2n9c2l-libevdev-1.13.0
  /nix/store/75iqnr6j55pza4h8nw8a85r0lm0rqy6j-libXcursor-1.2.0-dev
  /nix/store/79azl2c2q2c8agjq5w111638npgdvy81-postgresql-14.6-lib
  /nix/store/7pg5j6k1m9y2bn2hr05j0v4nasq23xmr-openssl-3.0.7-dev
  /nix/store/7wz9fjrvylgsj1isywn7xvhrx215xxg4-libXcursor-1.2.0
  /nix/store/7xg1kxl4jpn03dlsch56hl1v5pwi3vj8-libthai-0.1.29
  /nix/store/7ygpflcqy1dcm71sbbxmb1ryvxi9ah4r-libtiff-4.5.0-bin
  /nix/store/85ibhhm4qp19ddsf2bfm64cd24xfgbgi-libGL-1.5.0-dev
  /nix/store/8810j23yfm234ywbrk99j4hry8xd5axv-sqlite-3.40.1-dev
  /nix/store/8ca0fchihpmjk8li7jbjx94xxhny7pb8-libglvnd-1.5.0
  /nix/store/8f4wzk95i3ndg27i4zs5wrwah5y0gwid-gobject-introspection-wrapped-1.74.0
  /nix/store/8qxlk9vc11v84ir8s6c4hxi6nndqfxs3-libGL-1.5.0
  /nix/store/8r5n8040pq5jh2dgvh65lyxxyxg6i725-freetype-2.12.1-dev
  /nix/store/91inqf4np32q02gzma2p5mgbi4rpx2vx-cmake-3.24.3
  /nix/store/96jq56mh3cc5x17yx67b6ab65wjd6za1-glib-2.74.3-bin
  /nix/store/9zw44lwkl8433skpb2vwh31b664dk91g-pcre2-10.42-dev
  /nix/store/a1c04w29fyk99plp09h6p0pgkh73wxih-libdrm-2.4.114-dev
  /nix/store/a1pjhr26avgp01cghbs8vdpg9vbf592j-xcb-util-0.4.0-dev
  /nix/store/a8synadvg5pxsrc9q3mqja9q0wzja9gw-libjpeg-turbo-2.1.4-bin
  /nix/store/aamjzyh7zbn5rl67cx76g9sa3adj729w-pcre2-10.42-bin
  /nix/store/akan9h1k0fr9p09ddp4kj2hxkpx171ps-dbus-1.14.4-dev
  /nix/store/am4hhl2a0zlnc13kwlmg74xicnc7zyjc-libgudev-237
  /nix/store/b04757aqhr1cjlj91asyfwsl73hvd0rr-libsoup-2.74.3
  /nix/store/b11ghhcahqm6zjyylqrng2zhk5fgk81d-libICE-1.0.10-dev
  /nix/store/b3s4j8wvzrqamajav0xfwnczgfgwkjzj-libXft-2.3.6
  /nix/store/b3v9h64rrh4n65lb8jxij7xjwvs3hr2r-bzip2-1.0.8-dev
  /nix/store/bh6ryxm1v76ka5riz956jpb757q05a0v-curl-7.87.0
  /nix/store/bqf7gag0r4k8g8fak9ss3wpg32ahk8i6-gdk-pixbuf-2.42.10
  /nix/store/c355qqjmg7s968k88j2mrl5qnkhbgv6d-libXtst-1.2.3
  /nix/store/cd96gaj987p7n9kc5y3fm1fcsw774kja-pango-1.50.12
  /nix/store/cgx5jbmh25ix03lif1lm4r159yrxvhrg-xcb-util-renderutil-0.3.9
  /nix/store/cy8zvlbcd0rjff0c2njmsy4xbx8vxqkf-gtk+3-3.24.36-dev
  /nix/store/d7r3y2xkmcivm9fw1ji0p8fzharwp17w-glu-9.0.2-dev
  /nix/store/dh8mszyl7j6hfbdmkx0bs4dlyy978np4-qtbase-5.15.8-dev
  /nix/store/dx4v10h097j5zgz12fmrj5s3i9n8bdj5-iso-codes-4.11.0
  /nix/store/dx6irfq5saffndy4spsn60k328x65ayq-libXdamage-1.1.5-dev
  /nix/store/f7lqdx2n5i8cgw2kh1bpp1xwmwg7097q-glu-9.0.2
  /nix/store/fxi07f13yb7i7yl426994ik58046jkg6-at-spi2-core-2.46.0-dev
  /nix/store/g3b2sbdjw91z7gh12kkh460hc7sz29zv-tracker-3.4.2
  /nix/store/g3r7bdi4cx51b02xz899hxzwq3nwdvca-libXcomposite-0.4.5
  /nix/store/gvxfab9gxb1xka355pg4yf24zihgda45-libjpeg-turbo-2.1.4-dev
  /nix/store/gw8a6ivjblvk6smw1rrh3dm0jyjcifhd-graphite2-1.3.14
  /nix/store/gx4429hhkgklm94hni4877gsy8wh84kq-libXau-1.0.9-dev
  /nix/store/hk5imsc744bn7xgk9j5n0h2vz118r6rz-cups-2.4.2
  /nix/store/hms4g79i8rq53s86q5q6a069kishc076-libpsl-0.21.1
  /nix/store/hynb12dnrh1s8ia2bhhnd46pz40prn5m-libpciaccess-0.16
  /nix/store/ijk1lx8cq3sjpbpbl7sjz3218q9waqwz-wayland-1.21.0
  /nix/store/imd975l7lpqx4y9479yn6bp7vgkgzmzn-qtbase-5.15.8-bin
  /nix/store/j82vbmh4i2xnp080qcj85nwl6kqr6r5v-libXrandr-1.5.2
  /nix/store/ja0a9xhn6k6as5ykmadxysrlmi2rf080-libdrm-2.4.114
  /nix/store/jsrb3gmp76ar7jfll195a88vlclhk1qx-cups-2.4.2-dev
  /nix/store/khp5qbmrvm8jlwzn7yqpfys1dx4iw8xm-mtdev-1.1.6
  /nix/store/ksx1jbax4y3mqn44fld56q8ga8gpsbcm-harfbuzz-6.0.0-dev
  /nix/store/ksx4hpqqg2ygg41vnxcphbjwi34yswsb-at-spi2-core-2.46.0
  /nix/store/kv7ih63pn9hn8p00wwi1mvg400ahsrc2-gtk+3-3.24.36
  /nix/store/kyjnqlgg6gnq8dlixwpx2mpi8m8pccwm-libXrender-0.9.10-dev
  /nix/store/l4d2kkw1g0mx7mdyba4fd085ridi4nsi-pango-1.50.12-bin
  /nix/store/l91prip3jn8n9ri4a0y8d20541llwssf-wayland-1.21.0-bin
  /nix/store/lgpacnrrlxflz0q7cmgmw372szhdkhj3-xcb-util-0.4.0
  /nix/store/liwyhk6q2j82db1p8ywl7ylq429vzrra-harfbuzz-6.0.0
  /nix/store/mcrc6yzic42shza2yi5v969yns995adb-libxkbcommon-1.5.0-dev
  /nix/store/msflcza94j2hpkryr204qf2f2xwd8yqa-xcb-util-renderutil-0.3.9-dev
  /nix/store/n2527lsrrva0p01s8j63pvm87rdkwygb-libossp-uuid-1.6.2
  /nix/store/nfi5j1cn7gp2fr57fzmyjsrkw4dziaaz-avahi-0.8
  /nix/store/ngj3lzpwr2n8lyk0xy4vky3y6qgqaq3n-libdrm-2.4.114-bin
  /nix/store/nhnfywxbmv9537mbyyw405kj5779afdg-libpng-apng-1.6.39-dev
  /nix/store/njd7yng4qd9mc63v7xpj33drc5rnc409-libSM-1.2.3-dev
  /nix/store/njscwm3zzzkj8ainbjk7x3r46c6qj24r-libXext-1.3.4-dev
  /nix/store/nnxcnfq9hvv7krf56q8lcg57i8p4mjkn-icu4c-72.1-dev
  /nix/store/p8zz9ddnvyj34n8x3xf21hqrzs6fl541-libXft-2.3.6-dev
  /nix/store/q1scis7n1xqz0860nnmhr8m9cqgl7z13-libXinerama-1.1.4-dev
  /nix/store/qriwdzhz3xqj8yg9cyjy6789zji81nsr-qtbase-5.15.8
  /nix/store/qsmll7x8n7p1lw961az7jhsnshbxqbn8-pango-1.50.12-dev
  /nix/store/qy84qml85qd9h2i368ahbqchaqnfa4hr-wayland-protocols-1.31
  /nix/store/r01gk2r6gab8wyy4r5k2raccy636iqb4-glibc-iconv-2.35
  /nix/store/rp2dzk4z5afpv1c8xr00pxpbq3vglhm0-libXrender-0.9.10
  /nix/store/rqqzzm8aj1nyr5hwvqsyjsnprksdz3x7-brotli-1.0.9
  /nix/store/rw59fmy3kkjh4w5hx8ml1x5nwan7vaaz-xcb-util-image-0.4.0
  /nix/store/s2kqarc938zqbcmbwxss1l9jxvld8crl-libXcomposite-0.4.5-dev
  /nix/store/s2nbca3iica1ya0lij1bxyyfbmj88wzm-lndir-1.0.3
  /nix/store/s37pyihssr0zw6bg640j7z2bisj7ffai-dconf-0.40.0-lib
  /nix/store/s6y8jhmbyrhcvri6mxxb0dpl3dhzm4ks-libxcb-1.14-dev
  /nix/store/shb8qwk9wyxfxkphacm7v61pb7scn8aj-libsoup-3.2.2
  /nix/store/sjijd45mirjiwc3afybrylhxzj4ksc6x-libtiff-4.5.0-dev
  /nix/store/sp24041nvd97pdi0pf5rsjc8b0ghvbrf-libffi-3.4.4-dev
  /nix/store/sp5s5dvvp32g4z5icprbwsbhi3x2xdsc-libXdamage-1.1.5
  /nix/store/sq9p302frav8s9b9p95zg6gcs72gsws9-libXi-1.8
  /nix/store/srx0ivm8sa3mxqc49wmml423ffwdkd8l-libinput-1.21.0
  /nix/store/swvn5v81pn7x0gah3xcyw02vj3qk8zzk-xorgproto-2021.5
  /nix/store/sxsqslqzw2m4s3875cpjw6w3hysdy1xs-xcb-util-wm-0.4.1
  /nix/store/v0mwxizm0rhgfvx4nigmas7vhkg8yrq2-pixman-0.42.2
  /nix/store/v8ljf4zfnfavvqj2kdwn3pa77qk8hywv-libxslt-1.1.37-dev
  /nix/store/v901ilbgzfifda889lx6d7b59ryfiyiv-libxml2-2.10.3-bin
  /nix/store/vi6giip6mx8vfwqx5mqhidnmd999qgb4-fribidi-1.0.12
  /nix/store/vy6ff52054cpnhha3ami8dzjw2bh8dlw-wayland-1.21.0-dev
  /nix/store/w957n8v0k3cnm7q04vazd3bslk0mpdn6-gdk-pixbuf-2.42.10-dev
  /nix/store/wc7cjzx6llh7lfwrd2jc8hg7p7qgw4iw-libX11-1.8.1-dev
  /nix/store/wdbmadc3ra88cmkbnxdja6wynf1wsl9l-libwacom-2.4.0
  /nix/store/wgkb0mwpxj9ssr9g0mcksx411ckffp47-boost-1.79.0-dev
  /nix/store/wmll0ybd0dh6q1v681hmsccav7g9y2yp-json-glib-1.6.6
  /nix/store/x5xirbnj5sxiilh3sfyx996fgywh646f-libdaemon-0.14
  /nix/store/xp669xs2d80nxb6ssdv654x3ydjjxg4l-libXrandr-1.5.2-dev
  /nix/store/yh7577a49x6y4hfngmii3clhzknq1k36-cairo-1.16.0
  /nix/store/ymc730qycjasbb4fbamwizyp0ha3q9wc-gobject-introspection-1.74.0
  /nix/store/z1kiyc0lbqnvg2yrj7k15bv09i7n2rx8-xkeyboard-config-2.33
  /nix/store/zq14zz2v9grw16wgyyjlb5qb17cwl5pk-libglvnd-1.5.0-dev
  /nix/store/zsb63c1fs5jp4c3jw0p2rrzf74i4zn80-xz-5.4.1-dev
  /nix/store/zzzdx6szglrljdy0gqkilm14k16i2j7j-systemd-252.4-dev
copying path '/nix/store/wgkb0mwpxj9ssr9g0mcksx411ckffp47-boost-1.79.0-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/1adqzrcyr53bjqfjsxxyb9h5q4dnn0b4-find-xml-catalogs-hook' from 'https://cache.nixos.org'...
copying path '/nix/store/1lm1fj8s90x5p3fr9krdkhqii1fkxqbn-gsettings-desktop-schemas-43.0' from 'https://cache.nixos.org'...
copying path '/nix/store/dx4v10h097j5zgz12fmrj5s3i9n8bdj5-iso-codes-4.11.0' from 'https://cache.nixos.org'...
copying path '/nix/store/qy84qml85qd9h2i368ahbqchaqnfa4hr-wayland-protocols-1.31' from 'https://cache.nixos.org'...
copying path '/nix/store/z1kiyc0lbqnvg2yrj7k15bv09i7n2rx8-xkeyboard-config-2.33' from 'https://cache.nixos.org'...
copying path '/nix/store/swvn5v81pn7x0gah3xcyw02vj3qk8zzk-xorgproto-2021.5' from 'https://cache.nixos.org'...
copying path '/nix/store/bh6ryxm1v76ka5riz956jpb757q05a0v-curl-7.87.0' from 'https://cache.nixos.org'...
copying path '/nix/store/s37pyihssr0zw6bg640j7z2bisj7ffai-dconf-0.40.0-lib' from 'https://cache.nixos.org'...
copying path '/nix/store/vi6giip6mx8vfwqx5mqhidnmd999qgb4-fribidi-1.0.12' from 'https://cache.nixos.org'...
copying path '/nix/store/bqf7gag0r4k8g8fak9ss3wpg32ahk8i6-gdk-pixbuf-2.42.10' from 'https://cache.nixos.org'...
copying path '/nix/store/nnxcnfq9hvv7krf56q8lcg57i8p4mjkn-icu4c-72.1-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/rp2dzk4z5afpv1c8xr00pxpbq3vglhm0-libXrender-0.9.10' from 'https://cache.nixos.org'...
copying path '/nix/store/8ca0fchihpmjk8li7jbjx94xxhny7pb8-libglvnd-1.5.0' from 'https://cache.nixos.org'...
copying path '/nix/store/nhnfywxbmv9537mbyyw405kj5779afdg-libpng-apng-1.6.39-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/s6y8jhmbyrhcvri6mxxb0dpl3dhzm4ks-libxcb-1.14-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/rqqzzm8aj1nyr5hwvqsyjsnprksdz3x7-brotli-1.0.9' from 'https://cache.nixos.org'...
copying path '/nix/store/b3v9h64rrh4n65lb8jxij7xjwvs3hr2r-bzip2-1.0.8-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/28rygg0qrw1n3l53s1pxm7ipqaiav46a-expat-2.5.0-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/96jq56mh3cc5x17yx67b6ab65wjd6za1-glib-2.74.3-bin' from 'https://cache.nixos.org'...
copying path '/nix/store/r01gk2r6gab8wyy4r5k2raccy636iqb4-glibc-iconv-2.35' from 'https://cache.nixos.org'...
copying path '/nix/store/4j2zssk8nq7alxhqpna9ps6hxz0fmi8m-gmp-with-cxx-6.2.1-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/gw8a6ivjblvk6smw1rrh3dm0jyjcifhd-graphite2-1.3.14' from 'https://cache.nixos.org'...
copying path '/nix/store/akan9h1k0fr9p09ddp4kj2hxkpx171ps-dbus-1.14.4-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/wmll0ybd0dh6q1v681hmsccav7g9y2yp-json-glib-1.6.6' from 'https://cache.nixos.org'...
copying path '/nix/store/b11ghhcahqm6zjyylqrng2zhk5fgk81d-libICE-1.0.10-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/g3r7bdi4cx51b02xz899hxzwq3nwdvca-libXcomposite-0.4.5' from 'https://cache.nixos.org'...
copying path '/nix/store/liwyhk6q2j82db1p8ywl7ylq429vzrra-harfbuzz-6.0.0' from 'https://cache.nixos.org'...
copying path '/nix/store/0dq93hnrrgwqjzczl2zl94cr8ql5s1bf-libXfixes-6.0.0' from 'https://cache.nixos.org'...
copying path '/nix/store/f7lqdx2n5i8cgw2kh1bpp1xwmwg7097q-glu-9.0.2' from 'https://cache.nixos.org'...
copying path '/nix/store/8qxlk9vc11v84ir8s6c4hxi6nndqfxs3-libGL-1.5.0' from 'https://cache.nixos.org'...
copying path '/nix/store/7wz9fjrvylgsj1isywn7xvhrx215xxg4-libXcursor-1.2.0' from 'https://cache.nixos.org'...
copying path '/nix/store/sp5s5dvvp32g4z5icprbwsbhi3x2xdsc-libXdamage-1.1.5' from 'https://cache.nixos.org'...
copying path '/nix/store/gx4429hhkgklm94hni4877gsy8wh84kq-libXau-1.0.9-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/1wck1dd9nbd241ziq0kg37z4wdb1m7yk-libXfixes-6.0.0-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/b3s4j8wvzrqamajav0xfwnczgfgwkjzj-libXft-2.3.6' from 'https://cache.nixos.org'...
copying path '/nix/store/sq9p302frav8s9b9p95zg6gcs72gsws9-libXi-1.8' from 'https://cache.nixos.org'...
copying path '/nix/store/06yw6h4r3lqxix5wfvs0mrfwsnv0vcy5-libXinerama-1.1.4' from 'https://cache.nixos.org'...
copying path '/nix/store/j82vbmh4i2xnp080qcj85nwl6kqr6r5v-libXrandr-1.5.2' from 'https://cache.nixos.org'...
copying path '/nix/store/75iqnr6j55pza4h8nw8a85r0lm0rqy6j-libXcursor-1.2.0-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/ksx1jbax4y3mqn44fld56q8ga8gpsbcm-harfbuzz-6.0.0-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/x5xirbnj5sxiilh3sfyx996fgywh646f-libdaemon-0.14' from 'https://cache.nixos.org'...
copying path '/nix/store/c355qqjmg7s968k88j2mrl5qnkhbgv6d-libXtst-1.2.3' from 'https://cache.nixos.org'...
copying path '/nix/store/q1scis7n1xqz0860nnmhr8m9cqgl7z13-libXinerama-1.1.4-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/1yfrrmylmg5r5j1xh8x64b4z4lrskkhl-libdatrie-2019-12-20-lib' from 'https://cache.nixos.org'...
copying path '/nix/store/43147lsfia7drvwkvsadznfxlm7sw2jw-libepoxy-1.5.10' from 'https://cache.nixos.org'...
copying path '/nix/store/6x1x65ydydlxajmn5w8w7q4q4z2n9c2l-libevdev-1.13.0' from 'https://cache.nixos.org'...
copying path '/nix/store/2060l96x2282i1wj1hy84w4ly49rga54-brotli-1.0.9-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/sp24041nvd97pdi0pf5rsjc8b0ghvbrf-libffi-3.4.4-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/wc7cjzx6llh7lfwrd2jc8hg7p7qgw4iw-libX11-1.8.1-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/njd7yng4qd9mc63v7xpj33drc5rnc409-libSM-1.2.3-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/zq14zz2v9grw16wgyyjlb5qb17cwl5pk-libglvnd-1.5.0-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/nfi5j1cn7gp2fr57fzmyjsrkw4dziaaz-avahi-0.8' from 'https://cache.nixos.org'...
copying path '/nix/store/ksx4hpqqg2ygg41vnxcphbjwi34yswsb-at-spi2-core-2.46.0' from 'https://cache.nixos.org'...
copying path '/nix/store/24m8ipf4xxb9jwymppgzj9ksgaknkz4n-glib-2.74.3-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/8r5n8040pq5jh2dgvh65lyxxyxg6i725-freetype-2.12.1-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/am4hhl2a0zlnc13kwlmg74xicnc7zyjc-libgudev-237' from 'https://cache.nixos.org'...
copying path '/nix/store/a8synadvg5pxsrc9q3mqja9q0wzja9gw-libjpeg-turbo-2.1.4-bin' from 'https://cache.nixos.org'...
copying path '/nix/store/n2527lsrrva0p01s8j63pvm87rdkwygb-libossp-uuid-1.6.2' from 'https://cache.nixos.org'...
copying path '/nix/store/2b1wyy9a9cppd5zwnw7500xyvas5xx2y-libpaper-1.1.28' from 'https://cache.nixos.org'...
copying path '/nix/store/fxi07f13yb7i7yl426994ik58046jkg6-at-spi2-core-2.46.0-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/43hfjf6dml5v9rkiimi0nc6snnka9bwi-cups-2.4.2-lib' from 'https://cache.nixos.org'...
copying path '/nix/store/njscwm3zzzkj8ainbjk7x3r46c6qj24r-libXext-1.3.4-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/s2kqarc938zqbcmbwxss1l9jxvld8crl-libXcomposite-0.4.5-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/dx6irfq5saffndy4spsn60k328x65ayq-libXdamage-1.1.5-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/hynb12dnrh1s8ia2bhhnd46pz40prn5m-libpciaccess-0.16' from 'https://cache.nixos.org'...
copying path '/nix/store/7xg1kxl4jpn03dlsch56hl1v5pwi3vj8-libthai-0.1.29' from 'https://cache.nixos.org'...
copying path '/nix/store/7ygpflcqy1dcm71sbbxmb1ryvxi9ah4r-libtiff-4.5.0-bin' from 'https://cache.nixos.org'...
copying path '/nix/store/wdbmadc3ra88cmkbnxdja6wynf1wsl9l-libwacom-2.4.0' from 'https://cache.nixos.org'...
copying path '/nix/store/kyjnqlgg6gnq8dlixwpx2mpi8m8pccwm-libXrender-0.9.10-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/v901ilbgzfifda889lx6d7b59ryfiyiv-libxml2-2.10.3-bin' from 'https://cache.nixos.org'...
copying path '/nix/store/69hlk13zqipb6x22pnzxrgl1ap6i0w1q-fontconfig-2.14.0-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/85ibhhm4qp19ddsf2bfm64cd24xfgbgi-libGL-1.5.0-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/2k25kq8hvqcnz0hf8q037j19chax17yn-libxslt-1.1.37-bin' from 'https://cache.nixos.org'...
copying path '/nix/store/ja0a9xhn6k6as5ykmadxysrlmi2rf080-libdrm-2.4.114' from 'https://cache.nixos.org'...
copying path '/nix/store/s2nbca3iica1ya0lij1bxyyfbmj88wzm-lndir-1.0.3' from 'https://cache.nixos.org'...
copying path '/nix/store/5daa1x8na9zzanf3bznng3cmadjax0v1-mariadb-connector-c-3.2.5' from 'https://cache.nixos.org'...
copying path '/nix/store/gvxfab9gxb1xka355pg4yf24zihgda45-libjpeg-turbo-2.1.4-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/khp5qbmrvm8jlwzn7yqpfys1dx4iw8xm-mtdev-1.1.6' from 'https://cache.nixos.org'...
copying path '/nix/store/hk5imsc744bn7xgk9j5n0h2vz118r6rz-cups-2.4.2' from 'https://cache.nixos.org'...
copying path '/nix/store/7pg5j6k1m9y2bn2hr05j0v4nasq23xmr-openssl-3.0.7-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/xp669xs2d80nxb6ssdv654x3ydjjxg4l-libXrandr-1.5.2-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/aamjzyh7zbn5rl67cx76g9sa3adj729w-pcre2-10.42-bin' from 'https://cache.nixos.org'...
copying path '/nix/store/v0mwxizm0rhgfvx4nigmas7vhkg8yrq2-pixman-0.42.2' from 'https://cache.nixos.org'...
copying path '/nix/store/d7r3y2xkmcivm9fw1ji0p8fzharwp17w-glu-9.0.2-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/p8zz9ddnvyj34n8x3xf21hqrzs6fl541-libXft-2.3.6-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/0x0d742smqsy97bry9295hzxzmh4axvn-libXi-1.8-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/12i5vks32j41mgs8iga7vlfxbz5qzm81-libxml2-2.10.3-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/79azl2c2q2c8agjq5w111638npgdvy81-postgresql-14.6-lib' from 'https://cache.nixos.org'...
copying path '/nix/store/4nhcx0ndfa374cgvi6x9sg73prmxmc04-publicsuffix-list-2021-09-03' from 'https://cache.nixos.org'...
copying path '/nix/store/6l8yqfwgnagvi9m8w1alnzbm98fb280v-rhash-1.4.3' from 'https://cache.nixos.org'...
copying path '/nix/store/2ybqijdj49l6436zmav8s3i9xqs62k8b-sqlite-3.40.1-bin' from 'https://cache.nixos.org'...
copying path '/nix/store/zzzdx6szglrljdy0gqkilm14k16i2j7j-systemd-252.4-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/9zw44lwkl8433skpb2vwh31b664dk91g-pcre2-10.42-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/ijk1lx8cq3sjpbpbl7sjz3218q9waqwz-wayland-1.21.0' from 'https://cache.nixos.org'...
copying path '/nix/store/l91prip3jn8n9ri4a0y8d20541llwssf-wayland-1.21.0-bin' from 'https://cache.nixos.org'...
copying path '/nix/store/ngj3lzpwr2n8lyk0xy4vky3y6qgqaq3n-libdrm-2.4.114-bin' from 'https://cache.nixos.org'...
copying path '/nix/store/yh7577a49x6y4hfngmii3clhzknq1k36-cairo-1.16.0' from 'https://cache.nixos.org'...
copying path '/nix/store/lgpacnrrlxflz0q7cmgmw372szhdkhj3-xcb-util-0.4.0' from 'https://cache.nixos.org'...
copying path '/nix/store/hms4g79i8rq53s86q5q6a069kishc076-libpsl-0.21.1' from 'https://cache.nixos.org'...
copying path '/nix/store/34g510ipxdkznlfscg8mpy58kjd3iyck-libxkbcommon-1.5.0' from 'https://cache.nixos.org'...
copying path '/nix/store/a1c04w29fyk99plp09h6p0pgkh73wxih-libdrm-2.4.114-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/91inqf4np32q02gzma2p5mgbi4rpx2vx-cmake-3.24.3' from 'https://cache.nixos.org'...
copying path '/nix/store/b04757aqhr1cjlj91asyfwsl73hvd0rr-libsoup-2.74.3' from 'https://cache.nixos.org'...
copying path '/nix/store/shb8qwk9wyxfxkphacm7v61pb7scn8aj-libsoup-3.2.2' from 'https://cache.nixos.org'...
copying path '/nix/store/srx0ivm8sa3mxqc49wmml423ffwdkd8l-libinput-1.21.0' from 'https://cache.nixos.org'...
copying path '/nix/store/mcrc6yzic42shza2yi5v969yns995adb-libxkbcommon-1.5.0-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/0ma60lmcbwnxxs9v6g9r6hlkz9wlqvdc-xcb-util-keysyms-0.4.0' from 'https://cache.nixos.org'...
copying path '/nix/store/ymc730qycjasbb4fbamwizyp0ha3q9wc-gobject-introspection-1.74.0' from 'https://cache.nixos.org'...
copying path '/nix/store/cd96gaj987p7n9kc5y3fm1fcsw774kja-pango-1.50.12' from 'https://cache.nixos.org'...
copying path '/nix/store/cgx5jbmh25ix03lif1lm4r159yrxvhrg-xcb-util-renderutil-0.3.9' from 'https://cache.nixos.org'...
copying path '/nix/store/sxsqslqzw2m4s3875cpjw6w3hysdy1xs-xcb-util-wm-0.4.1' from 'https://cache.nixos.org'...
copying path '/nix/store/zsb63c1fs5jp4c3jw0p2rrzf74i4zn80-xz-5.4.1-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/419dik34l627kf9ij309ca8b91z939q7-xcb-util-keysyms-0.4.0-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/a1pjhr26avgp01cghbs8vdpg9vbf592j-xcb-util-0.4.0-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/rw59fmy3kkjh4w5hx8ml1x5nwan7vaaz-xcb-util-image-0.4.0' from 'https://cache.nixos.org'...
copying path '/nix/store/vy6ff52054cpnhha3ami8dzjw2bh8dlw-wayland-1.21.0-dev' from 'https://cache.nixos.org'...
building '/nix/store/fl9p83sryx52r4psbqdx78rfw4n5cfw3-mcrl2-202206.1.1.tar.gz.drv'...
copying path '/nix/store/v8ljf4zfnfavvqj2kdwn3pa77qk8hywv-libxslt-1.1.37-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/8810j23yfm234ywbrk99j4hry8xd5axv-sqlite-3.40.1-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/4vr6hbgfjgqwi1dkfmrc4zc8z0z16gfl-xcb-util-wm-0.4.1-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/sjijd45mirjiwc3afybrylhxzj4ksc6x-libtiff-4.5.0-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/l4d2kkw1g0mx7mdyba4fd085ridi4nsi-pango-1.50.12-bin' from 'https://cache.nixos.org'...
copying path '/nix/store/8f4wzk95i3ndg27i4zs5wrwah5y0gwid-gobject-introspection-wrapped-1.74.0' from 'https://cache.nixos.org'...
copying path '/nix/store/msflcza94j2hpkryr204qf2f2xwd8yqa-xcb-util-renderutil-0.3.9-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/qriwdzhz3xqj8yg9cyjy6789zji81nsr-qtbase-5.15.8' from 'https://cache.nixos.org'...
copying path '/nix/store/2bfn4qcmhmwl3ilqdmgs29b770s2kic3-xcb-util-image-0.4.0-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/558qdc4g7vmg0bjgfyc052q6j3g7xl8l-cairo-1.16.0-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/g3b2sbdjw91z7gh12kkh460hc7sz29zv-tracker-3.4.2' from 'https://cache.nixos.org'...
copying path '/nix/store/w957n8v0k3cnm7q04vazd3bslk0mpdn6-gdk-pixbuf-2.42.10-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/jsrb3gmp76ar7jfll195a88vlclhk1qx-cups-2.4.2-dev' from 'https://cache.nixos.org'...
copying path '/nix/store/qsmll7x8n7p1lw961az7jhsnshbxqbn8-pango-1.50.12-dev' from 'https://cache.nixos.org'...

trying https://www.mcrl2.org/download/release/mcrl2-202206.1.1.tar.gz
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed
copying path '/nix/store/kv7ih63pn9hn8p00wwi1mvg400ahsrc2-gtk+3-3.24.36' from 'https://cache.nixos.org'...
  0  1019    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
curl: (22) The requested URL returned error: 404
error: cannot download mcrl2-202206.1.1.tar.gz from any mirror
error: builder for '/nix/store/fl9p83sryx52r4psbqdx78rfw4n5cfw3-mcrl2-202206.1.1.tar.gz.drv' failed with exit code 1;
       last 7 log lines:
       >
       > trying https://www.mcrl2.org/download/release/mcrl2-202206.1.1.tar.gz
       >   % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
       >                                  Dload  Upload   Total   Spent    Left  Speed
       >   0  1019    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
       > curl: (22) The requested URL returned error: 404
       > error: cannot download mcrl2-202206.1.1.tar.gz from any mirror
       For full logs, run 'nix log /nix/store/fl9p83sryx52r4psbqdx78rfw4n5cfw3-mcrl2-202206.1.1.tar.gz.drv'.
error: 1 dependencies of derivation '/nix/store/75nii6fyg75xzxvn219czwm5cv3pm7nm-mcrl2-202206.1.drv' failed to build