diff --git a/flake.lock b/flake.lock index a4ed38d..493cc81 100644 --- a/flake.lock +++ b/flake.lock @@ -326,15 +326,19 @@ }, "alejandra_2": { "inputs": { + "fenix": "fenix_7", "flakeCompat": "flakeCompat_2", - "nixpkgs": "nixpkgs_57" + "nixpkgs": [ + "cicero", + "nixpkgs" + ] }, "locked": { - "lastModified": 1648332543, - "narHash": "sha256-9FWmFNLCOp4y0I8Yb4GvgGXxtDq3nBDSTI9qyCi2LJ4=", + "lastModified": 1657776653, + "narHash": "sha256-imWi48JxT7l/1toc7NElP1/CBEbChTQ3n0gjBz6L7so=", "owner": "kamadorueda", "repo": "alejandra", - "rev": "5cbb3486c7959646f452830c0a223edc5db5b951", + "rev": "25cbef035e1ebf79fdf08f64ca6348ab4807b757", "type": "github" }, "original": { @@ -346,7 +350,7 @@ "alejandra_3": { "inputs": { "flakeCompat": "flakeCompat_3", - "nixpkgs": "nixpkgs_66" + "nixpkgs": "nixpkgs_67" }, "locked": { "lastModified": 1646937818, @@ -905,11 +909,11 @@ "ragenix": "ragenix_5" }, "locked": { - "lastModified": 1658156716, - "narHash": "sha256-c1lH7PIN0rTKdGgosD5fCsHoAklAtGR/E1DFT2exIkM=", + "lastModified": 1658302805, + "narHash": "sha256-7NOncN6pwUhs69HKYxVQgSTimFVIO0cAiyZdWIR0yBg=", "owner": "input-output-hk", "repo": "devshell-capsules", - "rev": "88348a415130cee29ce187140e6f57d94d843d54", + "rev": "e6459a157c441c36e78e426e93e94a2cfffc7bac", "type": "github" }, "original": { @@ -1167,6 +1171,7 @@ "haskell-nix": "haskell-nix_2", "inclusive": "inclusive_12", "nix": "nix_11", + "nix2container": "nix2container", "nixos-shell": "nixos-shell", "nixpkgs": [ "nixpkgs" @@ -1175,14 +1180,15 @@ "spongix": [ "spongix" ], + "tullia": "tullia", "utils": "utils_23" }, "locked": { - "lastModified": 1652824972, - "narHash": "sha256-zHPw27TsKnTNI07RFzCDvxYiqgyUINkDClbWdLcCDRU=", + "lastModified": 1658393686, + "narHash": "sha256-R8Xan83yYvcEj0X9iAJvgKGF9eMq/vwkDCK47ETpGLM=", "owner": "input-output-hk", "repo": "cicero", - "rev": "1f8ecb91f07126fbc51f6ee43f327e12fd0bf488", + "rev": "f3f8a9ddd6fe69d52b0a3d44b4a7ac0bea5569fe", "type": "github" }, "original": { @@ -1311,14 +1317,14 @@ "data-merge_5": { "inputs": { "nixlib": "nixlib_5", - "yants": "yants_7" + "yants": "yants_8" }, "locked": { - "lastModified": 1648237091, - "narHash": "sha256-OtgcOt/CB0/9S0rh1eAog+AvAg9kF6GyAknyWOXiAZI=", + "lastModified": 1655854240, + "narHash": "sha256-j74ixD7Y0bF3h0fBJFKPR9botlrMu0fgG/YsiUKybko=", "owner": "divnix", "repo": "data-merge", - "rev": "b21bcf7bd949ac92af3930ecb1d3df8786384722", + "rev": "0bbe0a68d4ee090b8bbad0c5e1e85060d2bdfe98", "type": "github" }, "original": { @@ -1519,7 +1525,7 @@ "devshell_15": { "inputs": { "flake-utils": "flake-utils_29", - "nixpkgs": "nixpkgs_59" + "nixpkgs": "nixpkgs_58" }, "locked": { "lastModified": 1647857022, @@ -1551,12 +1557,21 @@ } }, "devshell_17": { + "inputs": { + "flake-utils": "flake-utils_31", + "nixpkgs": [ + "cicero", + "tullia", + "std", + "nixpkgs" + ] + }, "locked": { - "lastModified": 1632436039, - "narHash": "sha256-OtITeVWcKXn1SpVEnImpTGH91FycCskGBPqmlxiykv4=", + "lastModified": 1650900878, + "narHash": "sha256-qhNncMBSa9STnhiLfELEQpYC1L4GrYHNIzyCZ/pilsI=", "owner": "numtide", "repo": "devshell", - "rev": "7a7a7aa0adebe5488e5abaec688fd9ae0f8ea9c6", + "rev": "d97df53b5ddaa1cfbea7cddbd207eb2634304733", "type": "github" }, "original": { @@ -1567,11 +1582,11 @@ }, "devshell_18": { "locked": { - "lastModified": 1636119665, - "narHash": "sha256-e11Z9PyH9hdgTm4Vyl8S5iTwrv0um6+srzb1Ba+YUHA=", + "lastModified": 1632436039, + "narHash": "sha256-OtITeVWcKXn1SpVEnImpTGH91FycCskGBPqmlxiykv4=", "owner": "numtide", "repo": "devshell", - "rev": "ab14b1a3cb253f58e02f5f849d621292fbf81fad", + "rev": "7a7a7aa0adebe5488e5abaec688fd9ae0f8ea9c6", "type": "github" }, "original": { @@ -1581,19 +1596,12 @@ } }, "devshell_19": { - "inputs": { - "flake-utils": "flake-utils_34", - "nixpkgs": [ - "std", - "nixpkgs" - ] - }, "locked": { - "lastModified": 1650900878, - "narHash": "sha256-qhNncMBSa9STnhiLfELEQpYC1L4GrYHNIzyCZ/pilsI=", + "lastModified": 1636119665, + "narHash": "sha256-e11Z9PyH9hdgTm4Vyl8S5iTwrv0um6+srzb1Ba+YUHA=", "owner": "numtide", "repo": "devshell", - "rev": "d97df53b5ddaa1cfbea7cddbd207eb2634304733", + "rev": "ab14b1a3cb253f58e02f5f849d621292fbf81fad", "type": "github" }, "original": { @@ -1617,6 +1625,28 @@ "type": "github" } }, + "devshell_20": { + "inputs": { + "flake-utils": "flake-utils_34", + "nixpkgs": [ + "std", + "nixpkgs" + ] + }, + "locked": { + "lastModified": 1653917170, + "narHash": "sha256-FyxOnEE/V4PNEcMU62ikY4FfYPo349MOhMM97HS0XEo=", + "owner": "numtide", + "repo": "devshell", + "rev": "fc7a3e3adde9bbcab68af6d1e3c6eb738e296a92", + "type": "github" + }, + "original": { + "owner": "numtide", + "repo": "devshell", + "type": "github" + } + }, "devshell_3": { "locked": { "lastModified": 1637098489, @@ -1931,6 +1961,29 @@ "type": "github" } }, + "fenix_7": { + "inputs": { + "nixpkgs": [ + "cicero", + "alejandra", + "nixpkgs" + ], + "rust-analyzer-src": "rust-analyzer-src_7" + }, + "locked": { + "lastModified": 1657607339, + "narHash": "sha256-HaqoAwlbVVZH2n4P3jN2FFPMpVuhxDy1poNOR7kzODc=", + "owner": "nix-community", + "repo": "fenix", + "rev": "b814c83d9e6aa5a28d0cf356ecfdafb2505ad37d", + "type": "github" + }, + "original": { + "owner": "nix-community", + "repo": "fenix", + "type": "github" + } + }, "flake-compat": { "flake": false, "locked": { @@ -2422,11 +2475,11 @@ }, "flake-utils_31": { "locked": { - "lastModified": 1610051610, - "narHash": "sha256-U9rPz/usA1/Aohhk7Cmc2gBrEEKRzcW4nwPWMPwja4Y=", + "lastModified": 1642700792, + "narHash": "sha256-XqHrk7hFb+zBvRg6Ghl+AZDq03ov6OshJLiSWOoX5es=", "owner": "numtide", "repo": "flake-utils", - "rev": "3982c9903e93927c2164caa727cd3f6a0e6d14cc", + "rev": "846b2ae0fc4cc943637d3d1def4454213e203cba", "type": "github" }, "original": { @@ -2437,11 +2490,11 @@ }, "flake-utils_32": { "locked": { - "lastModified": 1638122382, - "narHash": "sha256-sQzZzAbvKEqN9s0bzWuYmRaA03v40gaJ4+iL1LXjaeI=", + "lastModified": 1653893745, + "narHash": "sha256-0jntwV3Z8//YwuOjzhV2sgJJPt+HY6KhU7VZUL0fKZQ=", "owner": "numtide", "repo": "flake-utils", - "rev": "74f7e4319258e287b0f9cb95426c9853b282730b", + "rev": "1ed9fb1935d260de5fe1c2f7ee0ebaae17ed2fa1", "type": "github" }, "original": { @@ -2589,11 +2642,11 @@ "flakeCompat_2": { "flake": false, "locked": { - "lastModified": 1648199409, - "narHash": "sha256-JwPKdC2PoVBkG6E+eWw3j6BMR6sL3COpYWfif7RVb8Y=", + "lastModified": 1650374568, + "narHash": "sha256-Z+s0J8/r907g149rllvwhb4pKi8Wam5ij0st8PwAh+E=", "owner": "edolstra", "repo": "flake-compat", - "rev": "64a525ee38886ab9028e6f61790de0832aa3ef03", + "rev": "b4a34015c698c7793d592d66adbab377907a2be8", "type": "github" }, "original": { @@ -2654,11 +2707,11 @@ "utils": "utils_22" }, "locked": { - "lastModified": 1649836589, - "narHash": "sha256-0mKWIfF7RtkwiJv2NlWKisdyivsSlHMTAQ3P72RSD3k=", + "lastModified": 1658244176, + "narHash": "sha256-oM+7WdbXcTiDEfuuiiVLlJi/MTRgSBwFdzVkFWsC8so=", "owner": "input-output-hk", "repo": "nomad-follower", - "rev": "18cafe87df773e61a6ce300d9ff91dee4aeae053", + "rev": "bd8cc28c94ba8bd48c4d4be5ab14f3904328dde3", "type": "github" }, "original": { @@ -3517,11 +3570,11 @@ "utils": "utils_21" }, "locked": { - "lastModified": 1652212694, - "narHash": "sha256-baAY5wKzccNsm7OCEYuySrkXRmlshokCHQjs4EdYShM=", + "lastModified": 1658302707, + "narHash": "sha256-E0FA1CEMQlfAsmtLBRoQE7IY4ItKlBdxZ44YX0tK5Hg=", "owner": "input-output-hk", "repo": "bitte-iogo", - "rev": "e465975aa368b2d919e865f71eeed02828e55471", + "rev": "8751660009202bc95ea3a29e304c393c140a4231", "type": "github" }, "original": { @@ -3807,6 +3860,22 @@ "type": "github" } }, + "mdbook-kroki-preprocessor": { + "flake": false, + "locked": { + "lastModified": 1655670640, + "narHash": "sha256-JjqdxftHBjABTkOpFl3cWUJtc/KGwkQ3NRWGLjH2oUs=", + "owner": "JoelCourtney", + "repo": "mdbook-kroki-preprocessor", + "rev": "bb6e607437ecc3f22fd9036acee6b797a5b45dbc", + "type": "github" + }, + "original": { + "owner": "JoelCourtney", + "repo": "mdbook-kroki-preprocessor", + "type": "github" + } + }, "membench": { "inputs": { "cardano-mainnet-mirror": "cardano-mainnet-mirror", @@ -3884,14 +3953,14 @@ "n2c_3": { "inputs": { "flake-utils": "flake-utils_32", - "nixpkgs": "nixpkgs_63" + "nixpkgs": "nixpkgs_64" }, "locked": { - "lastModified": 1650568002, - "narHash": "sha256-CciO5C3k/a7sbA+lW4jeiU6WGletujMjWcRzc1513tI=", + "lastModified": 1658567952, + "narHash": "sha256-XZ4ETYAMU7XcpEeAFP3NOl9yDXNuZAen/aIJ84G+VgA=", "owner": "nlewo", "repo": "nix2container", - "rev": "2cd391fc65847ea54e3657a491c379854b556262", + "rev": "60bb43d405991c1378baf15a40b5811a53e32ffa", "type": "github" }, "original": { @@ -3903,7 +3972,7 @@ "n2c_4": { "inputs": { "flake-utils": "flake-utils_33", - "nixpkgs": "nixpkgs_67" + "nixpkgs": "nixpkgs_68" }, "locked": { "lastModified": 1648247166, @@ -4067,10 +4136,32 @@ "type": "github" } }, + "nix2container": { + "inputs": { + "flake-utils": [ + "cicero", + "utils" + ], + "nixpkgs": "nixpkgs_61" + }, + "locked": { + "lastModified": 1655533513, + "narHash": "sha256-MAqvv2AZbyNYGJMpV5l9ydN7k66jDErFpaKOvZ1Y7f8=", + "owner": "nlewo", + "repo": "nix2container", + "rev": "2d47dbe633a059d75c7878f554420158712481cb", + "type": "github" + }, + "original": { + "owner": "nlewo", + "repo": "nix2container", + "type": "github" + } + }, "nix_10": { "inputs": { "lowdown-src": "lowdown-src_10", - "nixpkgs": "nixpkgs_60", + "nixpkgs": "nixpkgs_59", "nixpkgs-regression": "nixpkgs-regression_8" }, "locked": { @@ -4091,20 +4182,20 @@ "nix_11": { "inputs": { "lowdown-src": "lowdown-src_11", - "nixpkgs": "nixpkgs_61", + "nixpkgs": "nixpkgs_60", "nixpkgs-regression": "nixpkgs-regression_9" }, "locked": { - "lastModified": 1650397666, - "narHash": "sha256-gWYNlEyleqkPfxtGXeq6ggjzJwcXJVdieJxA1Obly9s=", + "lastModified": 1654597934, + "narHash": "sha256-l2tDdamtltUFPvfZuV9cOHDJ1FCr/qtdIOJLFxjx530=", "owner": "NixOS", "repo": "nix", - "rev": "69c6fb12eea414382f0b945c0d6c574c43c7c9a3", + "rev": "4555784afb613247563896273dad7887c1a2a0a3", "type": "github" }, "original": { "owner": "NixOS", - "ref": "2.8.0", + "ref": "2.8-maintenance", "repo": "nix", "type": "github" } @@ -4112,7 +4203,7 @@ "nix_12": { "inputs": { "lowdown-src": "lowdown-src_12", - "nixpkgs": "nixpkgs_64", + "nixpkgs": "nixpkgs_65", "nixpkgs-regression": "nixpkgs-regression_10" }, "locked": { @@ -4353,11 +4444,11 @@ }, "nixlib_5": { "locked": { - "lastModified": 1650156377, - "narHash": "sha256-a5YlF/WX8psCigVPNXWwyq5poZdJfUSwzLM4qEvaGMg=", + "lastModified": 1658019594, + "narHash": "sha256-mDy+kslt3q+LGnu2Ljlx6wsdZTIK163TBQX1ibGqKGc=", "owner": "nix-community", "repo": "nixpkgs.lib", - "rev": "26c5f0827224e4a01422d5c37c8021c2e5765611", + "rev": "153065e985316db9b6aa78f319d81163711c44fd", "type": "github" }, "original": { @@ -5713,22 +5804,6 @@ } }, "nixpkgs_57": { - "locked": { - "lastModified": 1648097358, - "narHash": "sha256-GMoTKP/po2Nbkh1tvPvP8Ww6NyFW8FFst1Z3nfzffZc=", - "owner": "nixos", - "repo": "nixpkgs", - "rev": "4d60081494259c0785f7e228518fee74e0792c1b", - "type": "github" - }, - "original": { - "owner": "nixos", - "ref": "nixpkgs-unstable", - "repo": "nixpkgs", - "type": "github" - } - }, - "nixpkgs_58": { "locked": { "lastModified": 1648341997, "narHash": "sha256-0tDgXkwmEwLqy29gn+r8scAynhnzMoQSZM32vo1RY30=", @@ -5743,7 +5818,7 @@ "type": "github" } }, - "nixpkgs_59": { + "nixpkgs_58": { "locked": { "lastModified": 1643381941, "narHash": "sha256-pHTwvnN4tTsEKkWlXQ8JMY423epos8wUOhthpwJjtpc=", @@ -5759,7 +5834,7 @@ "type": "github" } }, - "nixpkgs_6": { + "nixpkgs_59": { "locked": { "lastModified": 1632864508, "narHash": "sha256-d127FIvGR41XbVRDPVvozUPQ/uRHbHwvfyKHwEt5xFM=", @@ -5774,7 +5849,7 @@ "type": "indirect" } }, - "nixpkgs_60": { + "nixpkgs_6": { "locked": { "lastModified": 1632864508, "narHash": "sha256-d127FIvGR41XbVRDPVvozUPQ/uRHbHwvfyKHwEt5xFM=", @@ -5789,13 +5864,13 @@ "type": "indirect" } }, - "nixpkgs_61": { + "nixpkgs_60": { "locked": { - "lastModified": 1632864508, - "narHash": "sha256-d127FIvGR41XbVRDPVvozUPQ/uRHbHwvfyKHwEt5xFM=", + "lastModified": 1645296114, + "narHash": "sha256-y53N7TyIkXsjMpOG7RhvqJFGDacLs9HlyHeSTBioqYU=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "82891b5e2c2359d7e58d08849e4c89511ab94234", + "rev": "530a53dcbc9437363471167a5e4762c5fcfa34a1", "type": "github" }, "original": { @@ -5804,13 +5879,44 @@ "type": "indirect" } }, + "nixpkgs_61": { + "locked": { + "lastModified": 1654807842, + "narHash": "sha256-ADymZpr6LuTEBXcy6RtFHcUZdjKTBRTMYwu19WOx17E=", + "owner": "NixOS", + "repo": "nixpkgs", + "rev": "fc909087cc3386955f21b4665731dbdaceefb1d8", + "type": "github" + }, + "original": { + "owner": "NixOS", + "repo": "nixpkgs", + "type": "github" + } + }, "nixpkgs_62": { "locked": { - "lastModified": 1650156377, - "narHash": "sha256-a5YlF/WX8psCigVPNXWwyq5poZdJfUSwzLM4qEvaGMg=", + "lastModified": 1650469885, + "narHash": "sha256-BuILRZ6pzMnGey8/irbjGq1oo3vIvZa1pitSdZCmIXA=", + "owner": "nixos", + "repo": "nixpkgs", + "rev": "df78cc4e2a46fca75d14508a5d2ed3494add28ff", + "type": "github" + }, + "original": { + "owner": "nixos", + "ref": "nixpkgs-unstable", + "repo": "nixpkgs", + "type": "github" + } + }, + "nixpkgs_63": { + "locked": { + "lastModified": 1658019594, + "narHash": "sha256-mDy+kslt3q+LGnu2Ljlx6wsdZTIK163TBQX1ibGqKGc=", "owner": "nix-community", "repo": "nixpkgs.lib", - "rev": "26c5f0827224e4a01422d5c37c8021c2e5765611", + "rev": "153065e985316db9b6aa78f319d81163711c44fd", "type": "github" }, "original": { @@ -5819,13 +5925,13 @@ "type": "github" } }, - "nixpkgs_63": { + "nixpkgs_64": { "locked": { - "lastModified": 1642451377, - "narHash": "sha256-hvAuYDUN8XIrcQKE6wDw4LjTCcwrTp2B1i1i/5vfDMQ=", + "lastModified": 1654807842, + "narHash": "sha256-ADymZpr6LuTEBXcy6RtFHcUZdjKTBRTMYwu19WOx17E=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "e5b47c5c21336e3fdd887d24c7e34363fa09c6d7", + "rev": "fc909087cc3386955f21b4665731dbdaceefb1d8", "type": "github" }, "original": { @@ -5834,7 +5940,7 @@ "type": "github" } }, - "nixpkgs_64": { + "nixpkgs_65": { "locked": { "lastModified": 1632864508, "narHash": "sha256-d127FIvGR41XbVRDPVvozUPQ/uRHbHwvfyKHwEt5xFM=", @@ -5849,7 +5955,7 @@ "type": "indirect" } }, - "nixpkgs_65": { + "nixpkgs_66": { "locked": { "lastModified": 1641909823, "narHash": "sha256-Uxo+Wm6c/ijNhaJlYtFLJG9mh75FYZaBreMC2ZE0nEY=", @@ -5865,7 +5971,7 @@ "type": "github" } }, - "nixpkgs_66": { + "nixpkgs_67": { "locked": { "lastModified": 1646506091, "narHash": "sha256-sWNAJE2m+HOh1jtXlHcnhxsj6/sXrHgbqVNcVRlveK4=", @@ -5881,7 +5987,7 @@ "type": "github" } }, - "nixpkgs_67": { + "nixpkgs_68": { "locked": { "lastModified": 1642451377, "narHash": "sha256-hvAuYDUN8XIrcQKE6wDw4LjTCcwrTp2B1i1i/5vfDMQ=", @@ -5896,7 +6002,7 @@ "type": "github" } }, - "nixpkgs_68": { + "nixpkgs_69": { "locked": { "lastModified": 1648219316, "narHash": "sha256-Ctij+dOi0ZZIfX5eMhgwugfvB+WZSrvVNAyAuANOsnQ=", @@ -5912,35 +6018,35 @@ "type": "github" } }, - "nixpkgs_69": { + "nixpkgs_7": { "locked": { - "lastModified": 1652739558, - "narHash": "sha256-znGkjGugajqF/sFS+H4+ENmGTaVPFE0uu1JjQZJLEaQ=", + "lastModified": 1638452135, + "narHash": "sha256-5Il6hgrTgcWIsB7zug0yDFccYXx7pJCw8cwJdXMuLfM=", "owner": "nixos", "repo": "nixpkgs", - "rev": "ff691ed9ba21528c1b4e034f36a04027e4522c58", + "rev": "43cdc5b364511eabdcad9fde639777ffd9e5bab1", "type": "github" }, "original": { "owner": "nixos", - "ref": "nixpkgs-unstable", "repo": "nixpkgs", + "rev": "43cdc5b364511eabdcad9fde639777ffd9e5bab1", "type": "github" } }, - "nixpkgs_7": { + "nixpkgs_70": { "locked": { - "lastModified": 1638452135, - "narHash": "sha256-5Il6hgrTgcWIsB7zug0yDFccYXx7pJCw8cwJdXMuLfM=", + "lastModified": 1658311025, + "narHash": "sha256-GqagY5YmaZB3YaO41kKcQhe5RcpS83wnsW8iCu5Znqo=", "owner": "nixos", "repo": "nixpkgs", - "rev": "43cdc5b364511eabdcad9fde639777ffd9e5bab1", + "rev": "cd8d1784506a7c7eb0796772b73437e0b82fad57", "type": "github" }, "original": { "owner": "nixos", + "ref": "nixpkgs-unstable", "repo": "nixpkgs", - "rev": "43cdc5b364511eabdcad9fde639777ffd9e5bab1", "type": "github" } }, @@ -6042,10 +6148,10 @@ }, "nomad-driver-nix_3": { "inputs": { - "devshell": "devshell_17", + "devshell": "devshell_18", "inclusive": "inclusive_13", "nix": "nix_12", - "nixpkgs": "nixpkgs_65", + "nixpkgs": "nixpkgs_66", "utils": "utils_24" }, "locked": { @@ -6322,23 +6428,25 @@ }, "poetry2nix_2": { "inputs": { - "flake-utils": "flake-utils_31", + "flake-utils": [ + "cicero", + "utils" + ], "nixpkgs": [ "cicero", "nixpkgs" ] }, "locked": { - "lastModified": 1641849362, - "narHash": "sha256-1K3NOM0ZoFRVxU3HJ2G8CMZEtyRn0RpuUjsws7jKsds=", + "lastModified": 1657626303, + "narHash": "sha256-O/JJ0hSBCmlx0oP8QGAlRrWn0BvlC5cj7/EZ0CCWHTU=", "owner": "nix-community", "repo": "poetry2nix", - "rev": "6b063a31bc8fea6c1d9fdc47e9078772b0ba283b", + "rev": "920ba682377d5c0d87945c5eb6141ab8447ca509", "type": "github" }, "original": { "owner": "nix-community", - "ref": "fetched-projectdir-test", "repo": "poetry2nix", "type": "github" } @@ -6483,7 +6591,7 @@ "nixpkgs-vector": "nixpkgs-vector", "nomad-driver-nix": "nomad-driver-nix_3", "spongix": "spongix", - "std": "std_4" + "std": "std_5" } }, "rust-analyzer-src": { @@ -6588,6 +6696,23 @@ "type": "github" } }, + "rust-analyzer-src_7": { + "flake": false, + "locked": { + "lastModified": 1657557289, + "narHash": "sha256-PRW+nUwuqNTRAEa83SfX+7g+g8nQ+2MMbasQ9nt6+UM=", + "owner": "rust-lang", + "repo": "rust-analyzer", + "rev": "caf23f29144b371035b864a1017dbc32573ad56d", + "type": "github" + }, + "original": { + "owner": "rust-lang", + "ref": "nightly", + "repo": "rust-analyzer", + "type": "github" + } + }, "rust-overlay": { "inputs": { "flake-utils": [ @@ -6737,18 +6862,18 @@ "cicero": [ "cicero" ], - "devshell": "devshell_18", + "devshell": "devshell_19", "inclusive": "inclusive_14", "n2c": "n2c_4", - "nixpkgs": "nixpkgs_68", + "nixpkgs": "nixpkgs_69", "utils": "utils_25" }, "locked": { - "lastModified": 1652474186, - "narHash": "sha256-PILVEX1e4ze0gxK60TDuX+E/umnwelHir/83dfXmTTU=", + "lastModified": 1652706109, + "narHash": "sha256-k5Z1frtMSKdFGQ1fGYu9nHUc/64O1mYBUYpQdOq7aWc=", "owner": "input-output-hk", "repo": "spongix", - "rev": "a08bcc8f0bb63e372bf82abe5ad1f001e6b4d566", + "rev": "df995cc9ac15a282044fe2a00244a595093b6f97", "type": "github" }, "original": { @@ -6900,9 +7025,9 @@ }, "std_4": { "inputs": { - "devshell": "devshell_19", - "nixpkgs": "nixpkgs_69", - "yants": "yants_8" + "devshell": "devshell_17", + "nixpkgs": "nixpkgs_62", + "yants": "yants_7" }, "locked": { "lastModified": 1652784712, @@ -6918,6 +7043,27 @@ "type": "github" } }, + "std_5": { + "inputs": { + "devshell": "devshell_20", + "mdbook-kroki-preprocessor": "mdbook-kroki-preprocessor", + "nixpkgs": "nixpkgs_70", + "yants": "yants_9" + }, + "locked": { + "lastModified": 1658373134, + "narHash": "sha256-KQ/EysA0Qxqs2Qc6WpKBvw+wt0/ItoWsly0pUvCQ5/g=", + "owner": "divnix", + "repo": "std", + "rev": "e320f734bba5f8fffb428713f528665ee327f442", + "type": "github" + }, + "original": { + "owner": "divnix", + "repo": "std", + "type": "github" + } + }, "stdlib": { "locked": { "lastModified": 1590026685, @@ -7308,6 +7454,32 @@ "type": "github" } }, + "tullia": { + "inputs": { + "nix2container": [ + "cicero", + "nix2container" + ], + "nixpkgs": [ + "cicero", + "nixpkgs" + ], + "std": "std_4" + }, + "locked": { + "lastModified": 1657811465, + "narHash": "sha256-KHNWwKuUIG08CUg/ol81zf26RRlnsQsyqMr63vXcCes=", + "owner": "input-output-hk", + "repo": "tullia", + "rev": "f025fcf3676d1d1281de184e89c5f7c8e7f74ebe", + "type": "github" + }, + "original": { + "owner": "input-output-hk", + "repo": "tullia", + "type": "github" + } + }, "utils": { "locked": { "lastModified": 1637014545, @@ -7823,7 +7995,7 @@ }, "yants_6": { "inputs": { - "nixpkgs": "nixpkgs_58" + "nixpkgs": "nixpkgs_57" }, "locked": { "lastModified": 1645126146, @@ -7841,7 +8013,12 @@ }, "yants_7": { "inputs": { - "nixpkgs": "nixpkgs_62" + "nixpkgs": [ + "cicero", + "tullia", + "std", + "nixpkgs" + ] }, "locked": { "lastModified": 1645126146, @@ -7858,6 +8035,24 @@ } }, "yants_8": { + "inputs": { + "nixpkgs": "nixpkgs_63" + }, + "locked": { + "lastModified": 1645126146, + "narHash": "sha256-XQ1eg4gzXoc7Tl8iXak1uCt3KnsTyxqPtLE+vOoDnrQ=", + "owner": "divnix", + "repo": "yants", + "rev": "77df2be1b3cce9f571c6cf451f786b266a6869cc", + "type": "github" + }, + "original": { + "owner": "divnix", + "repo": "yants", + "type": "github" + } + }, + "yants_9": { "inputs": { "nixpkgs": [ "std",