2022-11-07T11:04:17 fstar 2022.01.15 -> 2022.06.08 https://repology.org/metapackage/fstar/versions 2022-11-07T11:04:19 attrpath: fstar 2022-11-07T11:04:19 Checking auto update branch... 2022-11-07T11:04:19 No auto update branch exists 2022-11-07T11:04:23 [version] 2022-11-07T11:04:39 stderr did not split as expected full stderr was: warning: unknown setting 'experimental-features' these derivations will be built: /nix/store/nzcjc93lmd9ayvy5vnpq1zp76zfcc3j6-source.drv error: error: builder for '/nix/store/nzcjc93lmd9ayvy5vnpq1zp76zfcc3j6-source.drv' failed with exit code 1; last 8 log lines: > > trying https://github.com/FStarLang/FStar/archive/v2022.06.08.tar.gz > % Total % Received % Xferd Average Speed Time Time Time Current > Dload Upload Total Spent Left Speed > 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 > 0 14 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 > curl: (22) The requested URL returned error: 404 > error: cannot download source from any mirror For full logs, run 'nix log /nix/store/nzcjc93lmd9ayvy5vnpq1zp76zfcc3j6-source.drv'. stderr did not split as expected full stderr was: warning: unknown setting 'experimental-features' error: attribute 'originalSrc' in selection path 'fstar.originalSrc' not found stderr did not split as expected full stderr was: warning: unknown setting 'experimental-features' these derivations will be built: /nix/store/ib0fndr6sgbb6v880izfrkcb09mw81ji-ocaml4.14.0-sexplib0-0.15.1.drv /nix/store/fqvi1bqwwc4j66ifg4xq2fhnh47dm4dw-ocaml4.14.0-base-0.15.1.drv /nix/store/hgbmxn4b1mm5wvj2lm9k9h0pa6ry8jg5-ocaml4.14.0-stdio-0.15.0.drv /nix/store/9zvhb7dpdxmssgdgz9xlx4c89r107h93-ocaml4.14.0-ppxlib-0.24.0.drv /nix/store/qcvd28v7dj1fgs20f4234xdxbj2mazg6-ocaml4.14.0-ppx_deriving-5.2.1.drv /nix/store/1rkgnisa4svq2b7mh338fn4iyg59blrn-ocaml4.14.0-ppx_deriving_yojson-3.6.1.drv /nix/store/nzcjc93lmd9ayvy5vnpq1zp76zfcc3j6-source.drv /nix/store/pss3fhk8wp256lml8fgzzm12h47ka0n0-ocaml4.14.0-sedlex-2.5.drv /nix/store/q6hd6f7ifq2294cdp79imp6m1c1hi0zy-fstar-2022.06.08.drv these paths will be fetched (146.64 MiB download, 621.08 MiB unpacked): /nix/store/0zic3ylgc7p1f3r1hjfgqnng05sj7ppx-ocaml4.14.0-uchar-0.0.2 /nix/store/1dlcbqfl36wc45z4y3b2x5zhxg7h84cr-ocaml4.14.0-csexp-1.5.1 /nix/store/20ddqr8r6zaaxyl0zwmqsx5hc9jqfhrm-ocaml4.14.0-re-1.10.4 /nix/store/2smnl3ya9ni280vqbz9iykdwg2kzm807-source /nix/store/2vn7i0g3cdmp9iapg04sv4sk9k5mcam3-DerivedCoreProperties.txt /nix/store/2wf9apzl3b3kbqz4d6licvkqbp288nvi-ocaml4.14.0-menhirLib-20220210 /nix/store/403aipxrd11qmj4w29flijjrq43k80n4-ocaml4.14.0-fmt-0.9.0 /nix/store/45isldfim00h7lbgj7yk6imx4j3rj0rq-ocaml4.14.0-alcotest-1.6.0 /nix/store/4kaqpaz7p4bsyrvwicj14kh7qyk7wlk0-ocaml4.14.0-yojson-2.0.2 /nix/store/4l1pgd63szfzhjq1v113wf7bh1nyrqxq-ocaml4.14.0-result-1.5 /nix/store/5xi5f327kj7q56cgr29rwwdky7wknb5d-z3-4.8.15-dev /nix/store/5ypk1g0ndn1gvr40n18w2griph32i9pr-ocaml4.14.0-fileutils-0.6.3 /nix/store/8zj2iygi6dppnrikwy2sfh8292hqlkwz-dune-2.9.3 /nix/store/9cz9l69blg1177crl3y1y9fqrgwrc28i-python2.7-setuptools-44.0.0 /nix/store/9qa53mvz0mwqcm0wnkv91pczrkvfnszw-ocaml4.14.0-findlib-1.9.6 /nix/store/9wvsly188kc0vdxc4xf1l09lmpympp05-ocaml4.14.0-ocaml-compiler-libs-0.12.4 /nix/store/c55fkyvyq624f6smqdmg2p6h3yd18kgb-source /nix/store/cj10jvk39qhdijbl1niagqsnf2i18m2v-ocaml4.14.0-ocamlbuild-0.14.2 /nix/store/dggzix1yj1p6a6q98ajxdh1vk4gyz585-ocaml-4.14.0 /nix/store/drhw0gqi29fqn7jiiymqa58iyy5a2cdc-source /nix/store/fxqnma21g8z54c56ny6f1v3grnc80h0v-ocaml4.14.0-pprint-20220103 /nix/store/fz2vzym5kkz367aljv4adk7pshh2k27q-ocaml4.14.0-ounit2-2.2.6 /nix/store/g7cml1bxf9c763hzbv3nqf4g0wqh586f-ocaml4.14.0-zarith-1.12 /nix/store/gg66vvqdw4a49vp998p56kpxfq8l29vs-DerivedGeneralCategory.txt /nix/store/gr400gpd5pil07bk5vc2gjx8xczhj065-ocaml4.14.0-seq-0.1 /nix/store/h726jfjkcv2pkc93sij5zl95kqn25gqh-ocaml4.14.0-process-0.2.1 /nix/store/h9y0vq2ayz990pmnxjkpnjfgzrjggvq9-ocaml4.14.0-ppx_derivers-1.2.1 /nix/store/i6hjf36hww229k8n5vgchdid1mlvdk03-ocaml4.14.0-ocaml-migrate-parsetree-2.4.0 /nix/store/i6wfi4ba56j4sn5lj0j2wmpbl4nzag6x-source /nix/store/ixrqnqbrqajp0d5s6h81s0niis6y29i6-ocaml4.14.0-num-1.1 /nix/store/jg7z273jpj51xp51iw2w3jhrvfbymv5r-ocaml4.14.0-dune-configurator-2.9.3 /nix/store/jp32xfhrjqcsgp8z9h0yvypp2mj3wbi4-ppx_deriving-v5.2.1.tbz /nix/store/mf3c1nakkbb3m3iwlmkfjghr1kp1jn9w-source /nix/store/mmr0rfn4kbvhrgal7c5pkz9n86m748ha-z3-4.8.15 /nix/store/mxiam3nsvkbflrjhhfcj6z8sh1v5rv7p-cmdliner-1.1.1 /nix/store/nwq11v511wcp15cp6d83lxipy228yyl1-ocaml4.14.0-stdint-0.7.2 /nix/store/p0b3mb3zy8s6j5yaxv7fqh2709053dl7-ocaml4.14.0-cppo-1.6.9 /nix/store/q7hnsszmjvdbg2dsalhnn6k7r6f0j5dd-PropList.txt /nix/store/rfj6iz2zm1m7hblzhnq657lwcp2kvav7-ocaml4.14.0-ounit-2.2.6 /nix/store/snhp00faais28pvwzhj41jj40qfymx8f-ocaml4.14.0-uutf-1.0.3 /nix/store/vybgsysq5qxwj102qzp8r8730aizhb7s-ocaml4.14.0-batteries-3.5.1 /nix/store/wwn8ixl1wny3mn33wglzk6b3f4sfmc26-ocaml4.14.0-gen-0.5 /nix/store/x74222h2r6lzmzzapz6lqjimk0r63r36-ocaml4.14.0-menhir-20220210 /nix/store/yyqcp0qf30zr6mmbdb7f67w9d6n15rsn-ocaml4.14.0-stdlib-shims-0.3.0 /nix/store/z40aiib760s7nwmcqkdqgdnhwhc829dy-ocaml4.14.0-astring-0.8.5 /nix/store/z7f2ss2xmz6gmb90rpvj09nzds6inag7-z3-4.8.15-lib /nix/store/za8qlyvd2bxscvk5dmn5zx64xivacfkk-source error: builder for '/nix/store/nzcjc93lmd9ayvy5vnpq1zp76zfcc3j6-source.drv' failed with exit code 1; last 8 log lines: > > trying https://github.com/FStarLang/FStar/archive/v2022.06.08.tar.gz > % Total % Received % Xferd Average Speed Time Time Time Current > Dload Upload Total Spent Left Speed > 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 > 0 14 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 > curl: (22) The requested URL returned error: 404 > error: cannot download source from any mirror For full logs, run 'nix log /nix/store/nzcjc93lmd9ayvy5vnpq1zp76zfcc3j6-source.drv'. error: error: 1 dependencies of derivation '/nix/store/q6hd6f7ifq2294cdp79imp6m1c1hi0zy-fstar-2022.06.08.drv' failed to build