From fa5bb7eec2174daa254c2c1bc612b270aea00f6f Mon Sep 17 00:00:00 2001 From: Seungheon Oh Date: Tue, 31 May 2022 12:09:19 -0500 Subject: [PATCH 1/4] Replaced Apropos Property testing with PQ and PCB for MultiSig --- Makefile | 2 +- agora-specs/Property/MultiSig.hs | 113 +++++++++++++++++ agora-specs/Spec/Generator.hs | 103 +++++++++++++++ agora-specs/Spec/Model/MultiSig.hs | 194 ----------------------------- agora-test/Spec.hs | 9 +- agora.cabal | 6 +- flake.nix | 4 +- 7 files changed, 226 insertions(+), 205 deletions(-) create mode 100644 agora-specs/Property/MultiSig.hs create mode 100644 agora-specs/Spec/Generator.hs delete mode 100644 agora-specs/Spec/Model/MultiSig.hs diff --git a/Makefile b/Makefile index 6808e55..f855053 100644 --- a/Makefile +++ b/Makefile @@ -48,7 +48,7 @@ tag: hasktags -x agora agora-bench agora-test agora-testlib agora-sample agora-purescript-bridge lint: - hlint agora agora-bench agora-test agora-testlib agora-sample agora-purescript-bridge + hlint agora agora-bench agora-test agora-testlib agora-specs agora-purescript-bridge PS_BRIDGE_OUTPUT_DIR := agora-purescript-bridge/ ps_bridge: diff --git a/agora-specs/Property/MultiSig.hs b/agora-specs/Property/MultiSig.hs new file mode 100644 index 0000000..1026320 --- /dev/null +++ b/agora-specs/Property/MultiSig.hs @@ -0,0 +1,113 @@ +{- | +Module : Property.MultiSig +Maintainer : seungheon.ooh@gmail.com +Description: Property tests for 'MultiSig' functions + +Property model and tests for 'MultiSig' functions +-} +module Property.MultiSig (props) where + +import Agora.MultiSig ( + MultiSig (MultiSig), + PMultiSig, + pvalidatedByMultisig, + ) +import Agora.Utils (tclet) +import Data.Maybe (fromJust) +import Data.Tagged (Tagged (Tagged)) +import Data.Universe (Finite (..), Universe (..)) +import Plutarch.Api.V1 (PScriptContext) +import Plutarch.Context.Config (defaultConfig) +import Plutarch.Context.Spending ( + ValidatorUTXO (ValidatorUTXO), + inputSelfExtra, + signedWith, + spendingContext, + ) +import Plutus.V1.Ledger.Api ( + ScriptContext (scriptContextTxInfo), + TxInfo (txInfoSignatories), + ) +import Spec.Generator (genAnyValue, genPubKeyHash) +import Test.Tasty (TestTree) +import Test.Tasty.Plutarch.Property (classifiedProperty) +import Test.Tasty.QuickCheck ( + Gen, + Property, + chooseInt, + listOf, + testProperty, + vectorOf, + ) + +-- | apropos model for testing multisigs. +type MultiSigModel = (MultiSig, ScriptContext) + +-- | Propositions that may hold true of a `MultiSigModel`. +data MultiSigProp + = -- | Sufficient number of signatories in the script context. + MeetsMinSigs + | -- | Insufficient number of signatories in the script context. + DoesNotMeetMinSigs + deriving stock (Eq, Show, Ord) + +instance Universe MultiSigProp where + universe = [MeetsMinSigs, DoesNotMeetMinSigs] + +instance Finite MultiSigProp where + universeF = universe + cardinality = Tagged 2 + +-- | Generate model with given proposition. +genMultiSigProp :: MultiSigProp -> Gen MultiSigModel +genMultiSigProp prop = do + size <- chooseInt (4, 20) + pkhs <- vectorOf size genPubKeyHash + vutxo <- pure . ValidatorUTXO () <$> genAnyValue + minSig <- chooseInt (1, length pkhs) + othersigners <- take 20 <$> listOf genPubKeyHash + + let ms = MultiSig pkhs (toInteger minSig) + + n <- case prop of + MeetsMinSigs -> chooseInt (minSig, length pkhs) + DoesNotMeetMinSigs -> chooseInt (0, minSig - 1) + + let builder = foldr (<>) (inputSelfExtra mempty ()) (signedWith <$> take n pkhs <> othersigners) + ctx = fromJust $ spendingContext defaultConfig builder vutxo + pure (ms, ctx) + +-- | Classify model into propositions. +classifyMultiSigProp :: MultiSigModel -> MultiSigProp +classifyMultiSigProp (MultiSig keys (fromIntegral -> minsig), ctx) + | minsig <= length signer = MeetsMinSigs + | otherwise = DoesNotMeetMinSigs + where + signer = filter (`elem` keys) $ txInfoSignatories . scriptContextTxInfo $ ctx + +-- | Shrinker. Not used. +shrinkMultiSigProp :: MultiSigModel -> [MultiSigModel] +shrinkMultiSigProp = const [] + +expected :: Term s (PBuiltinPair PMultiSig PScriptContext :--> PMaybe PBool) +expected = plam $ \x -> unTermCont $ do + ms <- tclet $ pfstBuiltin # x + sc <- tclet $ psndBuiltin # x + multsig <- tcont $ pletFields @'["keys", "minSigs"] ms + let signers = pfromData $ pfield @"signatories" #$ pfromData (pfield @"txInfo" # sc) + validSigners = plength #$ pfilter # plam (\x -> pelem # x # multsig.keys) # signers + pure $ pcon $ PJust $ pfromData multsig.minSigs #<= validSigners + +actual :: Term s (PBuiltinPair PMultiSig PScriptContext :--> PBool) +actual = plam $ \x -> unTermCont $ do + ms <- tclet $ pfstBuiltin # x + sc <- tclet $ psndBuiltin # x + pure $ pvalidatedByMultisig # ms # (pfield @"txInfo" # sc) + +prop :: Property +prop = classifiedProperty genMultiSigProp shrinkMultiSigProp expected classifyMultiSigProp actual + +props :: [TestTree] +props = + [ testProperty "MultiSig property" prop + ] diff --git a/agora-specs/Spec/Generator.hs b/agora-specs/Spec/Generator.hs new file mode 100644 index 0000000..8e5db2f --- /dev/null +++ b/agora-specs/Spec/Generator.hs @@ -0,0 +1,103 @@ +{- | +Module : Spec.Generator +Maintainer : seungheon.ooh@gmail.com +Description: Generic generators for property tests + +Shared generators for all Agora property tests +-} +module Spec.Generator ( + -- * Credentials + genPubKeyHash, + genUserCredential, + genScriptCredential, + genCredential, + genAddress, + + -- * Values + genValue, + genAssetClass, + genAnyValue, + + -- * Tx info + genTxOut, + genTxInInfo, +) where + +import Control.Applicative (Applicative (liftA2)) +import Data.ByteString.Char8 qualified as C (ByteString, pack) +import Data.ByteString.Hash (sha2) +import Plutus.V1.Ledger.Api ( + Address (Address), + Credential (..), + DatumHash (DatumHash), + PubKeyHash (PubKeyHash), + TxInInfo (TxInInfo), + TxOut (..), + TxOutRef (TxOutRef), + ValidatorHash (ValidatorHash), + Value, + toBuiltin, + ) +import Plutus.V1.Ledger.Value ( + AssetClass (AssetClass), + assetClassValue, + currencySymbol, + tokenName, + ) +import Test.QuickCheck ( + Arbitrary (arbitrary), + Gen, + chooseAny, + elements, + listOf, + listOf1, + oneof, + ) + +{- | Generate a random Hash +Hashs cannot be shrunken; functions utilizing this function, +therefore, cannot be shrunken as well. +-} +genHashByteString :: Gen C.ByteString +genHashByteString = sha2 . C.pack . show <$> (chooseAny :: Gen Integer) + +-- TODO: How do I need to ensure uniqueness? + +-- | Random PubKeyHash +genPubKeyHash :: Gen PubKeyHash +genPubKeyHash = PubKeyHash . toBuiltin <$> genHashByteString + +-- | Random user credential. +genUserCredential :: Gen Credential +genUserCredential = PubKeyCredential . PubKeyHash . toBuiltin <$> genHashByteString + +-- | Random script credential. +genScriptCredential :: Gen Credential +genScriptCredential = ScriptCredential . ValidatorHash . toBuiltin <$> genHashByteString + +-- | Random credential: combination of user and script credential generators. +genCredential :: Gen Credential +genCredential = oneof [genUserCredential, genScriptCredential] + +genAddress :: Gen Address +genAddress = flip Address Nothing <$> genCredential + +{- | Random Value of given AssetClass +`genAnyValue` will create a random value with a random assetclass. +-} +genValue :: AssetClass -> Gen Value +genValue ac = assetClassValue ac . abs <$> (arbitrary :: Gen Integer) + +genPrettyByteString :: Gen C.ByteString +genPrettyByteString = C.pack <$> listOf1 (elements ['a' .. 'z']) + +genAssetClass :: Gen AssetClass +genAssetClass = + AssetClass + <$> liftA2 + (,) + (currencySymbol <$> genHashByteString) + (tokenName <$> genPrettyByteString) + +genAnyValue :: Gen Value +genAnyValue = genAssetClass >>= genValue diff --git a/agora-specs/Spec/Model/MultiSig.hs b/agora-specs/Spec/Model/MultiSig.hs deleted file mode 100644 index 397d49d..0000000 --- a/agora-specs/Spec/Model/MultiSig.hs +++ /dev/null @@ -1,194 +0,0 @@ -{- | -Module : Spec.Model.MultiSig -Maintainer : emi@haskell.fyi -Description: apropos-tx model and tests for 'MultiSig' functions - -apropos-tx model and tests for 'MultiSig' functions --} -module Spec.Model.MultiSig ( - plutarchTests, - genTests, -) where - -import Data.List (intersect) - --------------------------------------------------------------------------------- - -import Plutus.V1.Ledger.Api ( - Script, - ScriptContext (scriptContextPurpose), - ScriptPurpose (Spending), - TxInfo ( - txInfoDCert, - txInfoData, - txInfoFee, - txInfoId, - txInfoInputs, - txInfoMint, - txInfoOutputs, - txInfoValidRange, - txInfoWdrl - ), - TxOutRef (TxOutRef), - scriptContextTxInfo, - txInfoSignatories, - ) -import Plutus.V1.Ledger.Contexts (ScriptContext (ScriptContext), TxInfo (TxInfo)) -import Plutus.V1.Ledger.Crypto (PubKeyHash) -import Plutus.V1.Ledger.Interval qualified as Interval -import Plutus.V1.Ledger.Value qualified as Value - --------------------------------------------------------------------------------- - -import Apropos ( - Apropos (Apropos), - Formula (ExactlyOne, Var, Yes), - HasLogicalModel (..), - HasParameterisedGenerator, - LogicalModel (logic), - parameterisedGenerator, - runGeneratorTestsWhere, - (:+), - ) -import Apropos.Gen (Gen, choice, int, linear, list) -import Apropos.LogicalModel (Enumerable) -import Apropos.LogicalModel.Enumerable (Enumerable (enumerated)) -import Apropos.Script (ScriptModel (expect, runScriptTestsWhere, script)) -import Test.Tasty (TestTree, testGroup) -import Test.Tasty.Hedgehog (fromGroup) - --------------------------------------------------------------------------------- - -import Agora.MultiSig (MultiSig (..), validatedByMultisig) - --------------------------------------------------------------------------------- - --- | apropos model for testing multisigs. -data MultiSigModel = MultiSigModel - { ms :: MultiSig - -- ^ `MultiSig` value to be tested. - , ctx :: ScriptContext - -- ^ The `ScriptContext` of the transaction. - } - deriving stock (Eq, Show) - --- | Propositions that may hold true of a `MultiSigModel`. -data MultiSigProp - = -- | Sufficient number of signatories in the script context. - MeetsMinSigs - | -- | Insufficient number of signatories in the script context. - DoesNotMeetMinSigs - deriving stock (Eq, Show, Ord) - -instance Enumerable MultiSigProp where - enumerated = [MeetsMinSigs, DoesNotMeetMinSigs] - -instance LogicalModel MultiSigProp where - -- Only logical relationship between the two propositions is - -- that exactly one of them holds for a given model. - logic = ExactlyOne [Var MeetsMinSigs, Var DoesNotMeetMinSigs] - -instance HasLogicalModel MultiSigProp MultiSigModel where - satisfiesProperty :: MultiSigProp -> MultiSigModel -> Bool - satisfiesProperty p m = - let minSigs = m.ms.minSigs - signatories = txInfoSignatories $ scriptContextTxInfo $ m.ctx - matchingSigs = intersect m.ms.keys signatories - in case p of - MeetsMinSigs -> length matchingSigs >= fromInteger minSigs - DoesNotMeetMinSigs -> length matchingSigs < fromInteger minSigs - -{- | Given a list of key hashes, returns a dummy `ScriptContext`, - with those hashes as signatories. --} -contextWithSignatures :: [PubKeyHash] -> ScriptContext -contextWithSignatures sigs = - ScriptContext - { scriptContextTxInfo = - TxInfo - { txInfoInputs = [] - , txInfoOutputs = [] - , txInfoFee = Value.singleton "" "" 2 - , txInfoMint = mempty - , txInfoDCert = [] - , txInfoWdrl = [] - , txInfoValidRange = Interval.always - , txInfoSignatories = sigs - , txInfoData = [] - , txInfoId = "0b2086cbf8b6900f8cb65e012de4516cb66b5cb08a9aaba12a8b88be" - } - , scriptContextPurpose = Spending (TxOutRef "" 0) - } - --- | Generator returning one of four dummy public key hashes. -genPK :: Gen PubKeyHash -genPK = - choice - [ pure "8a30896c4fd5e79843e4ca1bd2cdbaa36f8c0bc3be7401214142019c" - , pure "0b12051dd2da4b3629cebb92e2be111e0e99c63c04727ed55b74a296" - , pure "87f5f31e4d7437463cd901c4c9edb7a51903ac858661503e9d72f492" - , pure "f74ccaee8244264b3c73fce3b66bd2337de3db70efff4261d6ff145b" - ] - -instance HasParameterisedGenerator MultiSigProp MultiSigModel where - parameterisedGenerator s = do - -- Gen between one and four signatures for the `MultiSig`. - expectedSignatures <- list (linear 1 4) genPK - - -- Gen the value of `MultiSig.minSigs`. - minSigs <- toInteger <$> int (linear 1 (length expectedSignatures)) - - -- Assign values to msig. - let msig = MultiSig expectedSignatures minSigs - - actualSignaturesLength <- - -- If we would like to generate a MultiSig model which passes... - if MeetsMinSigs `elem` s - then -- ... have a sufficient number of signatories. - int (linear (fromInteger minSigs) (length expectedSignatures)) - else -- ... have zero signatories. - pure 0 - - -- Get a list of signatories for the script context. - let actualSignatures = take actualSignaturesLength expectedSignatures - - let ctx = contextWithSignatures actualSignatures - - -- Return the generated model. - pure (MultiSigModel msig ctx) - -instance ScriptModel MultiSigProp MultiSigModel where - -- When the script runs, we want the model to meet the minimum signatures. - expect :: (MultiSigModel :+ MultiSigProp) -> Formula MultiSigProp - expect Apropos = Var MeetsMinSigs - - -- Function making a valid script from the model and propositions. - script :: (MultiSigModel :+ MultiSigProp) -> MultiSigModel -> Script - script Apropos msm = - compile $ - pif - (validatedByMultisig msm.ms # pconstant msm.ctx.scriptContextTxInfo) - (pcon PUnit) - perror - --- | Consistency tests for the 'HasParameterisedGenerator' instance of 'MultiSigModel'. -genTests :: TestTree -genTests = - testGroup "genTests" $ - fromGroup - <$> [ runGeneratorTestsWhere - (Apropos :: MultiSigModel :+ MultiSigProp) - "Generator" - Yes - ] - --- | Tests for the 'ScriptModel' instance of 'MultiSigModel'. -plutarchTests :: TestTree -plutarchTests = - testGroup "plutarchTests" $ - fromGroup - <$> [ runScriptTestsWhere - (Apropos :: MultiSigModel :+ MultiSigProp) - "ScriptValid" - Yes - ] diff --git a/agora-test/Spec.hs b/agora-test/Spec.hs index 51e4ae7..4e8399a 100644 --- a/agora-test/Spec.hs +++ b/agora-test/Spec.hs @@ -7,11 +7,11 @@ import Test.Tasty (defaultMain, testGroup) -------------------------------------------------------------------------------- +import Property.MultiSig qualified as MultiSig import Spec.AuthorityToken qualified as AuthorityToken import Spec.Effect.GovernorMutation qualified as GovernorMutation import Spec.Effect.TreasuryWithdrawal qualified as TreasuryWithdrawal import Spec.Governor qualified as Governor -import Spec.Model.MultiSig qualified as MultiSig import Spec.Proposal qualified as Proposal import Spec.Stake qualified as Stake import Spec.Treasury qualified as Treasury @@ -42,10 +42,5 @@ main = do Utils.tests , testGroup "Multisig tests" - [ testGroup - "MultiSig" - [ MultiSig.plutarchTests - , MultiSig.genTests - ] - ] + MultiSig.props ] diff --git a/agora.cabal b/agora.cabal index 8d3dfa9..0f0e65f 100644 --- a/agora.cabal +++ b/agora.cabal @@ -121,12 +121,15 @@ common test-deps , apropos-tx , data-default-class , mtl + , plutarch-context-builder + , plutarch-quickcheck , QuickCheck , quickcheck-instances , tasty , tasty-hedgehog , tasty-hunit , tasty-quickcheck + , universe common exe-opts ghc-options: -threaded -rtsopts -with-rtsopts=-N -O0 @@ -174,6 +177,7 @@ library agora-testlib library agora-specs import: lang, deps, test-deps exposed-modules: + Property.MultiSig Sample.Effect.GovernorMutation Sample.Effect.TreasuryWithdrawal Sample.Governor @@ -184,8 +188,8 @@ library agora-specs Spec.AuthorityToken Spec.Effect.GovernorMutation Spec.Effect.TreasuryWithdrawal + Spec.Generator Spec.Governor - Spec.Model.MultiSig Spec.Proposal Spec.Stake Spec.Treasury diff --git a/flake.nix b/flake.nix index 567c634..9324fc1 100644 --- a/flake.nix +++ b/flake.nix @@ -102,7 +102,7 @@ { src = inputs.plutarch-context-builder; subdirs = [ "." ]; - } + } { src = inputs.apropos-tx; subdirs = [ "." ]; @@ -151,7 +151,7 @@ # testing ps.tasty-quickcheck ps.plutarch-quickcheck - ps.plutarch-context-builder + ps.plutarch-context-builder ps.apropos-tx ps.apropos ps.apropos From c260254cae5aff7ccf35dbd9f4c783dbbdd8d8c9 Mon Sep 17 00:00:00 2001 From: Seungheon Oh Date: Tue, 31 May 2022 12:32:12 -0500 Subject: [PATCH 2/4] Removed Apropos --- agora-specs/{Spec => Property}/Generator.hs | 13 +- agora-specs/Property/MultiSig.hs | 6 +- agora.cabal | 4 +- flake.lock | 2992 +++++++------------ flake.nix | 25 - 5 files changed, 1060 insertions(+), 1980 deletions(-) rename agora-specs/{Spec => Property}/Generator.hs (92%) diff --git a/agora-specs/Spec/Generator.hs b/agora-specs/Property/Generator.hs similarity index 92% rename from agora-specs/Spec/Generator.hs rename to agora-specs/Property/Generator.hs index 8e5db2f..c6d7146 100644 --- a/agora-specs/Spec/Generator.hs +++ b/agora-specs/Property/Generator.hs @@ -1,11 +1,11 @@ {- | -Module : Spec.Generator +Module : Property.Generator Maintainer : seungheon.ooh@gmail.com Description: Generic generators for property tests Shared generators for all Agora property tests -} -module Spec.Generator ( +module Property.Generator ( -- * Credentials genPubKeyHash, genUserCredential, @@ -17,10 +17,6 @@ module Spec.Generator ( genValue, genAssetClass, genAnyValue, - - -- * Tx info - genTxOut, - genTxInInfo, ) where import Control.Applicative (Applicative (liftA2)) @@ -29,11 +25,7 @@ import Data.ByteString.Hash (sha2) import Plutus.V1.Ledger.Api ( Address (Address), Credential (..), - DatumHash (DatumHash), PubKeyHash (PubKeyHash), - TxInInfo (TxInInfo), - TxOut (..), - TxOutRef (TxOutRef), ValidatorHash (ValidatorHash), Value, toBuiltin, @@ -49,7 +41,6 @@ import Test.QuickCheck ( Gen, chooseAny, elements, - listOf, listOf1, oneof, ) diff --git a/agora-specs/Property/MultiSig.hs b/agora-specs/Property/MultiSig.hs index 1026320..efca9ca 100644 --- a/agora-specs/Property/MultiSig.hs +++ b/agora-specs/Property/MultiSig.hs @@ -28,7 +28,7 @@ import Plutus.V1.Ledger.Api ( ScriptContext (scriptContextTxInfo), TxInfo (txInfoSignatories), ) -import Spec.Generator (genAnyValue, genPubKeyHash) +import Property.Generator (genAnyValue, genPubKeyHash) import Test.Tasty (TestTree) import Test.Tasty.Plutarch.Property (classifiedProperty) import Test.Tasty.QuickCheck ( @@ -40,7 +40,7 @@ import Test.Tasty.QuickCheck ( vectorOf, ) --- | apropos model for testing multisigs. +-- | Model for testing multisigs. type MultiSigModel = (MultiSig, ScriptContext) -- | Propositions that may hold true of a `MultiSigModel`. @@ -63,7 +63,7 @@ genMultiSigProp :: MultiSigProp -> Gen MultiSigModel genMultiSigProp prop = do size <- chooseInt (4, 20) pkhs <- vectorOf size genPubKeyHash - vutxo <- pure . ValidatorUTXO () <$> genAnyValue + vutxo <- ValidatorUTXO () <$> genAnyValue minSig <- chooseInt (1, length pkhs) othersigners <- take 20 <$> listOf genPubKeyHash diff --git a/agora.cabal b/agora.cabal index 0f0e65f..c127705 100644 --- a/agora.cabal +++ b/agora.cabal @@ -117,8 +117,6 @@ common deps common test-deps build-depends: , agora - , apropos - , apropos-tx , data-default-class , mtl , plutarch-context-builder @@ -177,6 +175,7 @@ library agora-testlib library agora-specs import: lang, deps, test-deps exposed-modules: + Property.Generator Property.MultiSig Sample.Effect.GovernorMutation Sample.Effect.TreasuryWithdrawal @@ -188,7 +187,6 @@ library agora-specs Spec.AuthorityToken Spec.Effect.GovernorMutation Spec.Effect.TreasuryWithdrawal - Spec.Generator Spec.Governor Spec.Proposal Spec.Stake diff --git a/flake.lock b/flake.lock index ef67528..27b2d9f 100644 --- a/flake.lock +++ b/flake.lock @@ -16,38 +16,6 @@ "type": "github" } }, - "HTTP_10": { - "flake": false, - "locked": { - "lastModified": 1451647621, - "narHash": "sha256-oHIyw3x0iKBexEo49YeUDV1k74ZtyYKGR2gNJXXRxts=", - "owner": "phadej", - "repo": "HTTP", - "rev": "9bc0996d412fef1787449d841277ef663ad9a915", - "type": "github" - }, - "original": { - "owner": "phadej", - "repo": "HTTP", - "type": "github" - } - }, - "HTTP_11": { - "flake": false, - "locked": { - "lastModified": 1451647621, - "narHash": "sha256-oHIyw3x0iKBexEo49YeUDV1k74ZtyYKGR2gNJXXRxts=", - "owner": "phadej", - "repo": "HTTP", - "rev": "9bc0996d412fef1787449d841277ef663ad9a915", - "type": "github" - }, - "original": { - "owner": "phadej", - "repo": "HTTP", - "type": "github" - } - }, "HTTP_2": { "flake": false, "locked": { @@ -304,59 +272,6 @@ "type": "github" } }, - "apropos": { - "inputs": { - "flake-compat": "flake-compat", - "flake-compat-ci": "flake-compat-ci", - "haskell-nix": "haskell-nix", - "nixpkgs": [ - "plutarch", - "haskell-nix", - "nixpkgs-unstable" - ] - }, - "locked": { - "lastModified": 1648746740, - "narHash": "sha256-C2gQrd5hFvQ+BsjAJs6V0iP9PRzd9dZMKtpk7kOjhwc=", - "owner": "mlabs-haskell", - "repo": "apropos", - "rev": "3734bb3baa297ed990725a5ef14efcbb6a1c1c23", - "type": "github" - }, - "original": { - "owner": "mlabs-haskell", - "repo": "apropos", - "rev": "3734bb3baa297ed990725a5ef14efcbb6a1c1c23", - "type": "github" - } - }, - "apropos-tx": { - "inputs": { - "flake-compat": "flake-compat_2", - "flake-compat-ci": "flake-compat-ci_2", - "haskell-nix": "haskell-nix_2", - "nixpkgs": [ - "plutarch", - "haskell-nix", - "nixpkgs-unstable" - ], - "plutus": "plutus" - }, - "locked": { - "lastModified": 1648805998, - "narHash": "sha256-TWEiUifHkhgCHqe70aNn9j6LdFFWv2nMbSWV8hR59oE=", - "owner": "jhodgdev", - "repo": "apropos-tx", - "rev": "4eca3fac23c339caee04ea6176e641a4b3857a25", - "type": "github" - }, - "original": { - "owner": "jhodgdev", - "repo": "apropos-tx", - "rev": "4eca3fac23c339caee04ea6176e641a4b3857a25", - "type": "github" - } - }, "cabal-32": { "flake": false, "locked": { @@ -374,7 +289,7 @@ "type": "github" } }, - "cabal-32_10": { + "cabal-32_2": { "flake": false, "locked": { "lastModified": 1603716527, @@ -391,40 +306,6 @@ "type": "github" } }, - "cabal-32_11": { - "flake": false, - "locked": { - "lastModified": 1603716527, - "narHash": "sha256-sDbrmur9Zfp4mPKohCD8IDZfXJ0Tjxpmr2R+kg5PpSY=", - "owner": "haskell", - "repo": "cabal", - "rev": "94aaa8e4720081f9c75497e2735b90f6a819b08e", - "type": "github" - }, - "original": { - "owner": "haskell", - "ref": "3.2", - "repo": "cabal", - "type": "github" - } - }, - "cabal-32_2": { - "flake": false, - "locked": { - "lastModified": 1603716527, - "narHash": "sha256-sDbrmur9Zfp4mPKohCD8IDZfXJ0Tjxpmr2R+kg5PpSY=", - "owner": "haskell", - "repo": "cabal", - "rev": "94aaa8e4720081f9c75497e2735b90f6a819b08e", - "type": "github" - }, - "original": { - "owner": "haskell", - "ref": "3.2", - "repo": "cabal", - "type": "github" - } - }, "cabal-32_3": { "flake": false, "locked": { @@ -531,10 +412,10 @@ "flake": false, "locked": { "lastModified": 1603716527, - "narHash": "sha256-X0TFfdD4KZpwl0Zr6x+PLxUt/VyKQfX7ylXHdmZIL+w=", + "narHash": "sha256-sDbrmur9Zfp4mPKohCD8IDZfXJ0Tjxpmr2R+kg5PpSY=", "owner": "haskell", "repo": "cabal", - "rev": "48bf10787e27364730dd37a42b603cee8d6af7ee", + "rev": "94aaa8e4720081f9c75497e2735b90f6a819b08e", "type": "github" }, "original": { @@ -561,7 +442,7 @@ "type": "github" } }, - "cabal-34_10": { + "cabal-34_2": { "flake": false, "locked": { "lastModified": 1640353650, @@ -578,40 +459,6 @@ "type": "github" } }, - "cabal-34_11": { - "flake": false, - "locked": { - "lastModified": 1622475795, - "narHash": "sha256-chwTL304Cav+7p38d9mcb+egABWmxo2Aq+xgVBgEb/U=", - "owner": "haskell", - "repo": "cabal", - "rev": "b086c1995cdd616fc8d91f46a21e905cc50a1049", - "type": "github" - }, - "original": { - "owner": "haskell", - "ref": "3.4", - "repo": "cabal", - "type": "github" - } - }, - "cabal-34_2": { - "flake": false, - "locked": { - "lastModified": 1622475795, - "narHash": "sha256-chwTL304Cav+7p38d9mcb+egABWmxo2Aq+xgVBgEb/U=", - "owner": "haskell", - "repo": "cabal", - "rev": "b086c1995cdd616fc8d91f46a21e905cc50a1049", - "type": "github" - }, - "original": { - "owner": "haskell", - "ref": "3.4", - "repo": "cabal", - "type": "github" - } - }, "cabal-34_3": { "flake": false, "locked": { @@ -717,11 +564,11 @@ "cabal-34_9": { "flake": false, "locked": { - "lastModified": 1640353650, - "narHash": "sha256-N1t6M3/wqj90AEdRkeC8i923gQYUpzSr8b40qVOZ1Rk=", + "lastModified": 1622475795, + "narHash": "sha256-chwTL304Cav+7p38d9mcb+egABWmxo2Aq+xgVBgEb/U=", "owner": "haskell", "repo": "cabal", - "rev": "942639c18c0cd8ec53e0a6f8d120091af35312cd", + "rev": "b086c1995cdd616fc8d91f46a21e905cc50a1049", "type": "github" }, "original": { @@ -867,23 +714,6 @@ "type": "github" } }, - "cabal-36_9": { - "flake": false, - "locked": { - "lastModified": 1641652457, - "narHash": "sha256-BlFPKP4C4HRUJeAbdembX1Rms1LD380q9s0qVDeoAak=", - "owner": "haskell", - "repo": "cabal", - "rev": "f27667f8ec360c475027dcaee0138c937477b070", - "type": "github" - }, - "original": { - "owner": "haskell", - "ref": "3.6", - "repo": "cabal", - "type": "github" - } - }, "cardano-base": { "flake": false, "locked": { @@ -1412,22 +1242,6 @@ "type": "github" } }, - "cardano-repo-tool_9": { - "flake": false, - "locked": { - "lastModified": 1624584417, - "narHash": "sha256-YSepT97PagR/1jTYV/Yer8a2GjFe9+tTwaTCHxuK50M=", - "owner": "input-output-hk", - "repo": "cardano-repo-tool", - "rev": "30e826ed8f00e3e154453b122a6f3d779b2f73ec", - "type": "github" - }, - "original": { - "owner": "input-output-hk", - "repo": "cardano-repo-tool", - "type": "github" - } - }, "cardano-shell": { "flake": false, "locked": { @@ -1444,38 +1258,6 @@ "type": "github" } }, - "cardano-shell_10": { - "flake": false, - "locked": { - "lastModified": 1608537748, - "narHash": "sha256-PulY1GfiMgKVnBci3ex4ptk2UNYMXqGjJOxcPy2KYT4=", - "owner": "input-output-hk", - "repo": "cardano-shell", - "rev": "9392c75087cb9a3d453998f4230930dea3a95725", - "type": "github" - }, - "original": { - "owner": "input-output-hk", - "repo": "cardano-shell", - "type": "github" - } - }, - "cardano-shell_11": { - "flake": false, - "locked": { - "lastModified": 1608537748, - "narHash": "sha256-PulY1GfiMgKVnBci3ex4ptk2UNYMXqGjJOxcPy2KYT4=", - "owner": "input-output-hk", - "repo": "cardano-shell", - "rev": "9392c75087cb9a3d453998f4230930dea3a95725", - "type": "github" - }, - "original": { - "owner": "input-output-hk", - "repo": "cardano-shell", - "type": "github" - } - }, "cardano-shell_2": { "flake": false, "locked": { @@ -1758,10 +1540,10 @@ }, "ema": { "inputs": { - "flake-compat": "flake-compat_3", - "flake-utils": "flake-utils_3", + "flake-compat": "flake-compat", + "flake-utils": "flake-utils", "lint-utils": "lint-utils", - "nixpkgs": "nixpkgs_2" + "nixpkgs": "nixpkgs" }, "locked": { "lastModified": 1650932571, @@ -1780,10 +1562,10 @@ }, "ema_2": { "inputs": { - "flake-compat": "flake-compat_7", - "flake-utils": "flake-utils_10", + "flake-compat": "flake-compat_5", + "flake-utils": "flake-utils_8", "lint-utils": "lint-utils_2", - "nixpkgs": "nixpkgs_10" + "nixpkgs": "nixpkgs_9" }, "locked": { "lastModified": 1650932571, @@ -1802,10 +1584,10 @@ }, "ema_3": { "inputs": { - "flake-compat": "flake-compat_11", - "flake-utils": "flake-utils_16", + "flake-compat": "flake-compat_9", + "flake-utils": "flake-utils_14", "lint-utils": "lint-utils_3", - "nixpkgs": "nixpkgs_16" + "nixpkgs": "nixpkgs_15" }, "locked": { "lastModified": 1650932571, @@ -1824,10 +1606,10 @@ }, "ema_4": { "inputs": { - "flake-compat": "flake-compat_15", - "flake-utils": "flake-utils_22", + "flake-compat": "flake-compat_13", + "flake-utils": "flake-utils_20", "lint-utils": "lint-utils_4", - "nixpkgs": "nixpkgs_22" + "nixpkgs": "nixpkgs_21" }, "locked": { "lastModified": 1650932571, @@ -1846,10 +1628,10 @@ }, "ema_5": { "inputs": { - "flake-compat": "flake-compat_19", - "flake-utils": "flake-utils_28", + "flake-compat": "flake-compat_17", + "flake-utils": "flake-utils_26", "lint-utils": "lint-utils_5", - "nixpkgs": "nixpkgs_28" + "nixpkgs": "nixpkgs_27" }, "locked": { "lastModified": 1650932571, @@ -1868,10 +1650,10 @@ }, "ema_6": { "inputs": { - "flake-compat": "flake-compat_23", - "flake-utils": "flake-utils_34", + "flake-compat": "flake-compat_21", + "flake-utils": "flake-utils_32", "lint-utils": "lint-utils_6", - "nixpkgs": "nixpkgs_34" + "nixpkgs": "nixpkgs_33" }, "locked": { "lastModified": 1650932571, @@ -1890,10 +1672,10 @@ }, "ema_7": { "inputs": { - "flake-compat": "flake-compat_27", - "flake-utils": "flake-utils_40", + "flake-compat": "flake-compat_25", + "flake-utils": "flake-utils_38", "lint-utils": "lint-utils_7", - "nixpkgs": "nixpkgs_40" + "nixpkgs": "nixpkgs_39" }, "locked": { "lastModified": 1650932571, @@ -2241,11 +2023,11 @@ "flake-compat": { "flake": false, "locked": { - "lastModified": 1641205782, - "narHash": "sha256-4jY7RCWUoZ9cKD8co0/4tFARpWB+57+r1bLLvXNJliY=", + "lastModified": 1648199409, + "narHash": "sha256-JwPKdC2PoVBkG6E+eWw3j6BMR6sL3COpYWfif7RVb8Y=", "owner": "edolstra", "repo": "flake-compat", - "rev": "b7547d3eed6f32d06102ead8991ec52ab0a4f1a7", + "rev": "64a525ee38886ab9028e6f61790de0832aa3ef03", "type": "github" }, "original": { @@ -2254,44 +2036,14 @@ "type": "github" } }, - "flake-compat-ci": { - "locked": { - "lastModified": 1641672839, - "narHash": "sha256-Bdwv+DKeEMlRNPDpZxSz0sSrqQBvdKO5fZ8LmvrgCOU=", - "owner": "hercules-ci", - "repo": "flake-compat-ci", - "rev": "e832114bc18376c0f3fa13c19bf5ff253cc6570a", - "type": "github" - }, - "original": { - "owner": "hercules-ci", - "repo": "flake-compat-ci", - "type": "github" - } - }, - "flake-compat-ci_2": { - "locked": { - "lastModified": 1641672839, - "narHash": "sha256-Bdwv+DKeEMlRNPDpZxSz0sSrqQBvdKO5fZ8LmvrgCOU=", - "owner": "hercules-ci", - "repo": "flake-compat-ci", - "rev": "e832114bc18376c0f3fa13c19bf5ff253cc6570a", - "type": "github" - }, - "original": { - "owner": "hercules-ci", - "repo": "flake-compat-ci", - "type": "github" - } - }, "flake-compat_10": { "flake": false, "locked": { - "lastModified": 1627913399, - "narHash": "sha256-hY8g6H2KFL8ownSiFeMOjwPC8P0ueXpCVEbxgda3pko=", + "lastModified": 1641205782, + "narHash": "sha256-4jY7RCWUoZ9cKD8co0/4tFARpWB+57+r1bLLvXNJliY=", "owner": "edolstra", "repo": "flake-compat", - "rev": "12c64ca55c1014cdc1b16ed5a804aa8576601ff2", + "rev": "b7547d3eed6f32d06102ead8991ec52ab0a4f1a7", "type": "github" }, "original": { @@ -2303,11 +2055,11 @@ "flake-compat_11": { "flake": false, "locked": { - "lastModified": 1648199409, - "narHash": "sha256-JwPKdC2PoVBkG6E+eWw3j6BMR6sL3COpYWfif7RVb8Y=", + "lastModified": 1641205782, + "narHash": "sha256-4jY7RCWUoZ9cKD8co0/4tFARpWB+57+r1bLLvXNJliY=", "owner": "edolstra", "repo": "flake-compat", - "rev": "64a525ee38886ab9028e6f61790de0832aa3ef03", + "rev": "b7547d3eed6f32d06102ead8991ec52ab0a4f1a7", "type": "github" }, "original": { @@ -2319,11 +2071,11 @@ "flake-compat_12": { "flake": false, "locked": { - "lastModified": 1641205782, - "narHash": "sha256-4jY7RCWUoZ9cKD8co0/4tFARpWB+57+r1bLLvXNJliY=", + "lastModified": 1627913399, + "narHash": "sha256-hY8g6H2KFL8ownSiFeMOjwPC8P0ueXpCVEbxgda3pko=", "owner": "edolstra", "repo": "flake-compat", - "rev": "b7547d3eed6f32d06102ead8991ec52ab0a4f1a7", + "rev": "12c64ca55c1014cdc1b16ed5a804aa8576601ff2", "type": "github" }, "original": { @@ -2335,11 +2087,11 @@ "flake-compat_13": { "flake": false, "locked": { - "lastModified": 1641205782, - "narHash": "sha256-4jY7RCWUoZ9cKD8co0/4tFARpWB+57+r1bLLvXNJliY=", + "lastModified": 1648199409, + "narHash": "sha256-JwPKdC2PoVBkG6E+eWw3j6BMR6sL3COpYWfif7RVb8Y=", "owner": "edolstra", "repo": "flake-compat", - "rev": "b7547d3eed6f32d06102ead8991ec52ab0a4f1a7", + "rev": "64a525ee38886ab9028e6f61790de0832aa3ef03", "type": "github" }, "original": { @@ -2351,11 +2103,11 @@ "flake-compat_14": { "flake": false, "locked": { - "lastModified": 1627913399, - "narHash": "sha256-hY8g6H2KFL8ownSiFeMOjwPC8P0ueXpCVEbxgda3pko=", + "lastModified": 1641205782, + "narHash": "sha256-4jY7RCWUoZ9cKD8co0/4tFARpWB+57+r1bLLvXNJliY=", "owner": "edolstra", "repo": "flake-compat", - "rev": "12c64ca55c1014cdc1b16ed5a804aa8576601ff2", + "rev": "b7547d3eed6f32d06102ead8991ec52ab0a4f1a7", "type": "github" }, "original": { @@ -2367,11 +2119,11 @@ "flake-compat_15": { "flake": false, "locked": { - "lastModified": 1648199409, - "narHash": "sha256-JwPKdC2PoVBkG6E+eWw3j6BMR6sL3COpYWfif7RVb8Y=", + "lastModified": 1641205782, + "narHash": "sha256-4jY7RCWUoZ9cKD8co0/4tFARpWB+57+r1bLLvXNJliY=", "owner": "edolstra", "repo": "flake-compat", - "rev": "64a525ee38886ab9028e6f61790de0832aa3ef03", + "rev": "b7547d3eed6f32d06102ead8991ec52ab0a4f1a7", "type": "github" }, "original": { @@ -2381,38 +2133,6 @@ } }, "flake-compat_16": { - "flake": false, - "locked": { - "lastModified": 1641205782, - "narHash": "sha256-4jY7RCWUoZ9cKD8co0/4tFARpWB+57+r1bLLvXNJliY=", - "owner": "edolstra", - "repo": "flake-compat", - "rev": "b7547d3eed6f32d06102ead8991ec52ab0a4f1a7", - "type": "github" - }, - "original": { - "owner": "edolstra", - "repo": "flake-compat", - "type": "github" - } - }, - "flake-compat_17": { - "flake": false, - "locked": { - "lastModified": 1641205782, - "narHash": "sha256-4jY7RCWUoZ9cKD8co0/4tFARpWB+57+r1bLLvXNJliY=", - "owner": "edolstra", - "repo": "flake-compat", - "rev": "b7547d3eed6f32d06102ead8991ec52ab0a4f1a7", - "type": "github" - }, - "original": { - "owner": "edolstra", - "repo": "flake-compat", - "type": "github" - } - }, - "flake-compat_18": { "flake": false, "locked": { "lastModified": 1627913399, @@ -2428,7 +2148,7 @@ "type": "github" } }, - "flake-compat_19": { + "flake-compat_17": { "flake": false, "locked": { "lastModified": 1648199409, @@ -2444,6 +2164,38 @@ "type": "github" } }, + "flake-compat_18": { + "flake": false, + "locked": { + "lastModified": 1641205782, + "narHash": "sha256-4jY7RCWUoZ9cKD8co0/4tFARpWB+57+r1bLLvXNJliY=", + "owner": "edolstra", + "repo": "flake-compat", + "rev": "b7547d3eed6f32d06102ead8991ec52ab0a4f1a7", + "type": "github" + }, + "original": { + "owner": "edolstra", + "repo": "flake-compat", + "type": "github" + } + }, + "flake-compat_19": { + "flake": false, + "locked": { + "lastModified": 1641205782, + "narHash": "sha256-4jY7RCWUoZ9cKD8co0/4tFARpWB+57+r1bLLvXNJliY=", + "owner": "edolstra", + "repo": "flake-compat", + "rev": "b7547d3eed6f32d06102ead8991ec52ab0a4f1a7", + "type": "github" + }, + "original": { + "owner": "edolstra", + "repo": "flake-compat", + "type": "github" + } + }, "flake-compat_2": { "flake": false, "locked": { @@ -2463,11 +2215,11 @@ "flake-compat_20": { "flake": false, "locked": { - "lastModified": 1641205782, - "narHash": "sha256-4jY7RCWUoZ9cKD8co0/4tFARpWB+57+r1bLLvXNJliY=", + "lastModified": 1627913399, + "narHash": "sha256-hY8g6H2KFL8ownSiFeMOjwPC8P0ueXpCVEbxgda3pko=", "owner": "edolstra", "repo": "flake-compat", - "rev": "b7547d3eed6f32d06102ead8991ec52ab0a4f1a7", + "rev": "12c64ca55c1014cdc1b16ed5a804aa8576601ff2", "type": "github" }, "original": { @@ -2479,11 +2231,11 @@ "flake-compat_21": { "flake": false, "locked": { - "lastModified": 1641205782, - "narHash": "sha256-4jY7RCWUoZ9cKD8co0/4tFARpWB+57+r1bLLvXNJliY=", + "lastModified": 1648199409, + "narHash": "sha256-JwPKdC2PoVBkG6E+eWw3j6BMR6sL3COpYWfif7RVb8Y=", "owner": "edolstra", "repo": "flake-compat", - "rev": "b7547d3eed6f32d06102ead8991ec52ab0a4f1a7", + "rev": "64a525ee38886ab9028e6f61790de0832aa3ef03", "type": "github" }, "original": { @@ -2495,11 +2247,11 @@ "flake-compat_22": { "flake": false, "locked": { - "lastModified": 1627913399, - "narHash": "sha256-hY8g6H2KFL8ownSiFeMOjwPC8P0ueXpCVEbxgda3pko=", + "lastModified": 1641205782, + "narHash": "sha256-4jY7RCWUoZ9cKD8co0/4tFARpWB+57+r1bLLvXNJliY=", "owner": "edolstra", "repo": "flake-compat", - "rev": "12c64ca55c1014cdc1b16ed5a804aa8576601ff2", + "rev": "b7547d3eed6f32d06102ead8991ec52ab0a4f1a7", "type": "github" }, "original": { @@ -2511,11 +2263,11 @@ "flake-compat_23": { "flake": false, "locked": { - "lastModified": 1648199409, - "narHash": "sha256-JwPKdC2PoVBkG6E+eWw3j6BMR6sL3COpYWfif7RVb8Y=", + "lastModified": 1641205782, + "narHash": "sha256-4jY7RCWUoZ9cKD8co0/4tFARpWB+57+r1bLLvXNJliY=", "owner": "edolstra", "repo": "flake-compat", - "rev": "64a525ee38886ab9028e6f61790de0832aa3ef03", + "rev": "b7547d3eed6f32d06102ead8991ec52ab0a4f1a7", "type": "github" }, "original": { @@ -2527,11 +2279,11 @@ "flake-compat_24": { "flake": false, "locked": { - "lastModified": 1641205782, - "narHash": "sha256-4jY7RCWUoZ9cKD8co0/4tFARpWB+57+r1bLLvXNJliY=", + "lastModified": 1627913399, + "narHash": "sha256-hY8g6H2KFL8ownSiFeMOjwPC8P0ueXpCVEbxgda3pko=", "owner": "edolstra", "repo": "flake-compat", - "rev": "b7547d3eed6f32d06102ead8991ec52ab0a4f1a7", + "rev": "12c64ca55c1014cdc1b16ed5a804aa8576601ff2", "type": "github" }, "original": { @@ -2543,11 +2295,11 @@ "flake-compat_25": { "flake": false, "locked": { - "lastModified": 1641205782, - "narHash": "sha256-4jY7RCWUoZ9cKD8co0/4tFARpWB+57+r1bLLvXNJliY=", + "lastModified": 1648199409, + "narHash": "sha256-JwPKdC2PoVBkG6E+eWw3j6BMR6sL3COpYWfif7RVb8Y=", "owner": "edolstra", "repo": "flake-compat", - "rev": "b7547d3eed6f32d06102ead8991ec52ab0a4f1a7", + "rev": "64a525ee38886ab9028e6f61790de0832aa3ef03", "type": "github" }, "original": { @@ -2559,11 +2311,11 @@ "flake-compat_26": { "flake": false, "locked": { - "lastModified": 1627913399, - "narHash": "sha256-hY8g6H2KFL8ownSiFeMOjwPC8P0ueXpCVEbxgda3pko=", + "lastModified": 1641205782, + "narHash": "sha256-4jY7RCWUoZ9cKD8co0/4tFARpWB+57+r1bLLvXNJliY=", "owner": "edolstra", "repo": "flake-compat", - "rev": "12c64ca55c1014cdc1b16ed5a804aa8576601ff2", + "rev": "b7547d3eed6f32d06102ead8991ec52ab0a4f1a7", "type": "github" }, "original": { @@ -2575,11 +2327,11 @@ "flake-compat_27": { "flake": false, "locked": { - "lastModified": 1648199409, - "narHash": "sha256-JwPKdC2PoVBkG6E+eWw3j6BMR6sL3COpYWfif7RVb8Y=", + "lastModified": 1641205782, + "narHash": "sha256-4jY7RCWUoZ9cKD8co0/4tFARpWB+57+r1bLLvXNJliY=", "owner": "edolstra", "repo": "flake-compat", - "rev": "64a525ee38886ab9028e6f61790de0832aa3ef03", + "rev": "b7547d3eed6f32d06102ead8991ec52ab0a4f1a7", "type": "github" }, "original": { @@ -2591,27 +2343,11 @@ "flake-compat_28": { "flake": false, "locked": { - "lastModified": 1641205782, - "narHash": "sha256-4jY7RCWUoZ9cKD8co0/4tFARpWB+57+r1bLLvXNJliY=", + "lastModified": 1627913399, + "narHash": "sha256-hY8g6H2KFL8ownSiFeMOjwPC8P0ueXpCVEbxgda3pko=", "owner": "edolstra", "repo": "flake-compat", - "rev": "b7547d3eed6f32d06102ead8991ec52ab0a4f1a7", - "type": "github" - }, - "original": { - "owner": "edolstra", - "repo": "flake-compat", - "type": "github" - } - }, - "flake-compat_29": { - "flake": false, - "locked": { - "lastModified": 1641205782, - "narHash": "sha256-4jY7RCWUoZ9cKD8co0/4tFARpWB+57+r1bLLvXNJliY=", - "owner": "edolstra", - "repo": "flake-compat", - "rev": "b7547d3eed6f32d06102ead8991ec52ab0a4f1a7", + "rev": "12c64ca55c1014cdc1b16ed5a804aa8576601ff2", "type": "github" }, "original": { @@ -2623,27 +2359,11 @@ "flake-compat_3": { "flake": false, "locked": { - "lastModified": 1648199409, - "narHash": "sha256-JwPKdC2PoVBkG6E+eWw3j6BMR6sL3COpYWfif7RVb8Y=", + "lastModified": 1641205782, + "narHash": "sha256-4jY7RCWUoZ9cKD8co0/4tFARpWB+57+r1bLLvXNJliY=", "owner": "edolstra", "repo": "flake-compat", - "rev": "64a525ee38886ab9028e6f61790de0832aa3ef03", - "type": "github" - }, - "original": { - "owner": "edolstra", - "repo": "flake-compat", - "type": "github" - } - }, - "flake-compat_30": { - "flake": false, - "locked": { - "lastModified": 1627913399, - "narHash": "sha256-hY8g6H2KFL8ownSiFeMOjwPC8P0ueXpCVEbxgda3pko=", - "owner": "edolstra", - "repo": "flake-compat", - "rev": "12c64ca55c1014cdc1b16ed5a804aa8576601ff2", + "rev": "b7547d3eed6f32d06102ead8991ec52ab0a4f1a7", "type": "github" }, "original": { @@ -2653,38 +2373,6 @@ } }, "flake-compat_4": { - "flake": false, - "locked": { - "lastModified": 1641205782, - "narHash": "sha256-4jY7RCWUoZ9cKD8co0/4tFARpWB+57+r1bLLvXNJliY=", - "owner": "edolstra", - "repo": "flake-compat", - "rev": "b7547d3eed6f32d06102ead8991ec52ab0a4f1a7", - "type": "github" - }, - "original": { - "owner": "edolstra", - "repo": "flake-compat", - "type": "github" - } - }, - "flake-compat_5": { - "flake": false, - "locked": { - "lastModified": 1641205782, - "narHash": "sha256-4jY7RCWUoZ9cKD8co0/4tFARpWB+57+r1bLLvXNJliY=", - "owner": "edolstra", - "repo": "flake-compat", - "rev": "b7547d3eed6f32d06102ead8991ec52ab0a4f1a7", - "type": "github" - }, - "original": { - "owner": "edolstra", - "repo": "flake-compat", - "type": "github" - } - }, - "flake-compat_6": { "flake": false, "locked": { "lastModified": 1627913399, @@ -2700,7 +2388,7 @@ "type": "github" } }, - "flake-compat_7": { + "flake-compat_5": { "flake": false, "locked": { "lastModified": 1648199409, @@ -2716,7 +2404,7 @@ "type": "github" } }, - "flake-compat_8": { + "flake-compat_6": { "flake": false, "locked": { "lastModified": 1641205782, @@ -2732,14 +2420,46 @@ "type": "github" } }, + "flake-compat_7": { + "flake": false, + "locked": { + "lastModified": 1641205782, + "narHash": "sha256-4jY7RCWUoZ9cKD8co0/4tFARpWB+57+r1bLLvXNJliY=", + "owner": "edolstra", + "repo": "flake-compat", + "rev": "b7547d3eed6f32d06102ead8991ec52ab0a4f1a7", + "type": "github" + }, + "original": { + "owner": "edolstra", + "repo": "flake-compat", + "type": "github" + } + }, + "flake-compat_8": { + "flake": false, + "locked": { + "lastModified": 1627913399, + "narHash": "sha256-hY8g6H2KFL8ownSiFeMOjwPC8P0ueXpCVEbxgda3pko=", + "owner": "edolstra", + "repo": "flake-compat", + "rev": "12c64ca55c1014cdc1b16ed5a804aa8576601ff2", + "type": "github" + }, + "original": { + "owner": "edolstra", + "repo": "flake-compat", + "type": "github" + } + }, "flake-compat_9": { "flake": false, "locked": { - "lastModified": 1641205782, - "narHash": "sha256-4jY7RCWUoZ9cKD8co0/4tFARpWB+57+r1bLLvXNJliY=", + "lastModified": 1648199409, + "narHash": "sha256-JwPKdC2PoVBkG6E+eWw3j6BMR6sL3COpYWfif7RVb8Y=", "owner": "edolstra", "repo": "flake-compat", - "rev": "b7547d3eed6f32d06102ead8991ec52ab0a4f1a7", + "rev": "64a525ee38886ab9028e6f61790de0832aa3ef03", "type": "github" }, "original": { @@ -2749,21 +2469,6 @@ } }, "flake-utils": { - "locked": { - "lastModified": 1644229661, - "narHash": "sha256-1YdnJAsNy69bpcjuoKdOYQX0YxZBiCYZo4Twxerqv7k=", - "owner": "numtide", - "repo": "flake-utils", - "rev": "3cecb5b042f7f209c56ffd8371b2711a290ec797", - "type": "github" - }, - "original": { - "owner": "numtide", - "repo": "flake-utils", - "type": "github" - } - }, - "flake-utils_10": { "locked": { "lastModified": 1648297722, "narHash": "sha256-W+qlPsiZd8F3XkzXOzAoR+mpFqzm3ekQkJNa+PIh1BQ=", @@ -2778,7 +2483,52 @@ "type": "github" } }, + "flake-utils_10": { + "locked": { + "lastModified": 1642700792, + "narHash": "sha256-XqHrk7hFb+zBvRg6Ghl+AZDq03ov6OshJLiSWOoX5es=", + "owner": "numtide", + "repo": "flake-utils", + "rev": "846b2ae0fc4cc943637d3d1def4454213e203cba", + "type": "github" + }, + "original": { + "owner": "numtide", + "repo": "flake-utils", + "type": "github" + } + }, "flake-utils_11": { + "locked": { + "lastModified": 1642700792, + "narHash": "sha256-XqHrk7hFb+zBvRg6Ghl+AZDq03ov6OshJLiSWOoX5es=", + "owner": "numtide", + "repo": "flake-utils", + "rev": "846b2ae0fc4cc943637d3d1def4454213e203cba", + "type": "github" + }, + "original": { + "owner": "numtide", + "repo": "flake-utils", + "type": "github" + } + }, + "flake-utils_12": { + "locked": { + "lastModified": 1631561581, + "narHash": "sha256-3VQMV5zvxaVLvqqUrNz3iJelLw30mIVSfZmAaauM3dA=", + "owner": "numtide", + "repo": "flake-utils", + "rev": "7e5bf3925f6fbdfaf50a2a7ca0be2879c4261d19", + "type": "github" + }, + "original": { + "owner": "numtide", + "repo": "flake-utils", + "type": "github" + } + }, + "flake-utils_13": { "locked": { "lastModified": 1644229661, "narHash": "sha256-1YdnJAsNy69bpcjuoKdOYQX0YxZBiCYZo4Twxerqv7k=", @@ -2793,43 +2543,13 @@ "type": "github" } }, - "flake-utils_12": { - "locked": { - "lastModified": 1642700792, - "narHash": "sha256-XqHrk7hFb+zBvRg6Ghl+AZDq03ov6OshJLiSWOoX5es=", - "owner": "numtide", - "repo": "flake-utils", - "rev": "846b2ae0fc4cc943637d3d1def4454213e203cba", - "type": "github" - }, - "original": { - "owner": "numtide", - "repo": "flake-utils", - "type": "github" - } - }, - "flake-utils_13": { - "locked": { - "lastModified": 1642700792, - "narHash": "sha256-XqHrk7hFb+zBvRg6Ghl+AZDq03ov6OshJLiSWOoX5es=", - "owner": "numtide", - "repo": "flake-utils", - "rev": "846b2ae0fc4cc943637d3d1def4454213e203cba", - "type": "github" - }, - "original": { - "owner": "numtide", - "repo": "flake-utils", - "type": "github" - } - }, "flake-utils_14": { "locked": { - "lastModified": 1631561581, - "narHash": "sha256-3VQMV5zvxaVLvqqUrNz3iJelLw30mIVSfZmAaauM3dA=", + "lastModified": 1648297722, + "narHash": "sha256-W+qlPsiZd8F3XkzXOzAoR+mpFqzm3ekQkJNa+PIh1BQ=", "owner": "numtide", "repo": "flake-utils", - "rev": "7e5bf3925f6fbdfaf50a2a7ca0be2879c4261d19", + "rev": "0f8662f1319ad6abf89b3380dd2722369fc51ade", "type": "github" }, "original": { @@ -2855,11 +2575,11 @@ }, "flake-utils_16": { "locked": { - "lastModified": 1648297722, - "narHash": "sha256-W+qlPsiZd8F3XkzXOzAoR+mpFqzm3ekQkJNa+PIh1BQ=", + "lastModified": 1642700792, + "narHash": "sha256-XqHrk7hFb+zBvRg6Ghl+AZDq03ov6OshJLiSWOoX5es=", "owner": "numtide", "repo": "flake-utils", - "rev": "0f8662f1319ad6abf89b3380dd2722369fc51ade", + "rev": "846b2ae0fc4cc943637d3d1def4454213e203cba", "type": "github" }, "original": { @@ -2869,6 +2589,36 @@ } }, "flake-utils_17": { + "locked": { + "lastModified": 1642700792, + "narHash": "sha256-XqHrk7hFb+zBvRg6Ghl+AZDq03ov6OshJLiSWOoX5es=", + "owner": "numtide", + "repo": "flake-utils", + "rev": "846b2ae0fc4cc943637d3d1def4454213e203cba", + "type": "github" + }, + "original": { + "owner": "numtide", + "repo": "flake-utils", + "type": "github" + } + }, + "flake-utils_18": { + "locked": { + "lastModified": 1631561581, + "narHash": "sha256-3VQMV5zvxaVLvqqUrNz3iJelLw30mIVSfZmAaauM3dA=", + "owner": "numtide", + "repo": "flake-utils", + "rev": "7e5bf3925f6fbdfaf50a2a7ca0be2879c4261d19", + "type": "github" + }, + "original": { + "owner": "numtide", + "repo": "flake-utils", + "type": "github" + } + }, + "flake-utils_19": { "locked": { "lastModified": 1644229661, "narHash": "sha256-1YdnJAsNy69bpcjuoKdOYQX0YxZBiCYZo4Twxerqv7k=", @@ -2883,43 +2633,13 @@ "type": "github" } }, - "flake-utils_18": { - "locked": { - "lastModified": 1642700792, - "narHash": "sha256-XqHrk7hFb+zBvRg6Ghl+AZDq03ov6OshJLiSWOoX5es=", - "owner": "numtide", - "repo": "flake-utils", - "rev": "846b2ae0fc4cc943637d3d1def4454213e203cba", - "type": "github" - }, - "original": { - "owner": "numtide", - "repo": "flake-utils", - "type": "github" - } - }, - "flake-utils_19": { - "locked": { - "lastModified": 1642700792, - "narHash": "sha256-XqHrk7hFb+zBvRg6Ghl+AZDq03ov6OshJLiSWOoX5es=", - "owner": "numtide", - "repo": "flake-utils", - "rev": "846b2ae0fc4cc943637d3d1def4454213e203cba", - "type": "github" - }, - "original": { - "owner": "numtide", - "repo": "flake-utils", - "type": "github" - } - }, "flake-utils_2": { "locked": { - "lastModified": 1623875721, - "narHash": "sha256-A8BU7bjS5GirpAUv4QA+QnJ4CceLHkcXdRp4xITDB0s=", + "lastModified": 1644229661, + "narHash": "sha256-1YdnJAsNy69bpcjuoKdOYQX0YxZBiCYZo4Twxerqv7k=", "owner": "numtide", "repo": "flake-utils", - "rev": "f7e004a55b120c02ecb6219596820fcd32ca8772", + "rev": "3cecb5b042f7f209c56ffd8371b2711a290ec797", "type": "github" }, "original": { @@ -2930,11 +2650,11 @@ }, "flake-utils_20": { "locked": { - "lastModified": 1631561581, - "narHash": "sha256-3VQMV5zvxaVLvqqUrNz3iJelLw30mIVSfZmAaauM3dA=", + "lastModified": 1648297722, + "narHash": "sha256-W+qlPsiZd8F3XkzXOzAoR+mpFqzm3ekQkJNa+PIh1BQ=", "owner": "numtide", "repo": "flake-utils", - "rev": "7e5bf3925f6fbdfaf50a2a7ca0be2879c4261d19", + "rev": "0f8662f1319ad6abf89b3380dd2722369fc51ade", "type": "github" }, "original": { @@ -2960,11 +2680,11 @@ }, "flake-utils_22": { "locked": { - "lastModified": 1648297722, - "narHash": "sha256-W+qlPsiZd8F3XkzXOzAoR+mpFqzm3ekQkJNa+PIh1BQ=", + "lastModified": 1642700792, + "narHash": "sha256-XqHrk7hFb+zBvRg6Ghl+AZDq03ov6OshJLiSWOoX5es=", "owner": "numtide", "repo": "flake-utils", - "rev": "0f8662f1319ad6abf89b3380dd2722369fc51ade", + "rev": "846b2ae0fc4cc943637d3d1def4454213e203cba", "type": "github" }, "original": { @@ -2974,6 +2694,36 @@ } }, "flake-utils_23": { + "locked": { + "lastModified": 1642700792, + "narHash": "sha256-XqHrk7hFb+zBvRg6Ghl+AZDq03ov6OshJLiSWOoX5es=", + "owner": "numtide", + "repo": "flake-utils", + "rev": "846b2ae0fc4cc943637d3d1def4454213e203cba", + "type": "github" + }, + "original": { + "owner": "numtide", + "repo": "flake-utils", + "type": "github" + } + }, + "flake-utils_24": { + "locked": { + "lastModified": 1631561581, + "narHash": "sha256-3VQMV5zvxaVLvqqUrNz3iJelLw30mIVSfZmAaauM3dA=", + "owner": "numtide", + "repo": "flake-utils", + "rev": "7e5bf3925f6fbdfaf50a2a7ca0be2879c4261d19", + "type": "github" + }, + "original": { + "owner": "numtide", + "repo": "flake-utils", + "type": "github" + } + }, + "flake-utils_25": { "locked": { "lastModified": 1644229661, "narHash": "sha256-1YdnJAsNy69bpcjuoKdOYQX0YxZBiCYZo4Twxerqv7k=", @@ -2988,43 +2738,13 @@ "type": "github" } }, - "flake-utils_24": { - "locked": { - "lastModified": 1642700792, - "narHash": "sha256-XqHrk7hFb+zBvRg6Ghl+AZDq03ov6OshJLiSWOoX5es=", - "owner": "numtide", - "repo": "flake-utils", - "rev": "846b2ae0fc4cc943637d3d1def4454213e203cba", - "type": "github" - }, - "original": { - "owner": "numtide", - "repo": "flake-utils", - "type": "github" - } - }, - "flake-utils_25": { - "locked": { - "lastModified": 1642700792, - "narHash": "sha256-XqHrk7hFb+zBvRg6Ghl+AZDq03ov6OshJLiSWOoX5es=", - "owner": "numtide", - "repo": "flake-utils", - "rev": "846b2ae0fc4cc943637d3d1def4454213e203cba", - "type": "github" - }, - "original": { - "owner": "numtide", - "repo": "flake-utils", - "type": "github" - } - }, "flake-utils_26": { "locked": { - "lastModified": 1631561581, - "narHash": "sha256-3VQMV5zvxaVLvqqUrNz3iJelLw30mIVSfZmAaauM3dA=", + "lastModified": 1648297722, + "narHash": "sha256-W+qlPsiZd8F3XkzXOzAoR+mpFqzm3ekQkJNa+PIh1BQ=", "owner": "numtide", "repo": "flake-utils", - "rev": "7e5bf3925f6fbdfaf50a2a7ca0be2879c4261d19", + "rev": "0f8662f1319ad6abf89b3380dd2722369fc51ade", "type": "github" }, "original": { @@ -3050,11 +2770,11 @@ }, "flake-utils_28": { "locked": { - "lastModified": 1648297722, - "narHash": "sha256-W+qlPsiZd8F3XkzXOzAoR+mpFqzm3ekQkJNa+PIh1BQ=", + "lastModified": 1642700792, + "narHash": "sha256-XqHrk7hFb+zBvRg6Ghl+AZDq03ov6OshJLiSWOoX5es=", "owner": "numtide", "repo": "flake-utils", - "rev": "0f8662f1319ad6abf89b3380dd2722369fc51ade", + "rev": "846b2ae0fc4cc943637d3d1def4454213e203cba", "type": "github" }, "original": { @@ -3064,6 +2784,51 @@ } }, "flake-utils_29": { + "locked": { + "lastModified": 1642700792, + "narHash": "sha256-XqHrk7hFb+zBvRg6Ghl+AZDq03ov6OshJLiSWOoX5es=", + "owner": "numtide", + "repo": "flake-utils", + "rev": "846b2ae0fc4cc943637d3d1def4454213e203cba", + "type": "github" + }, + "original": { + "owner": "numtide", + "repo": "flake-utils", + "type": "github" + } + }, + "flake-utils_3": { + "locked": { + "lastModified": 1642700792, + "narHash": "sha256-XqHrk7hFb+zBvRg6Ghl+AZDq03ov6OshJLiSWOoX5es=", + "owner": "numtide", + "repo": "flake-utils", + "rev": "846b2ae0fc4cc943637d3d1def4454213e203cba", + "type": "github" + }, + "original": { + "owner": "numtide", + "repo": "flake-utils", + "type": "github" + } + }, + "flake-utils_30": { + "locked": { + "lastModified": 1631561581, + "narHash": "sha256-3VQMV5zvxaVLvqqUrNz3iJelLw30mIVSfZmAaauM3dA=", + "owner": "numtide", + "repo": "flake-utils", + "rev": "7e5bf3925f6fbdfaf50a2a7ca0be2879c4261d19", + "type": "github" + }, + "original": { + "owner": "numtide", + "repo": "flake-utils", + "type": "github" + } + }, + "flake-utils_31": { "locked": { "lastModified": 1644229661, "narHash": "sha256-1YdnJAsNy69bpcjuoKdOYQX0YxZBiCYZo4Twxerqv7k=", @@ -3078,7 +2843,7 @@ "type": "github" } }, - "flake-utils_3": { + "flake-utils_32": { "locked": { "lastModified": 1648297722, "narHash": "sha256-W+qlPsiZd8F3XkzXOzAoR+mpFqzm3ekQkJNa+PIh1BQ=", @@ -3093,51 +2858,6 @@ "type": "github" } }, - "flake-utils_30": { - "locked": { - "lastModified": 1642700792, - "narHash": "sha256-XqHrk7hFb+zBvRg6Ghl+AZDq03ov6OshJLiSWOoX5es=", - "owner": "numtide", - "repo": "flake-utils", - "rev": "846b2ae0fc4cc943637d3d1def4454213e203cba", - "type": "github" - }, - "original": { - "owner": "numtide", - "repo": "flake-utils", - "type": "github" - } - }, - "flake-utils_31": { - "locked": { - "lastModified": 1642700792, - "narHash": "sha256-XqHrk7hFb+zBvRg6Ghl+AZDq03ov6OshJLiSWOoX5es=", - "owner": "numtide", - "repo": "flake-utils", - "rev": "846b2ae0fc4cc943637d3d1def4454213e203cba", - "type": "github" - }, - "original": { - "owner": "numtide", - "repo": "flake-utils", - "type": "github" - } - }, - "flake-utils_32": { - "locked": { - "lastModified": 1631561581, - "narHash": "sha256-3VQMV5zvxaVLvqqUrNz3iJelLw30mIVSfZmAaauM3dA=", - "owner": "numtide", - "repo": "flake-utils", - "rev": "7e5bf3925f6fbdfaf50a2a7ca0be2879c4261d19", - "type": "github" - }, - "original": { - "owner": "numtide", - "repo": "flake-utils", - "type": "github" - } - }, "flake-utils_33": { "locked": { "lastModified": 1644229661, @@ -3155,11 +2875,11 @@ }, "flake-utils_34": { "locked": { - "lastModified": 1648297722, - "narHash": "sha256-W+qlPsiZd8F3XkzXOzAoR+mpFqzm3ekQkJNa+PIh1BQ=", + "lastModified": 1642700792, + "narHash": "sha256-XqHrk7hFb+zBvRg6Ghl+AZDq03ov6OshJLiSWOoX5es=", "owner": "numtide", "repo": "flake-utils", - "rev": "0f8662f1319ad6abf89b3380dd2722369fc51ade", + "rev": "846b2ae0fc4cc943637d3d1def4454213e203cba", "type": "github" }, "original": { @@ -3169,6 +2889,36 @@ } }, "flake-utils_35": { + "locked": { + "lastModified": 1642700792, + "narHash": "sha256-XqHrk7hFb+zBvRg6Ghl+AZDq03ov6OshJLiSWOoX5es=", + "owner": "numtide", + "repo": "flake-utils", + "rev": "846b2ae0fc4cc943637d3d1def4454213e203cba", + "type": "github" + }, + "original": { + "owner": "numtide", + "repo": "flake-utils", + "type": "github" + } + }, + "flake-utils_36": { + "locked": { + "lastModified": 1631561581, + "narHash": "sha256-3VQMV5zvxaVLvqqUrNz3iJelLw30mIVSfZmAaauM3dA=", + "owner": "numtide", + "repo": "flake-utils", + "rev": "7e5bf3925f6fbdfaf50a2a7ca0be2879c4261d19", + "type": "github" + }, + "original": { + "owner": "numtide", + "repo": "flake-utils", + "type": "github" + } + }, + "flake-utils_37": { "locked": { "lastModified": 1644229661, "narHash": "sha256-1YdnJAsNy69bpcjuoKdOYQX0YxZBiCYZo4Twxerqv7k=", @@ -3183,43 +2933,13 @@ "type": "github" } }, - "flake-utils_36": { - "locked": { - "lastModified": 1642700792, - "narHash": "sha256-XqHrk7hFb+zBvRg6Ghl+AZDq03ov6OshJLiSWOoX5es=", - "owner": "numtide", - "repo": "flake-utils", - "rev": "846b2ae0fc4cc943637d3d1def4454213e203cba", - "type": "github" - }, - "original": { - "owner": "numtide", - "repo": "flake-utils", - "type": "github" - } - }, - "flake-utils_37": { - "locked": { - "lastModified": 1642700792, - "narHash": "sha256-XqHrk7hFb+zBvRg6Ghl+AZDq03ov6OshJLiSWOoX5es=", - "owner": "numtide", - "repo": "flake-utils", - "rev": "846b2ae0fc4cc943637d3d1def4454213e203cba", - "type": "github" - }, - "original": { - "owner": "numtide", - "repo": "flake-utils", - "type": "github" - } - }, "flake-utils_38": { "locked": { - "lastModified": 1631561581, - "narHash": "sha256-3VQMV5zvxaVLvqqUrNz3iJelLw30mIVSfZmAaauM3dA=", + "lastModified": 1648297722, + "narHash": "sha256-W+qlPsiZd8F3XkzXOzAoR+mpFqzm3ekQkJNa+PIh1BQ=", "owner": "numtide", "repo": "flake-utils", - "rev": "7e5bf3925f6fbdfaf50a2a7ca0be2879c4261d19", + "rev": "0f8662f1319ad6abf89b3380dd2722369fc51ade", "type": "github" }, "original": { @@ -3245,11 +2965,11 @@ }, "flake-utils_4": { "locked": { - "lastModified": 1644229661, - "narHash": "sha256-1YdnJAsNy69bpcjuoKdOYQX0YxZBiCYZo4Twxerqv7k=", + "lastModified": 1642700792, + "narHash": "sha256-XqHrk7hFb+zBvRg6Ghl+AZDq03ov6OshJLiSWOoX5es=", "owner": "numtide", "repo": "flake-utils", - "rev": "3cecb5b042f7f209c56ffd8371b2711a290ec797", + "rev": "846b2ae0fc4cc943637d3d1def4454213e203cba", "type": "github" }, "original": { @@ -3260,11 +2980,11 @@ }, "flake-utils_40": { "locked": { - "lastModified": 1648297722, - "narHash": "sha256-W+qlPsiZd8F3XkzXOzAoR+mpFqzm3ekQkJNa+PIh1BQ=", + "lastModified": 1642700792, + "narHash": "sha256-XqHrk7hFb+zBvRg6Ghl+AZDq03ov6OshJLiSWOoX5es=", "owner": "numtide", "repo": "flake-utils", - "rev": "0f8662f1319ad6abf89b3380dd2722369fc51ade", + "rev": "846b2ae0fc4cc943637d3d1def4454213e203cba", "type": "github" }, "original": { @@ -3275,11 +2995,11 @@ }, "flake-utils_41": { "locked": { - "lastModified": 1644229661, - "narHash": "sha256-1YdnJAsNy69bpcjuoKdOYQX0YxZBiCYZo4Twxerqv7k=", + "lastModified": 1642700792, + "narHash": "sha256-XqHrk7hFb+zBvRg6Ghl+AZDq03ov6OshJLiSWOoX5es=", "owner": "numtide", "repo": "flake-utils", - "rev": "3cecb5b042f7f209c56ffd8371b2711a290ec797", + "rev": "846b2ae0fc4cc943637d3d1def4454213e203cba", "type": "github" }, "original": { @@ -3290,11 +3010,11 @@ }, "flake-utils_42": { "locked": { - "lastModified": 1642700792, - "narHash": "sha256-XqHrk7hFb+zBvRg6Ghl+AZDq03ov6OshJLiSWOoX5es=", + "lastModified": 1631561581, + "narHash": "sha256-3VQMV5zvxaVLvqqUrNz3iJelLw30mIVSfZmAaauM3dA=", "owner": "numtide", "repo": "flake-utils", - "rev": "846b2ae0fc4cc943637d3d1def4454213e203cba", + "rev": "7e5bf3925f6fbdfaf50a2a7ca0be2879c4261d19", "type": "github" }, "original": { @@ -3305,11 +3025,11 @@ }, "flake-utils_43": { "locked": { - "lastModified": 1642700792, - "narHash": "sha256-XqHrk7hFb+zBvRg6Ghl+AZDq03ov6OshJLiSWOoX5es=", + "lastModified": 1644229661, + "narHash": "sha256-1YdnJAsNy69bpcjuoKdOYQX0YxZBiCYZo4Twxerqv7k=", "owner": "numtide", "repo": "flake-utils", - "rev": "846b2ae0fc4cc943637d3d1def4454213e203cba", + "rev": "3cecb5b042f7f209c56ffd8371b2711a290ec797", "type": "github" }, "original": { @@ -3334,36 +3054,6 @@ } }, "flake-utils_45": { - "locked": { - "lastModified": 1644229661, - "narHash": "sha256-1YdnJAsNy69bpcjuoKdOYQX0YxZBiCYZo4Twxerqv7k=", - "owner": "numtide", - "repo": "flake-utils", - "rev": "3cecb5b042f7f209c56ffd8371b2711a290ec797", - "type": "github" - }, - "original": { - "owner": "numtide", - "repo": "flake-utils", - "type": "github" - } - }, - "flake-utils_46": { - "locked": { - "lastModified": 1631561581, - "narHash": "sha256-3VQMV5zvxaVLvqqUrNz3iJelLw30mIVSfZmAaauM3dA=", - "owner": "numtide", - "repo": "flake-utils", - "rev": "7e5bf3925f6fbdfaf50a2a7ca0be2879c4261d19", - "type": "github" - }, - "original": { - "owner": "numtide", - "repo": "flake-utils", - "type": "github" - } - }, - "flake-utils_47": { "locked": { "lastModified": 1623875721, "narHash": "sha256-A8BU7bjS5GirpAUv4QA+QnJ4CceLHkcXdRp4xITDB0s=", @@ -3379,36 +3069,6 @@ } }, "flake-utils_5": { - "locked": { - "lastModified": 1642700792, - "narHash": "sha256-XqHrk7hFb+zBvRg6Ghl+AZDq03ov6OshJLiSWOoX5es=", - "owner": "numtide", - "repo": "flake-utils", - "rev": "846b2ae0fc4cc943637d3d1def4454213e203cba", - "type": "github" - }, - "original": { - "owner": "numtide", - "repo": "flake-utils", - "type": "github" - } - }, - "flake-utils_6": { - "locked": { - "lastModified": 1642700792, - "narHash": "sha256-XqHrk7hFb+zBvRg6Ghl+AZDq03ov6OshJLiSWOoX5es=", - "owner": "numtide", - "repo": "flake-utils", - "rev": "846b2ae0fc4cc943637d3d1def4454213e203cba", - "type": "github" - }, - "original": { - "owner": "numtide", - "repo": "flake-utils", - "type": "github" - } - }, - "flake-utils_7": { "locked": { "lastModified": 1631561581, "narHash": "sha256-3VQMV5zvxaVLvqqUrNz3iJelLw30mIVSfZmAaauM3dA=", @@ -3423,7 +3083,7 @@ "type": "github" } }, - "flake-utils_8": { + "flake-utils_6": { "locked": { "lastModified": 1644229661, "narHash": "sha256-1YdnJAsNy69bpcjuoKdOYQX0YxZBiCYZo4Twxerqv7k=", @@ -3438,6 +3098,36 @@ "type": "github" } }, + "flake-utils_7": { + "locked": { + "lastModified": 1644229661, + "narHash": "sha256-1YdnJAsNy69bpcjuoKdOYQX0YxZBiCYZo4Twxerqv7k=", + "owner": "numtide", + "repo": "flake-utils", + "rev": "3cecb5b042f7f209c56ffd8371b2711a290ec797", + "type": "github" + }, + "original": { + "owner": "numtide", + "repo": "flake-utils", + "type": "github" + } + }, + "flake-utils_8": { + "locked": { + "lastModified": 1648297722, + "narHash": "sha256-W+qlPsiZd8F3XkzXOzAoR+mpFqzm3ekQkJNa+PIh1BQ=", + "owner": "numtide", + "repo": "flake-utils", + "rev": "0f8662f1319ad6abf89b3380dd2722369fc51ade", + "type": "github" + }, + "original": { + "owner": "numtide", + "repo": "flake-utils", + "type": "github" + } + }, "flake-utils_9": { "locked": { "lastModified": 1644229661, @@ -3742,40 +3432,6 @@ "type": "github" } }, - "ghc-8.6.5-iohk_10": { - "flake": false, - "locked": { - "lastModified": 1600920045, - "narHash": "sha256-DO6kxJz248djebZLpSzTGD6s8WRpNI9BTwUeOf5RwY8=", - "owner": "input-output-hk", - "repo": "ghc", - "rev": "95713a6ecce4551240da7c96b6176f980af75cae", - "type": "github" - }, - "original": { - "owner": "input-output-hk", - "ref": "release/8.6.5-iohk", - "repo": "ghc", - "type": "github" - } - }, - "ghc-8.6.5-iohk_11": { - "flake": false, - "locked": { - "lastModified": 1600920045, - "narHash": "sha256-DO6kxJz248djebZLpSzTGD6s8WRpNI9BTwUeOf5RwY8=", - "owner": "input-output-hk", - "repo": "ghc", - "rev": "95713a6ecce4551240da7c96b6176f980af75cae", - "type": "github" - }, - "original": { - "owner": "input-output-hk", - "ref": "release/8.6.5-iohk", - "repo": "ghc", - "type": "github" - } - }, "ghc-8.6.5-iohk_2": { "flake": false, "locked": { @@ -4040,30 +3696,14 @@ "type": "github" } }, - "gitignore-nix_9": { - "flake": false, - "locked": { - "lastModified": 1611672876, - "narHash": "sha256-qHu3uZ/o9jBHiA3MEKHJ06k7w4heOhA+4HCSIvflRxo=", - "owner": "hercules-ci", - "repo": "gitignore.nix", - "rev": "211907489e9f198594c0eb0ca9256a1949c9d412", - "type": "github" - }, - "original": { - "owner": "hercules-ci", - "repo": "gitignore.nix", - "type": "github" - } - }, "hackage": { "flake": false, "locked": { - "lastModified": 1646270198, - "narHash": "sha256-SakG546Zr9RuNPs5mhtT7CYPpvEDMGrWisWK/VpCvr0=", + "lastModified": 1644887696, + "narHash": "sha256-o4gltv4npUl7+1gEQIcrRqZniwqC9kK8QsPaftlrawc=", "owner": "input-output-hk", "repo": "hackage.nix", - "rev": "4cf90b36955597d0151940eabfb1b61a8ec42256", + "rev": "6ff64aa49b88e75dd6e0bbd2823c2a92c9174fa5", "type": "github" }, "original": { @@ -4075,11 +3715,11 @@ "hackage-nix": { "flake": false, "locked": { - "lastModified": 1637291070, - "narHash": "sha256-hTX2Xo36i9MR6PNwA/89C8daKjxmx5ZS5lwR2Cbp8Yo=", + "lastModified": 1644369434, + "narHash": "sha256-WqU6f1OhSM0UHXFW8Mhhvhz0tcij+NQVtmb6sW4RiFw=", "owner": "input-output-hk", "repo": "hackage.nix", - "rev": "6ea4ad5f4a5e2303cd64974329ba90ccc410a012", + "rev": "644a0d702abf84cdec62f4e620ff1034000e6146", "type": "github" }, "original": { @@ -4200,23 +3840,7 @@ "type": "github" } }, - "hackage-nix_9": { - "flake": false, - "locked": { - "lastModified": 1644369434, - "narHash": "sha256-WqU6f1OhSM0UHXFW8Mhhvhz0tcij+NQVtmb6sW4RiFw=", - "owner": "input-output-hk", - "repo": "hackage.nix", - "rev": "644a0d702abf84cdec62f4e620ff1034000e6146", - "type": "github" - }, - "original": { - "owner": "input-output-hk", - "repo": "hackage.nix", - "type": "github" - } - }, - "hackage_10": { + "hackage_2": { "flake": false, "locked": { "lastModified": 1644887696, @@ -4232,38 +3856,6 @@ "type": "github" } }, - "hackage_11": { - "flake": false, - "locked": { - "lastModified": 1633396333, - "narHash": "sha256-mq7OoYa7ODDoKzUxR8xuEtQ0F0LO9I5uZG9DTZY+A/U=", - "owner": "input-output-hk", - "repo": "hackage.nix", - "rev": "0b33cf7ca5f152a6b3acda375433a6bc86f8d3e7", - "type": "github" - }, - "original": { - "owner": "input-output-hk", - "repo": "hackage.nix", - "type": "github" - } - }, - "hackage_2": { - "flake": false, - "locked": { - "lastModified": 1639357972, - "narHash": "sha256-NvVn00YOYZMqDUSiBbghJk/rm/nJItBEUJulWRGTgvk=", - "owner": "input-output-hk", - "repo": "hackage.nix", - "rev": "54adf6e47e20831d9c49a2b62e12f7f218fd7752", - "type": "github" - }, - "original": { - "owner": "input-output-hk", - "repo": "hackage.nix", - "type": "github" - } - }, "hackage_3": { "flake": false, "locked": { @@ -4363,11 +3955,11 @@ "hackage_9": { "flake": false, "locked": { - "lastModified": 1644887696, - "narHash": "sha256-o4gltv4npUl7+1gEQIcrRqZniwqC9kK8QsPaftlrawc=", + "lastModified": 1633396333, + "narHash": "sha256-mq7OoYa7ODDoKzUxR8xuEtQ0F0LO9I5uZG9DTZY+A/U=", "owner": "input-output-hk", "repo": "hackage.nix", - "rev": "6ff64aa49b88e75dd6e0bbd2823c2a92c9174fa5", + "rev": "0b33cf7ca5f152a6b3acda375433a6bc86f8d3e7", "type": "github" }, "original": { @@ -4379,16 +3971,15 @@ "haskell-language-server": { "flake": false, "locked": { - "lastModified": 1638136578, - "narHash": "sha256-Reo9BQ12O+OX7tuRfaDPZPBpJW4jnxZetm63BxYncoM=", + "lastModified": 1645014262, + "narHash": "sha256-f49So1teiroV+S7sbGTK4AhzUOXpoiQ26/fTjdIKkqc=", "owner": "haskell", "repo": "haskell-language-server", - "rev": "745ef26f406dbdd5e4a538585f8519af9f1ccb09", + "rev": "96ea854debd92f9a54e2270b9b9a080c0ce6f3d1", "type": "github" }, "original": { "owner": "haskell", - "ref": "1.5.1", "repo": "haskell-language-server", "type": "github" } @@ -4396,15 +3987,16 @@ "haskell-language-server_10": { "flake": false, "locked": { - "lastModified": 1645014262, - "narHash": "sha256-f49So1teiroV+S7sbGTK4AhzUOXpoiQ26/fTjdIKkqc=", + "lastModified": 1643835246, + "narHash": "sha256-5LQHcQmi3mUGRgJu+X/m3jeM3kdkYjLD+KwgnxBlbeU=", "owner": "haskell", "repo": "haskell-language-server", - "rev": "96ea854debd92f9a54e2270b9b9a080c0ce6f3d1", + "rev": "024ddc8b3904f8b8e8fe67ba6b9ebd8a4bd7ce76", "type": "github" }, "original": { "owner": "haskell", + "ref": "1.6.1.1", "repo": "haskell-language-server", "type": "github" } @@ -4412,16 +4004,15 @@ "haskell-language-server_11": { "flake": false, "locked": { - "lastModified": 1643835246, - "narHash": "sha256-5LQHcQmi3mUGRgJu+X/m3jeM3kdkYjLD+KwgnxBlbeU=", + "lastModified": 1645014262, + "narHash": "sha256-f49So1teiroV+S7sbGTK4AhzUOXpoiQ26/fTjdIKkqc=", "owner": "haskell", "repo": "haskell-language-server", - "rev": "024ddc8b3904f8b8e8fe67ba6b9ebd8a4bd7ce76", + "rev": "96ea854debd92f9a54e2270b9b9a080c0ce6f3d1", "type": "github" }, "original": { "owner": "haskell", - "ref": "1.6.1.1", "repo": "haskell-language-server", "type": "github" } @@ -4429,15 +4020,16 @@ "haskell-language-server_12": { "flake": false, "locked": { - "lastModified": 1645014262, - "narHash": "sha256-f49So1teiroV+S7sbGTK4AhzUOXpoiQ26/fTjdIKkqc=", + "lastModified": 1643835246, + "narHash": "sha256-5LQHcQmi3mUGRgJu+X/m3jeM3kdkYjLD+KwgnxBlbeU=", "owner": "haskell", "repo": "haskell-language-server", - "rev": "96ea854debd92f9a54e2270b9b9a080c0ce6f3d1", + "rev": "024ddc8b3904f8b8e8fe67ba6b9ebd8a4bd7ce76", "type": "github" }, "original": { "owner": "haskell", + "ref": "1.6.1.1", "repo": "haskell-language-server", "type": "github" } @@ -4445,37 +4037,20 @@ "haskell-language-server_13": { "flake": false, "locked": { - "lastModified": 1643835246, - "narHash": "sha256-5LQHcQmi3mUGRgJu+X/m3jeM3kdkYjLD+KwgnxBlbeU=", + "lastModified": 1645014262, + "narHash": "sha256-f49So1teiroV+S7sbGTK4AhzUOXpoiQ26/fTjdIKkqc=", "owner": "haskell", "repo": "haskell-language-server", - "rev": "024ddc8b3904f8b8e8fe67ba6b9ebd8a4bd7ce76", + "rev": "96ea854debd92f9a54e2270b9b9a080c0ce6f3d1", "type": "github" }, "original": { "owner": "haskell", - "ref": "1.6.1.1", "repo": "haskell-language-server", "type": "github" } }, "haskell-language-server_14": { - "flake": false, - "locked": { - "lastModified": 1645014262, - "narHash": "sha256-f49So1teiroV+S7sbGTK4AhzUOXpoiQ26/fTjdIKkqc=", - "owner": "haskell", - "repo": "haskell-language-server", - "rev": "96ea854debd92f9a54e2270b9b9a080c0ce6f3d1", - "type": "github" - }, - "original": { - "owner": "haskell", - "repo": "haskell-language-server", - "type": "github" - } - }, - "haskell-language-server_15": { "flake": false, "locked": { "lastModified": 1643835246, @@ -4492,7 +4067,7 @@ "type": "github" } }, - "haskell-language-server_16": { + "haskell-language-server_15": { "flake": false, "locked": { "lastModified": 1645014262, @@ -4508,7 +4083,7 @@ "type": "github" } }, - "haskell-language-server_17": { + "haskell-language-server_16": { "flake": false, "locked": { "lastModified": 1643835246, @@ -4528,15 +4103,16 @@ "haskell-language-server_2": { "flake": false, "locked": { - "lastModified": 1645014262, - "narHash": "sha256-f49So1teiroV+S7sbGTK4AhzUOXpoiQ26/fTjdIKkqc=", + "lastModified": 1643835246, + "narHash": "sha256-5LQHcQmi3mUGRgJu+X/m3jeM3kdkYjLD+KwgnxBlbeU=", "owner": "haskell", "repo": "haskell-language-server", - "rev": "96ea854debd92f9a54e2270b9b9a080c0ce6f3d1", + "rev": "024ddc8b3904f8b8e8fe67ba6b9ebd8a4bd7ce76", "type": "github" }, "original": { "owner": "haskell", + "ref": "1.6.1.1", "repo": "haskell-language-server", "type": "github" } @@ -4544,16 +4120,15 @@ "haskell-language-server_3": { "flake": false, "locked": { - "lastModified": 1643835246, - "narHash": "sha256-5LQHcQmi3mUGRgJu+X/m3jeM3kdkYjLD+KwgnxBlbeU=", + "lastModified": 1645014262, + "narHash": "sha256-f49So1teiroV+S7sbGTK4AhzUOXpoiQ26/fTjdIKkqc=", "owner": "haskell", "repo": "haskell-language-server", - "rev": "024ddc8b3904f8b8e8fe67ba6b9ebd8a4bd7ce76", + "rev": "96ea854debd92f9a54e2270b9b9a080c0ce6f3d1", "type": "github" }, "original": { "owner": "haskell", - "ref": "1.6.1.1", "repo": "haskell-language-server", "type": "github" } @@ -4561,15 +4136,16 @@ "haskell-language-server_4": { "flake": false, "locked": { - "lastModified": 1645014262, - "narHash": "sha256-f49So1teiroV+S7sbGTK4AhzUOXpoiQ26/fTjdIKkqc=", + "lastModified": 1643835246, + "narHash": "sha256-5LQHcQmi3mUGRgJu+X/m3jeM3kdkYjLD+KwgnxBlbeU=", "owner": "haskell", "repo": "haskell-language-server", - "rev": "96ea854debd92f9a54e2270b9b9a080c0ce6f3d1", + "rev": "024ddc8b3904f8b8e8fe67ba6b9ebd8a4bd7ce76", "type": "github" }, "original": { "owner": "haskell", + "ref": "1.6.1.1", "repo": "haskell-language-server", "type": "github" } @@ -4577,16 +4153,15 @@ "haskell-language-server_5": { "flake": false, "locked": { - "lastModified": 1643835246, - "narHash": "sha256-5LQHcQmi3mUGRgJu+X/m3jeM3kdkYjLD+KwgnxBlbeU=", + "lastModified": 1645014262, + "narHash": "sha256-f49So1teiroV+S7sbGTK4AhzUOXpoiQ26/fTjdIKkqc=", "owner": "haskell", "repo": "haskell-language-server", - "rev": "024ddc8b3904f8b8e8fe67ba6b9ebd8a4bd7ce76", + "rev": "96ea854debd92f9a54e2270b9b9a080c0ce6f3d1", "type": "github" }, "original": { "owner": "haskell", - "ref": "1.6.1.1", "repo": "haskell-language-server", "type": "github" } @@ -4594,37 +4169,21 @@ "haskell-language-server_6": { "flake": false, "locked": { - "lastModified": 1645014262, - "narHash": "sha256-f49So1teiroV+S7sbGTK4AhzUOXpoiQ26/fTjdIKkqc=", + "lastModified": 1643835246, + "narHash": "sha256-5LQHcQmi3mUGRgJu+X/m3jeM3kdkYjLD+KwgnxBlbeU=", "owner": "haskell", "repo": "haskell-language-server", - "rev": "96ea854debd92f9a54e2270b9b9a080c0ce6f3d1", + "rev": "024ddc8b3904f8b8e8fe67ba6b9ebd8a4bd7ce76", "type": "github" }, "original": { "owner": "haskell", + "ref": "1.6.1.1", "repo": "haskell-language-server", "type": "github" } }, "haskell-language-server_7": { - "flake": false, - "locked": { - "lastModified": 1643835246, - "narHash": "sha256-5LQHcQmi3mUGRgJu+X/m3jeM3kdkYjLD+KwgnxBlbeU=", - "owner": "haskell", - "repo": "haskell-language-server", - "rev": "024ddc8b3904f8b8e8fe67ba6b9ebd8a4bd7ce76", - "type": "github" - }, - "original": { - "owner": "haskell", - "ref": "1.6.1.1", - "repo": "haskell-language-server", - "type": "github" - } - }, - "haskell-language-server_8": { "flake": false, "locked": { "lastModified": 1645014262, @@ -4640,7 +4199,7 @@ "type": "github" } }, - "haskell-language-server_9": { + "haskell-language-server_8": { "flake": false, "locked": { "lastModified": 1643835246, @@ -4657,6 +4216,22 @@ "type": "github" } }, + "haskell-language-server_9": { + "flake": false, + "locked": { + "lastModified": 1645014262, + "narHash": "sha256-f49So1teiroV+S7sbGTK4AhzUOXpoiQ26/fTjdIKkqc=", + "owner": "haskell", + "repo": "haskell-language-server", + "rev": "96ea854debd92f9a54e2270b9b9a080c0ce6f3d1", + "type": "github" + }, + "original": { + "owner": "haskell", + "repo": "haskell-language-server", + "type": "github" + } + }, "haskell-nix": { "inputs": { "HTTP": "HTTP", @@ -4664,29 +4239,47 @@ "cabal-34": "cabal-34", "cabal-36": "cabal-36", "cardano-shell": "cardano-shell", - "flake-utils": "flake-utils", + "flake-utils": "flake-utils_6", "ghc-8.6.5-iohk": "ghc-8.6.5-iohk", "hackage": "hackage", "hpc-coveralls": "hpc-coveralls", "nix-tools": "nix-tools", "nixpkgs": [ - "apropos", + "liqwid-plutarch-extra", + "plutarch", "haskell-nix", - "nixpkgs-2105" + "nixpkgs-unstable" ], "nixpkgs-2003": "nixpkgs-2003", "nixpkgs-2105": "nixpkgs-2105", - "nixpkgs-2111": "nixpkgs-2111", + "nixpkgs-2111": "nixpkgs-2111_2", "nixpkgs-unstable": "nixpkgs-unstable", "old-ghc-nix": "old-ghc-nix", "stackage": "stackage" }, "locked": { - "lastModified": 1646278384, - "narHash": "sha256-Gv1Ws3vAojjvjATcsvwAOTuOhzpxwt6tBci7EBaXxU4=", + "lastModified": 1644944726, + "narHash": "sha256-jJWdP/3Ne1y1akC3m9rSO5ItRoBc4UTdVQZBCuPmmrM=", + "owner": "L-as", + "repo": "haskell.nix", + "rev": "45c583b5580c130487eb5a342679f0bdbc2b23fc", + "type": "github" + }, + "original": { + "owner": "L-as", + "ref": "master", + "repo": "haskell.nix", + "type": "github" + } + }, + "haskell-nix_10": { + "flake": false, + "locked": { + "lastModified": 1629380841, + "narHash": "sha256-gWOWCfX7IgVSvMMYN6rBGK6EA0pk6pmYguXzMvGte+Q=", "owner": "input-output-hk", "repo": "haskell.nix", - "rev": "7e06e14ae1b894445254fe41288bfa7dd4ccbc6f", + "rev": "7215f083b37741446aa325b20c8ba9f9f76015eb", "type": "github" }, "original": { @@ -4695,27 +4288,28 @@ "type": "github" } }, - "haskell-nix_10": { + "haskell-nix_11": { "inputs": { "HTTP": "HTTP_6", "cabal-32": "cabal-32_6", "cabal-34": "cabal-34_6", - "cabal-36": "cabal-36_5", + "cabal-36": "cabal-36_6", "cardano-shell": "cardano-shell_6", - "flake-utils": "flake-utils_21", + "flake-utils": "flake-utils_31", "ghc-8.6.5-iohk": "ghc-8.6.5-iohk_6", "hackage": "hackage_6", "hpc-coveralls": "hpc-coveralls_6", "nix-tools": "nix-tools_6", "nixpkgs": [ - "plutarch-numeric", + "plutarch-safe-money", + "liqwid-plutarch-extra", "plutarch", "haskell-nix", "nixpkgs-unstable" ], "nixpkgs-2003": "nixpkgs-2003_6", "nixpkgs-2105": "nixpkgs-2105_6", - "nixpkgs-2111": "nixpkgs-2111_10", + "nixpkgs-2111": "nixpkgs-2111_12", "nixpkgs-unstable": "nixpkgs-unstable_6", "old-ghc-nix": "old-ghc-nix_6", "stackage": "stackage_6" @@ -4735,7 +4329,7 @@ "type": "github" } }, - "haskell-nix_11": { + "haskell-nix_12": { "flake": false, "locked": { "lastModified": 1629380841, @@ -4751,27 +4345,27 @@ "type": "github" } }, - "haskell-nix_12": { + "haskell-nix_13": { "inputs": { "HTTP": "HTTP_7", "cabal-32": "cabal-32_7", "cabal-34": "cabal-34_7", - "cabal-36": "cabal-36_6", + "cabal-36": "cabal-36_7", "cardano-shell": "cardano-shell_7", - "flake-utils": "flake-utils_27", + "flake-utils": "flake-utils_37", "ghc-8.6.5-iohk": "ghc-8.6.5-iohk_7", "hackage": "hackage_7", "hpc-coveralls": "hpc-coveralls_7", "nix-tools": "nix-tools_7", "nixpkgs": [ - "plutarch-quickcheck", + "plutarch-safe-money", "plutarch", "haskell-nix", "nixpkgs-unstable" ], "nixpkgs-2003": "nixpkgs-2003_7", "nixpkgs-2105": "nixpkgs-2105_7", - "nixpkgs-2111": "nixpkgs-2111_12", + "nixpkgs-2111": "nixpkgs-2111_14", "nixpkgs-unstable": "nixpkgs-unstable_7", "old-ghc-nix": "old-ghc-nix_7", "stackage": "stackage_7" @@ -4791,7 +4385,7 @@ "type": "github" } }, - "haskell-nix_13": { + "haskell-nix_14": { "flake": false, "locked": { "lastModified": 1629380841, @@ -4807,28 +4401,28 @@ "type": "github" } }, - "haskell-nix_14": { + "haskell-nix_15": { "inputs": { "HTTP": "HTTP_8", "cabal-32": "cabal-32_8", "cabal-34": "cabal-34_8", - "cabal-36": "cabal-36_7", + "cabal-36": "cabal-36_8", "cardano-shell": "cardano-shell_8", - "flake-utils": "flake-utils_33", + "flake-utils": "flake-utils_43", "ghc-8.6.5-iohk": "ghc-8.6.5-iohk_8", "hackage": "hackage_8", "hpc-coveralls": "hpc-coveralls_8", "nix-tools": "nix-tools_8", "nixpkgs": [ "plutarch-safe-money", - "liqwid-plutarch-extra", + "plutarch-numeric", "plutarch", "haskell-nix", "nixpkgs-unstable" ], "nixpkgs-2003": "nixpkgs-2003_8", "nixpkgs-2105": "nixpkgs-2105_8", - "nixpkgs-2111": "nixpkgs-2111_14", + "nixpkgs-2111": "nixpkgs-2111_16", "nixpkgs-unstable": "nixpkgs-unstable_8", "old-ghc-nix": "old-ghc-nix_8", "stackage": "stackage_8" @@ -4848,120 +4442,7 @@ "type": "github" } }, - "haskell-nix_15": { - "flake": false, - "locked": { - "lastModified": 1629380841, - "narHash": "sha256-gWOWCfX7IgVSvMMYN6rBGK6EA0pk6pmYguXzMvGte+Q=", - "owner": "input-output-hk", - "repo": "haskell.nix", - "rev": "7215f083b37741446aa325b20c8ba9f9f76015eb", - "type": "github" - }, - "original": { - "owner": "input-output-hk", - "repo": "haskell.nix", - "type": "github" - } - }, "haskell-nix_16": { - "inputs": { - "HTTP": "HTTP_9", - "cabal-32": "cabal-32_9", - "cabal-34": "cabal-34_9", - "cabal-36": "cabal-36_8", - "cardano-shell": "cardano-shell_9", - "flake-utils": "flake-utils_39", - "ghc-8.6.5-iohk": "ghc-8.6.5-iohk_9", - "hackage": "hackage_9", - "hpc-coveralls": "hpc-coveralls_9", - "nix-tools": "nix-tools_9", - "nixpkgs": [ - "plutarch-safe-money", - "plutarch", - "haskell-nix", - "nixpkgs-unstable" - ], - "nixpkgs-2003": "nixpkgs-2003_9", - "nixpkgs-2105": "nixpkgs-2105_9", - "nixpkgs-2111": "nixpkgs-2111_16", - "nixpkgs-unstable": "nixpkgs-unstable_9", - "old-ghc-nix": "old-ghc-nix_9", - "stackage": "stackage_9" - }, - "locked": { - "lastModified": 1644944726, - "narHash": "sha256-jJWdP/3Ne1y1akC3m9rSO5ItRoBc4UTdVQZBCuPmmrM=", - "owner": "L-as", - "repo": "haskell.nix", - "rev": "45c583b5580c130487eb5a342679f0bdbc2b23fc", - "type": "github" - }, - "original": { - "owner": "L-as", - "ref": "master", - "repo": "haskell.nix", - "type": "github" - } - }, - "haskell-nix_17": { - "flake": false, - "locked": { - "lastModified": 1629380841, - "narHash": "sha256-gWOWCfX7IgVSvMMYN6rBGK6EA0pk6pmYguXzMvGte+Q=", - "owner": "input-output-hk", - "repo": "haskell.nix", - "rev": "7215f083b37741446aa325b20c8ba9f9f76015eb", - "type": "github" - }, - "original": { - "owner": "input-output-hk", - "repo": "haskell.nix", - "type": "github" - } - }, - "haskell-nix_18": { - "inputs": { - "HTTP": "HTTP_10", - "cabal-32": "cabal-32_10", - "cabal-34": "cabal-34_10", - "cabal-36": "cabal-36_9", - "cardano-shell": "cardano-shell_10", - "flake-utils": "flake-utils_45", - "ghc-8.6.5-iohk": "ghc-8.6.5-iohk_10", - "hackage": "hackage_10", - "hpc-coveralls": "hpc-coveralls_10", - "nix-tools": "nix-tools_10", - "nixpkgs": [ - "plutarch-safe-money", - "plutarch-numeric", - "plutarch", - "haskell-nix", - "nixpkgs-unstable" - ], - "nixpkgs-2003": "nixpkgs-2003_10", - "nixpkgs-2105": "nixpkgs-2105_10", - "nixpkgs-2111": "nixpkgs-2111_18", - "nixpkgs-unstable": "nixpkgs-unstable_10", - "old-ghc-nix": "old-ghc-nix_10", - "stackage": "stackage_10" - }, - "locked": { - "lastModified": 1644944726, - "narHash": "sha256-jJWdP/3Ne1y1akC3m9rSO5ItRoBc4UTdVQZBCuPmmrM=", - "owner": "L-as", - "repo": "haskell.nix", - "rev": "45c583b5580c130487eb5a342679f0bdbc2b23fc", - "type": "github" - }, - "original": { - "owner": "L-as", - "ref": "master", - "repo": "haskell.nix", - "type": "github" - } - }, - "haskell-nix_19": { "flake": false, "locked": { "lastModified": 1629380841, @@ -4978,43 +4459,6 @@ } }, "haskell-nix_2": { - "inputs": { - "HTTP": "HTTP_2", - "cabal-32": "cabal-32_2", - "cabal-34": "cabal-34_2", - "cardano-shell": "cardano-shell_2", - "flake-utils": "flake-utils_2", - "ghc-8.6.5-iohk": "ghc-8.6.5-iohk_2", - "hackage": "hackage_2", - "hpc-coveralls": "hpc-coveralls_2", - "nix-tools": "nix-tools_2", - "nixpkgs": [ - "apropos-tx", - "haskell-nix", - "nixpkgs-2105" - ], - "nixpkgs-2003": "nixpkgs-2003_2", - "nixpkgs-2105": "nixpkgs-2105_2", - "nixpkgs-2111": "nixpkgs-2111_2", - "nixpkgs-unstable": "nixpkgs-unstable_2", - "old-ghc-nix": "old-ghc-nix_2", - "stackage": "stackage_2" - }, - "locked": { - "lastModified": 1639371915, - "narHash": "sha256-i5kW3hPptzXwzkpI2FAkfdDA/9QEDl/9mrwwoeBxDJg=", - "owner": "input-output-hk", - "repo": "haskell.nix", - "rev": "e95a1f0dacbc64603c31d11e36e4ba1af8f0eb43", - "type": "github" - }, - "original": { - "owner": "input-output-hk", - "repo": "haskell.nix", - "type": "github" - } - }, - "haskell-nix_3": { "flake": false, "locked": { "lastModified": 1629380841, @@ -5030,27 +4474,82 @@ "type": "github" } }, + "haskell-nix_3": { + "inputs": { + "HTTP": "HTTP_2", + "cabal-32": "cabal-32_2", + "cabal-34": "cabal-34_2", + "cabal-36": "cabal-36_2", + "cardano-shell": "cardano-shell_2", + "flake-utils": "flake-utils_7", + "ghc-8.6.5-iohk": "ghc-8.6.5-iohk_2", + "hackage": "hackage_2", + "hpc-coveralls": "hpc-coveralls_2", + "nix-tools": "nix-tools_2", + "nixpkgs": [ + "plutarch", + "haskell-nix", + "nixpkgs-unstable" + ], + "nixpkgs-2003": "nixpkgs-2003_2", + "nixpkgs-2105": "nixpkgs-2105_2", + "nixpkgs-2111": "nixpkgs-2111_4", + "nixpkgs-unstable": "nixpkgs-unstable_2", + "old-ghc-nix": "old-ghc-nix_2", + "stackage": "stackage_2" + }, + "locked": { + "lastModified": 1644944726, + "narHash": "sha256-jJWdP/3Ne1y1akC3m9rSO5ItRoBc4UTdVQZBCuPmmrM=", + "owner": "L-as", + "repo": "haskell.nix", + "rev": "45c583b5580c130487eb5a342679f0bdbc2b23fc", + "type": "github" + }, + "original": { + "owner": "L-as", + "ref": "master", + "repo": "haskell.nix", + "type": "github" + } + }, "haskell-nix_4": { + "flake": false, + "locked": { + "lastModified": 1629380841, + "narHash": "sha256-gWOWCfX7IgVSvMMYN6rBGK6EA0pk6pmYguXzMvGte+Q=", + "owner": "input-output-hk", + "repo": "haskell.nix", + "rev": "7215f083b37741446aa325b20c8ba9f9f76015eb", + "type": "github" + }, + "original": { + "owner": "input-output-hk", + "repo": "haskell.nix", + "type": "github" + } + }, + "haskell-nix_5": { "inputs": { "HTTP": "HTTP_3", "cabal-32": "cabal-32_3", "cabal-34": "cabal-34_3", - "cabal-36": "cabal-36_2", + "cabal-36": "cabal-36_3", "cardano-shell": "cardano-shell_3", - "flake-utils": "flake-utils_8", + "flake-utils": "flake-utils_13", "ghc-8.6.5-iohk": "ghc-8.6.5-iohk_3", "hackage": "hackage_3", "hpc-coveralls": "hpc-coveralls_3", "nix-tools": "nix-tools_3", "nixpkgs": [ - "liqwid-plutarch-extra", + "plutarch-context-builder", "plutarch", "haskell-nix", "nixpkgs-unstable" ], "nixpkgs-2003": "nixpkgs-2003_3", "nixpkgs-2105": "nixpkgs-2105_3", - "nixpkgs-2111": "nixpkgs-2111_4", + "nixpkgs-2111": "nixpkgs-2111_6", "nixpkgs-unstable": "nixpkgs-unstable_3", "old-ghc-nix": "old-ghc-nix_3", "stackage": "stackage_3" @@ -5070,7 +4569,7 @@ "type": "github" } }, - "haskell-nix_5": { + "haskell-nix_6": { "flake": false, "locked": { "lastModified": 1629380841, @@ -5086,26 +4585,27 @@ "type": "github" } }, - "haskell-nix_6": { + "haskell-nix_7": { "inputs": { "HTTP": "HTTP_4", "cabal-32": "cabal-32_4", "cabal-34": "cabal-34_4", - "cabal-36": "cabal-36_3", + "cabal-36": "cabal-36_4", "cardano-shell": "cardano-shell_4", - "flake-utils": "flake-utils_9", + "flake-utils": "flake-utils_19", "ghc-8.6.5-iohk": "ghc-8.6.5-iohk_4", "hackage": "hackage_4", "hpc-coveralls": "hpc-coveralls_4", "nix-tools": "nix-tools_4", "nixpkgs": [ + "plutarch-numeric", "plutarch", "haskell-nix", "nixpkgs-unstable" ], "nixpkgs-2003": "nixpkgs-2003_4", "nixpkgs-2105": "nixpkgs-2105_4", - "nixpkgs-2111": "nixpkgs-2111_6", + "nixpkgs-2111": "nixpkgs-2111_8", "nixpkgs-unstable": "nixpkgs-unstable_4", "old-ghc-nix": "old-ghc-nix_4", "stackage": "stackage_4" @@ -5125,7 +4625,7 @@ "type": "github" } }, - "haskell-nix_7": { + "haskell-nix_8": { "flake": false, "locked": { "lastModified": 1629380841, @@ -5141,27 +4641,27 @@ "type": "github" } }, - "haskell-nix_8": { + "haskell-nix_9": { "inputs": { "HTTP": "HTTP_5", "cabal-32": "cabal-32_5", "cabal-34": "cabal-34_5", - "cabal-36": "cabal-36_4", + "cabal-36": "cabal-36_5", "cardano-shell": "cardano-shell_5", - "flake-utils": "flake-utils_15", + "flake-utils": "flake-utils_25", "ghc-8.6.5-iohk": "ghc-8.6.5-iohk_5", "hackage": "hackage_5", "hpc-coveralls": "hpc-coveralls_5", "nix-tools": "nix-tools_5", "nixpkgs": [ - "plutarch-context-builder", + "plutarch-quickcheck", "plutarch", "haskell-nix", "nixpkgs-unstable" ], "nixpkgs-2003": "nixpkgs-2003_5", "nixpkgs-2105": "nixpkgs-2105_5", - "nixpkgs-2111": "nixpkgs-2111_8", + "nixpkgs-2111": "nixpkgs-2111_10", "nixpkgs-unstable": "nixpkgs-unstable_5", "old-ghc-nix": "old-ghc-nix_5", "stackage": "stackage_5" @@ -5181,44 +4681,28 @@ "type": "github" } }, - "haskell-nix_9": { - "flake": false, - "locked": { - "lastModified": 1629380841, - "narHash": "sha256-gWOWCfX7IgVSvMMYN6rBGK6EA0pk6pmYguXzMvGte+Q=", - "owner": "input-output-hk", - "repo": "haskell.nix", - "rev": "7215f083b37741446aa325b20c8ba9f9f76015eb", - "type": "github" - }, - "original": { - "owner": "input-output-hk", - "repo": "haskell.nix", - "type": "github" - } - }, "haskellNix": { "inputs": { - "HTTP": "HTTP_11", - "cabal-32": "cabal-32_11", - "cabal-34": "cabal-34_11", - "cardano-shell": "cardano-shell_11", - "flake-utils": "flake-utils_47", - "ghc-8.6.5-iohk": "ghc-8.6.5-iohk_11", - "hackage": "hackage_11", - "hpc-coveralls": "hpc-coveralls_11", - "nix-tools": "nix-tools_11", + "HTTP": "HTTP_9", + "cabal-32": "cabal-32_9", + "cabal-34": "cabal-34_9", + "cardano-shell": "cardano-shell_9", + "flake-utils": "flake-utils_45", + "ghc-8.6.5-iohk": "ghc-8.6.5-iohk_9", + "hackage": "hackage_9", + "hpc-coveralls": "hpc-coveralls_9", + "nix-tools": "nix-tools_9", "nixpkgs": [ "purescript-bridge", "haskellNix", "nixpkgs-2105" ], - "nixpkgs-2003": "nixpkgs-2003_11", + "nixpkgs-2003": "nixpkgs-2003_9", "nixpkgs-2009": "nixpkgs-2009", - "nixpkgs-2105": "nixpkgs-2105_11", - "nixpkgs-unstable": "nixpkgs-unstable_11", - "old-ghc-nix": "old-ghc-nix_11", - "stackage": "stackage_11" + "nixpkgs-2105": "nixpkgs-2105_9", + "nixpkgs-unstable": "nixpkgs-unstable_9", + "old-ghc-nix": "old-ghc-nix_9", + "stackage": "stackage_9" }, "locked": { "lastModified": 1633435111, @@ -5355,7 +4839,7 @@ }, "hercules-ci-effects": { "inputs": { - "nixpkgs": "nixpkgs_6" + "nixpkgs": "nixpkgs_5" }, "locked": { "lastModified": 1647711660, @@ -5373,7 +4857,7 @@ }, "hercules-ci-effects_2": { "inputs": { - "nixpkgs": "nixpkgs_8" + "nixpkgs": "nixpkgs_7" }, "locked": { "lastModified": 1647711660, @@ -5391,7 +4875,7 @@ }, "hercules-ci-effects_3": { "inputs": { - "nixpkgs": "nixpkgs_14" + "nixpkgs": "nixpkgs_13" }, "locked": { "lastModified": 1647711660, @@ -5409,7 +4893,7 @@ }, "hercules-ci-effects_4": { "inputs": { - "nixpkgs": "nixpkgs_20" + "nixpkgs": "nixpkgs_19" }, "locked": { "lastModified": 1647711660, @@ -5427,7 +4911,7 @@ }, "hercules-ci-effects_5": { "inputs": { - "nixpkgs": "nixpkgs_26" + "nixpkgs": "nixpkgs_25" }, "locked": { "lastModified": 1647711660, @@ -5445,7 +4929,7 @@ }, "hercules-ci-effects_6": { "inputs": { - "nixpkgs": "nixpkgs_32" + "nixpkgs": "nixpkgs_31" }, "locked": { "lastModified": 1647711660, @@ -5463,7 +4947,7 @@ }, "hercules-ci-effects_7": { "inputs": { - "nixpkgs": "nixpkgs_38" + "nixpkgs": "nixpkgs_37" }, "locked": { "lastModified": 1647711660, @@ -5481,7 +4965,7 @@ }, "hercules-ci-effects_8": { "inputs": { - "nixpkgs": "nixpkgs_44" + "nixpkgs": "nixpkgs_43" }, "locked": { "lastModified": 1647711660, @@ -5513,38 +4997,6 @@ "type": "github" } }, - "hpc-coveralls_10": { - "flake": false, - "locked": { - "lastModified": 1607498076, - "narHash": "sha256-8uqsEtivphgZWYeUo5RDUhp6bO9j2vaaProQxHBltQk=", - "owner": "sevanspowell", - "repo": "hpc-coveralls", - "rev": "14df0f7d229f4cd2e79f8eabb1a740097fdfa430", - "type": "github" - }, - "original": { - "owner": "sevanspowell", - "repo": "hpc-coveralls", - "type": "github" - } - }, - "hpc-coveralls_11": { - "flake": false, - "locked": { - "lastModified": 1607498076, - "narHash": "sha256-8uqsEtivphgZWYeUo5RDUhp6bO9j2vaaProQxHBltQk=", - "owner": "sevanspowell", - "repo": "hpc-coveralls", - "rev": "14df0f7d229f4cd2e79f8eabb1a740097fdfa430", - "type": "github" - }, - "original": { - "owner": "sevanspowell", - "repo": "hpc-coveralls", - "type": "github" - } - }, "hpc-coveralls_2": { "flake": false, "locked": { @@ -6204,11 +5656,11 @@ "iohk-nix": { "flake": false, "locked": { - "lastModified": 1626953580, - "narHash": "sha256-iEI9aTOaZMGsjWzcrctrC0usmiagwKT2v1LSDe9/tMU=", + "lastModified": 1643251385, + "narHash": "sha256-Czbd69lg0ARSZfC18V6h+gtPMioWDAEVPbiHgL2x9LM=", "owner": "input-output-hk", "repo": "iohk-nix", - "rev": "cbd497f5844249ef8fe617166337d59f2a6ebe90", + "rev": "9d6ee3dcb3482f791e40ed991ad6fc649b343ad4", "type": "github" }, "original": { @@ -6220,11 +5672,11 @@ "iohk-nix_10": { "flake": false, "locked": { - "lastModified": 1643251385, - "narHash": "sha256-Czbd69lg0ARSZfC18V6h+gtPMioWDAEVPbiHgL2x9LM=", + "lastModified": 1626953580, + "narHash": "sha256-iEI9aTOaZMGsjWzcrctrC0usmiagwKT2v1LSDe9/tMU=", "owner": "input-output-hk", "repo": "iohk-nix", - "rev": "9d6ee3dcb3482f791e40ed991ad6fc649b343ad4", + "rev": "cbd497f5844249ef8fe617166337d59f2a6ebe90", "type": "github" }, "original": { @@ -6236,11 +5688,11 @@ "iohk-nix_11": { "flake": false, "locked": { - "lastModified": 1626953580, - "narHash": "sha256-iEI9aTOaZMGsjWzcrctrC0usmiagwKT2v1LSDe9/tMU=", + "lastModified": 1643251385, + "narHash": "sha256-Czbd69lg0ARSZfC18V6h+gtPMioWDAEVPbiHgL2x9LM=", "owner": "input-output-hk", "repo": "iohk-nix", - "rev": "cbd497f5844249ef8fe617166337d59f2a6ebe90", + "rev": "9d6ee3dcb3482f791e40ed991ad6fc649b343ad4", "type": "github" }, "original": { @@ -6252,11 +5704,11 @@ "iohk-nix_12": { "flake": false, "locked": { - "lastModified": 1643251385, - "narHash": "sha256-Czbd69lg0ARSZfC18V6h+gtPMioWDAEVPbiHgL2x9LM=", + "lastModified": 1626953580, + "narHash": "sha256-iEI9aTOaZMGsjWzcrctrC0usmiagwKT2v1LSDe9/tMU=", "owner": "input-output-hk", "repo": "iohk-nix", - "rev": "9d6ee3dcb3482f791e40ed991ad6fc649b343ad4", + "rev": "cbd497f5844249ef8fe617166337d59f2a6ebe90", "type": "github" }, "original": { @@ -6268,11 +5720,11 @@ "iohk-nix_13": { "flake": false, "locked": { - "lastModified": 1626953580, - "narHash": "sha256-iEI9aTOaZMGsjWzcrctrC0usmiagwKT2v1LSDe9/tMU=", + "lastModified": 1643251385, + "narHash": "sha256-Czbd69lg0ARSZfC18V6h+gtPMioWDAEVPbiHgL2x9LM=", "owner": "input-output-hk", "repo": "iohk-nix", - "rev": "cbd497f5844249ef8fe617166337d59f2a6ebe90", + "rev": "9d6ee3dcb3482f791e40ed991ad6fc649b343ad4", "type": "github" }, "original": { @@ -6282,22 +5734,6 @@ } }, "iohk-nix_14": { - "flake": false, - "locked": { - "lastModified": 1643251385, - "narHash": "sha256-Czbd69lg0ARSZfC18V6h+gtPMioWDAEVPbiHgL2x9LM=", - "owner": "input-output-hk", - "repo": "iohk-nix", - "rev": "9d6ee3dcb3482f791e40ed991ad6fc649b343ad4", - "type": "github" - }, - "original": { - "owner": "input-output-hk", - "repo": "iohk-nix", - "type": "github" - } - }, - "iohk-nix_15": { "flake": false, "locked": { "lastModified": 1626953580, @@ -6313,7 +5749,7 @@ "type": "github" } }, - "iohk-nix_16": { + "iohk-nix_15": { "flake": false, "locked": { "lastModified": 1643251385, @@ -6329,7 +5765,7 @@ "type": "github" } }, - "iohk-nix_17": { + "iohk-nix_16": { "flake": false, "locked": { "lastModified": 1626953580, @@ -6348,11 +5784,11 @@ "iohk-nix_2": { "flake": false, "locked": { - "lastModified": 1643251385, - "narHash": "sha256-Czbd69lg0ARSZfC18V6h+gtPMioWDAEVPbiHgL2x9LM=", + "lastModified": 1626953580, + "narHash": "sha256-iEI9aTOaZMGsjWzcrctrC0usmiagwKT2v1LSDe9/tMU=", "owner": "input-output-hk", "repo": "iohk-nix", - "rev": "9d6ee3dcb3482f791e40ed991ad6fc649b343ad4", + "rev": "cbd497f5844249ef8fe617166337d59f2a6ebe90", "type": "github" }, "original": { @@ -6364,11 +5800,11 @@ "iohk-nix_3": { "flake": false, "locked": { - "lastModified": 1626953580, - "narHash": "sha256-iEI9aTOaZMGsjWzcrctrC0usmiagwKT2v1LSDe9/tMU=", + "lastModified": 1643251385, + "narHash": "sha256-Czbd69lg0ARSZfC18V6h+gtPMioWDAEVPbiHgL2x9LM=", "owner": "input-output-hk", "repo": "iohk-nix", - "rev": "cbd497f5844249ef8fe617166337d59f2a6ebe90", + "rev": "9d6ee3dcb3482f791e40ed991ad6fc649b343ad4", "type": "github" }, "original": { @@ -6380,11 +5816,11 @@ "iohk-nix_4": { "flake": false, "locked": { - "lastModified": 1643251385, - "narHash": "sha256-Czbd69lg0ARSZfC18V6h+gtPMioWDAEVPbiHgL2x9LM=", + "lastModified": 1626953580, + "narHash": "sha256-iEI9aTOaZMGsjWzcrctrC0usmiagwKT2v1LSDe9/tMU=", "owner": "input-output-hk", "repo": "iohk-nix", - "rev": "9d6ee3dcb3482f791e40ed991ad6fc649b343ad4", + "rev": "cbd497f5844249ef8fe617166337d59f2a6ebe90", "type": "github" }, "original": { @@ -6396,11 +5832,11 @@ "iohk-nix_5": { "flake": false, "locked": { - "lastModified": 1626953580, - "narHash": "sha256-iEI9aTOaZMGsjWzcrctrC0usmiagwKT2v1LSDe9/tMU=", + "lastModified": 1643251385, + "narHash": "sha256-Czbd69lg0ARSZfC18V6h+gtPMioWDAEVPbiHgL2x9LM=", "owner": "input-output-hk", "repo": "iohk-nix", - "rev": "cbd497f5844249ef8fe617166337d59f2a6ebe90", + "rev": "9d6ee3dcb3482f791e40ed991ad6fc649b343ad4", "type": "github" }, "original": { @@ -6412,11 +5848,11 @@ "iohk-nix_6": { "flake": false, "locked": { - "lastModified": 1643251385, - "narHash": "sha256-Czbd69lg0ARSZfC18V6h+gtPMioWDAEVPbiHgL2x9LM=", + "lastModified": 1626953580, + "narHash": "sha256-iEI9aTOaZMGsjWzcrctrC0usmiagwKT2v1LSDe9/tMU=", "owner": "input-output-hk", "repo": "iohk-nix", - "rev": "9d6ee3dcb3482f791e40ed991ad6fc649b343ad4", + "rev": "cbd497f5844249ef8fe617166337d59f2a6ebe90", "type": "github" }, "original": { @@ -6426,22 +5862,6 @@ } }, "iohk-nix_7": { - "flake": false, - "locked": { - "lastModified": 1626953580, - "narHash": "sha256-iEI9aTOaZMGsjWzcrctrC0usmiagwKT2v1LSDe9/tMU=", - "owner": "input-output-hk", - "repo": "iohk-nix", - "rev": "cbd497f5844249ef8fe617166337d59f2a6ebe90", - "type": "github" - }, - "original": { - "owner": "input-output-hk", - "repo": "iohk-nix", - "type": "github" - } - }, - "iohk-nix_8": { "flake": false, "locked": { "lastModified": 1643251385, @@ -6457,7 +5877,7 @@ "type": "github" } }, - "iohk-nix_9": { + "iohk-nix_8": { "flake": false, "locked": { "lastModified": 1626953580, @@ -6473,6 +5893,22 @@ "type": "github" } }, + "iohk-nix_9": { + "flake": false, + "locked": { + "lastModified": 1643251385, + "narHash": "sha256-Czbd69lg0ARSZfC18V6h+gtPMioWDAEVPbiHgL2x9LM=", + "owner": "input-output-hk", + "repo": "iohk-nix", + "rev": "9d6ee3dcb3482f791e40ed991ad6fc649b343ad4", + "type": "github" + }, + "original": { + "owner": "input-output-hk", + "repo": "iohk-nix", + "type": "github" + } + }, "ixset-typed": { "flake": false, "locked": { @@ -6587,7 +6023,7 @@ }, "lint-utils": { "inputs": { - "flake-utils": "flake-utils_4", + "flake-utils": "flake-utils_2", "nixpkgs": [ "liqwid-plutarch-extra", "plutarch", @@ -6613,7 +6049,7 @@ }, "lint-utils_2": { "inputs": { - "flake-utils": "flake-utils_11", + "flake-utils": "flake-utils_9", "nixpkgs": [ "plutarch-context-builder", "plutarch", @@ -6639,7 +6075,7 @@ }, "lint-utils_3": { "inputs": { - "flake-utils": "flake-utils_17", + "flake-utils": "flake-utils_15", "nixpkgs": [ "plutarch-numeric", "plutarch", @@ -6665,7 +6101,7 @@ }, "lint-utils_4": { "inputs": { - "flake-utils": "flake-utils_23", + "flake-utils": "flake-utils_21", "nixpkgs": [ "plutarch-quickcheck", "plutarch", @@ -6691,7 +6127,7 @@ }, "lint-utils_5": { "inputs": { - "flake-utils": "flake-utils_29", + "flake-utils": "flake-utils_27", "nixpkgs": [ "plutarch-safe-money", "liqwid-plutarch-extra", @@ -6718,7 +6154,7 @@ }, "lint-utils_6": { "inputs": { - "flake-utils": "flake-utils_35", + "flake-utils": "flake-utils_33", "nixpkgs": [ "plutarch-safe-money", "plutarch", @@ -6744,7 +6180,7 @@ }, "lint-utils_7": { "inputs": { - "flake-utils": "flake-utils_41", + "flake-utils": "flake-utils_39", "nixpkgs": [ "plutarch-safe-money", "plutarch-numeric", @@ -6781,7 +6217,7 @@ "plutarch", "nixpkgs" ], - "nixpkgs-2111": "nixpkgs-2111_3", + "nixpkgs-2111": "nixpkgs-2111", "plutarch": "plutarch" }, "locked": { @@ -6813,7 +6249,7 @@ "plutarch", "nixpkgs" ], - "nixpkgs-2111": "nixpkgs-2111_13", + "nixpkgs-2111": "nixpkgs-2111_11", "plutarch": "plutarch_6" }, "locked": { @@ -6847,7 +6283,7 @@ "type": "github" } }, - "nix-tools_10": { + "nix-tools_2": { "flake": false, "locked": { "lastModified": 1644395812, @@ -6863,38 +6299,6 @@ "type": "github" } }, - "nix-tools_11": { - "flake": false, - "locked": { - "lastModified": 1627889534, - "narHash": "sha256-9eEbK2nrRp6rYGQoBv6LO9IA/ANZpofwAkxMuGBD45Y=", - "owner": "input-output-hk", - "repo": "nix-tools", - "rev": "15d2e4b61cb63ff351f3c490c12c4d89eafd31a1", - "type": "github" - }, - "original": { - "owner": "input-output-hk", - "repo": "nix-tools", - "type": "github" - } - }, - "nix-tools_2": { - "flake": false, - "locked": { - "lastModified": 1636018067, - "narHash": "sha256-ng306fkuwr6V/malWtt3979iAC4yMVDDH2ViwYB6sQE=", - "owner": "input-output-hk", - "repo": "nix-tools", - "rev": "ed5bd7215292deba55d6ab7a4e8c21f8b1564dda", - "type": "github" - }, - "original": { - "owner": "input-output-hk", - "repo": "nix-tools", - "type": "github" - } - }, "nix-tools_3": { "flake": false, "locked": { @@ -6994,11 +6398,11 @@ "nix-tools_9": { "flake": false, "locked": { - "lastModified": 1644395812, - "narHash": "sha256-BVFk/BEsTLq5MMZvdy3ZYHKfaS3dHrsKh4+tb5t5b58=", + "lastModified": 1627889534, + "narHash": "sha256-9eEbK2nrRp6rYGQoBv6LO9IA/ANZpofwAkxMuGBD45Y=", "owner": "input-output-hk", "repo": "nix-tools", - "rev": "d847c63b99bbec78bf83be2a61dc9f09b8a9ccc1", + "rev": "15d2e4b61cb63ff351f3c490c12c4d89eafd31a1", "type": "github" }, "original": { @@ -7008,19 +6412,18 @@ } }, "nixpkgs": { - "flake": false, "locked": { - "lastModified": 1628785280, - "narHash": "sha256-2B5eMrEr6O8ff2aQNeVxTB+9WrGE80OB4+oM6T7fOcc=", - "owner": "NixOS", + "lastModified": 1650882267, + "narHash": "sha256-BFKiz8srATQIBuFEN2HgS2EHisK29EjZ/HV34wSr2lU=", + "owner": "nixos", "repo": "nixpkgs", - "rev": "6525bbc06a39f26750ad8ee0d40000ddfdc24acb", + "rev": "2ea2f7b6d0cb7ce0712f2aa80303cda08deb0de2", "type": "github" }, "original": { - "owner": "NixOS", - "ref": "nixpkgs-unstable", + "owner": "nixos", "repo": "nixpkgs", + "rev": "2ea2f7b6d0cb7ce0712f2aa80303cda08deb0de2", "type": "github" } }, @@ -7040,38 +6443,6 @@ "type": "github" } }, - "nixpkgs-2003_10": { - "locked": { - "lastModified": 1620055814, - "narHash": "sha256-8LEHoYSJiL901bTMVatq+rf8y7QtWuZhwwpKE2fyaRY=", - "owner": "NixOS", - "repo": "nixpkgs", - "rev": "1db42b7fe3878f3f5f7a4f2dc210772fd080e205", - "type": "github" - }, - "original": { - "owner": "NixOS", - "ref": "nixpkgs-20.03-darwin", - "repo": "nixpkgs", - "type": "github" - } - }, - "nixpkgs-2003_11": { - "locked": { - "lastModified": 1620055814, - "narHash": "sha256-8LEHoYSJiL901bTMVatq+rf8y7QtWuZhwwpKE2fyaRY=", - "owner": "NixOS", - "repo": "nixpkgs", - "rev": "1db42b7fe3878f3f5f7a4f2dc210772fd080e205", - "type": "github" - }, - "original": { - "owner": "NixOS", - "ref": "nixpkgs-20.03-darwin", - "repo": "nixpkgs", - "type": "github" - } - }, "nixpkgs-2003_2": { "locked": { "lastModified": 1620055814, @@ -7232,7 +6603,7 @@ "type": "github" } }, - "nixpkgs-2105_10": { + "nixpkgs-2105_2": { "locked": { "lastModified": 1642244250, "narHash": "sha256-vWpUEqQdVP4srj+/YLJRTN9vjpTs4je0cdWKXPbDItc=", @@ -7248,38 +6619,6 @@ "type": "github" } }, - "nixpkgs-2105_11": { - "locked": { - "lastModified": 1630481079, - "narHash": "sha256-leWXLchbAbqOlLT6tju631G40SzQWPqaAXQG3zH1Imw=", - "owner": "NixOS", - "repo": "nixpkgs", - "rev": "110a2c9ebbf5d4a94486854f18a37a938cfacbbb", - "type": "github" - }, - "original": { - "owner": "NixOS", - "ref": "nixpkgs-21.05-darwin", - "repo": "nixpkgs", - "type": "github" - } - }, - "nixpkgs-2105_2": { - "locked": { - "lastModified": 1639202042, - "narHash": "sha256-xEMgCsIcDUQ0kw9xvqU0wObns580kpdcr1ACz83+gHs=", - "owner": "NixOS", - "repo": "nixpkgs", - "rev": "499ca2a9f6463ce119e40361f4329afa921a1d13", - "type": "github" - }, - "original": { - "owner": "NixOS", - "ref": "nixpkgs-21.05-darwin", - "repo": "nixpkgs", - "type": "github" - } - }, "nixpkgs-2105_3": { "locked": { "lastModified": 1642244250, @@ -7378,11 +6717,11 @@ }, "nixpkgs-2105_9": { "locked": { - "lastModified": 1642244250, - "narHash": "sha256-vWpUEqQdVP4srj+/YLJRTN9vjpTs4je0cdWKXPbDItc=", + "lastModified": 1630481079, + "narHash": "sha256-leWXLchbAbqOlLT6tju631G40SzQWPqaAXQG3zH1Imw=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "0fd9ee1aa36ce865ad273f4f07fdc093adeb5c00", + "rev": "110a2c9ebbf5d4a94486854f18a37a938cfacbbb", "type": "github" }, "original": { @@ -7394,11 +6733,11 @@ }, "nixpkgs-2111": { "locked": { - "lastModified": 1644510859, - "narHash": "sha256-xjpVvL5ecbyi0vxtVl/Fh9bwGlMbw3S06zE5nUzFB8A=", + "lastModified": 1653305485, + "narHash": "sha256-JIA2JHfjUVq9rLmVshnQOrUP+3tR4TFFEY2DDuclJnM=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "0d1d5d7e3679fec9d07f2eb804d9f9fdb98378d3", + "rev": "4cfde57fa833868781e0ba743a628d683adf96a8", "type": "github" }, "original": { @@ -7426,11 +6765,11 @@ }, "nixpkgs-2111_11": { "locked": { - "lastModified": 1652364845, - "narHash": "sha256-1pG2GR+z7IrUVGcMoTsH6nJ+ACMvBplo/Pyw4SXJDIE=", + "lastModified": 1653305485, + "narHash": "sha256-JIA2JHfjUVq9rLmVshnQOrUP+3tR4TFFEY2DDuclJnM=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "ee80943d4d1160f460e3d719222212dbfbc6a193", + "rev": "4cfde57fa833868781e0ba743a628d683adf96a8", "type": "github" }, "original": { @@ -7458,11 +6797,11 @@ }, "nixpkgs-2111_13": { "locked": { - "lastModified": 1653305485, - "narHash": "sha256-JIA2JHfjUVq9rLmVshnQOrUP+3tR4TFFEY2DDuclJnM=", + "lastModified": 1653319070, + "narHash": "sha256-Z3cv967iN6mXgxhq1cjOoPod23XgNttCWHXMnMZUq9E=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "4cfde57fa833868781e0ba743a628d683adf96a8", + "rev": "1c813bbdc330b45fe922c642eb610902aecd5673", "type": "github" }, "original": { @@ -7520,23 +6859,7 @@ "type": "github" } }, - "nixpkgs-2111_17": { - "locked": { - "lastModified": 1653319070, - "narHash": "sha256-Z3cv967iN6mXgxhq1cjOoPod23XgNttCWHXMnMZUq9E=", - "owner": "NixOS", - "repo": "nixpkgs", - "rev": "1c813bbdc330b45fe922c642eb610902aecd5673", - "type": "github" - }, - "original": { - "owner": "NixOS", - "ref": "nixpkgs-21.11-darwin", - "repo": "nixpkgs", - "type": "github" - } - }, - "nixpkgs-2111_18": { + "nixpkgs-2111_2": { "locked": { "lastModified": 1644510859, "narHash": "sha256-xjpVvL5ecbyi0vxtVl/Fh9bwGlMbw3S06zE5nUzFB8A=", @@ -7552,29 +6875,13 @@ "type": "github" } }, - "nixpkgs-2111_2": { - "locked": { - "lastModified": 1639213685, - "narHash": "sha256-Evuobw7o9uVjAZuwz06Al0fOWZ5JMKOktgXR0XgWBtg=", - "owner": "NixOS", - "repo": "nixpkgs", - "rev": "453bcb8380fd1777348245b3c44ce2a2b93b2e2d", - "type": "github" - }, - "original": { - "owner": "NixOS", - "ref": "nixpkgs-21.11-darwin", - "repo": "nixpkgs", - "type": "github" - } - }, "nixpkgs-2111_3": { "locked": { - "lastModified": 1653305485, - "narHash": "sha256-JIA2JHfjUVq9rLmVshnQOrUP+3tR4TFFEY2DDuclJnM=", + "lastModified": 1653830209, + "narHash": "sha256-V+HnLKJzvk2HZcLUKt9z2puZ46vLo74chOakxbLfXek=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "4cfde57fa833868781e0ba743a628d683adf96a8", + "rev": "cc257c49c495b2d0d7d40c5753a452d0abc8adf3", "type": "github" }, "original": { @@ -7602,11 +6909,11 @@ }, "nixpkgs-2111_5": { "locked": { - "lastModified": 1653830209, - "narHash": "sha256-V+HnLKJzvk2HZcLUKt9z2puZ46vLo74chOakxbLfXek=", + "lastModified": 1652298859, + "narHash": "sha256-hcwRboK+NxMWUJh0fQ3VsocDcAHrYJ95FmPEHlddV0Y=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "cc257c49c495b2d0d7d40c5753a452d0abc8adf3", + "rev": "051448e41537c3463ae776d46115d01afb6c498d", "type": "github" }, "original": { @@ -7634,11 +6941,11 @@ }, "nixpkgs-2111_7": { "locked": { - "lastModified": 1652298859, - "narHash": "sha256-hcwRboK+NxMWUJh0fQ3VsocDcAHrYJ95FmPEHlddV0Y=", + "lastModified": 1653319070, + "narHash": "sha256-Z3cv967iN6mXgxhq1cjOoPod23XgNttCWHXMnMZUq9E=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "051448e41537c3463ae776d46115d01afb6c498d", + "rev": "1c813bbdc330b45fe922c642eb610902aecd5673", "type": "github" }, "original": { @@ -7666,11 +6973,11 @@ }, "nixpkgs-2111_9": { "locked": { - "lastModified": 1653319070, - "narHash": "sha256-Z3cv967iN6mXgxhq1cjOoPod23XgNttCWHXMnMZUq9E=", + "lastModified": 1652364845, + "narHash": "sha256-1pG2GR+z7IrUVGcMoTsH6nJ+ACMvBplo/Pyw4SXJDIE=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "1c813bbdc330b45fe922c642eb610902aecd5673", + "rev": "ee80943d4d1160f460e3d719222212dbfbc6a193", "type": "github" }, "original": { @@ -7696,7 +7003,7 @@ "type": "github" } }, - "nixpkgs-unstable_10": { + "nixpkgs-unstable_2": { "locked": { "lastModified": 1644486793, "narHash": "sha256-EeijR4guVHgVv+JpOX3cQO+1XdrkJfGmiJ9XVsVU530=", @@ -7712,38 +7019,6 @@ "type": "github" } }, - "nixpkgs-unstable_11": { - "locked": { - "lastModified": 1628785280, - "narHash": "sha256-2B5eMrEr6O8ff2aQNeVxTB+9WrGE80OB4+oM6T7fOcc=", - "owner": "NixOS", - "repo": "nixpkgs", - "rev": "6525bbc06a39f26750ad8ee0d40000ddfdc24acb", - "type": "github" - }, - "original": { - "owner": "NixOS", - "ref": "nixpkgs-unstable", - "repo": "nixpkgs", - "type": "github" - } - }, - "nixpkgs-unstable_2": { - "locked": { - "lastModified": 1639239143, - "narHash": "sha256-9fFMUs6m3/4ZMflSqRgO4iEkBtFBnDyLWa3AB2tOvfs=", - "owner": "NixOS", - "repo": "nixpkgs", - "rev": "e6df26a654b7fdd59a068c57001eab5736b1363c", - "type": "github" - }, - "original": { - "owner": "NixOS", - "ref": "nixpkgs-unstable", - "repo": "nixpkgs", - "type": "github" - } - }, "nixpkgs-unstable_3": { "locked": { "lastModified": 1644486793, @@ -7842,11 +7117,11 @@ }, "nixpkgs-unstable_9": { "locked": { - "lastModified": 1644486793, - "narHash": "sha256-EeijR4guVHgVv+JpOX3cQO+1XdrkJfGmiJ9XVsVU530=", + "lastModified": 1628785280, + "narHash": "sha256-2B5eMrEr6O8ff2aQNeVxTB+9WrGE80OB4+oM6T7fOcc=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "1882c6b7368fd284ad01b0a5b5601ef136321292", + "rev": "6525bbc06a39f26750ad8ee0d40000ddfdc24acb", "type": "github" }, "original": { @@ -7858,53 +7133,37 @@ }, "nixpkgs_10": { "locked": { - "lastModified": 1650882267, - "narHash": "sha256-BFKiz8srATQIBuFEN2HgS2EHisK29EjZ/HV34wSr2lU=", + "lastModified": 1647350163, + "narHash": "sha256-OcMI+PFEHTONthXuEQNddt16Ml7qGvanL3x8QOl2Aao=", "owner": "nixos", "repo": "nixpkgs", - "rev": "2ea2f7b6d0cb7ce0712f2aa80303cda08deb0de2", + "rev": "3eb07eeafb52bcbf02ce800f032f18d666a9498d", "type": "github" }, "original": { "owner": "nixos", "repo": "nixpkgs", - "rev": "2ea2f7b6d0cb7ce0712f2aa80303cda08deb0de2", + "rev": "3eb07eeafb52bcbf02ce800f032f18d666a9498d", "type": "github" } }, "nixpkgs_11": { "locked": { - "lastModified": 1647350163, - "narHash": "sha256-OcMI+PFEHTONthXuEQNddt16Ml7qGvanL3x8QOl2Aao=", + "lastModified": 1649456639, + "narHash": "sha256-rZCjaEAZgOtT9kYTBigksof64SqKAXOuoHhlzHvfl0E=", "owner": "nixos", "repo": "nixpkgs", - "rev": "3eb07eeafb52bcbf02ce800f032f18d666a9498d", + "rev": "c48167590e3258daac6ab12a41bc2b7341e9b2ec", "type": "github" }, "original": { "owner": "nixos", "repo": "nixpkgs", - "rev": "3eb07eeafb52bcbf02ce800f032f18d666a9498d", + "rev": "c48167590e3258daac6ab12a41bc2b7341e9b2ec", "type": "github" } }, "nixpkgs_12": { - "locked": { - "lastModified": 1649456639, - "narHash": "sha256-rZCjaEAZgOtT9kYTBigksof64SqKAXOuoHhlzHvfl0E=", - "owner": "nixos", - "repo": "nixpkgs", - "rev": "c48167590e3258daac6ab12a41bc2b7341e9b2ec", - "type": "github" - }, - "original": { - "owner": "nixos", - "repo": "nixpkgs", - "rev": "c48167590e3258daac6ab12a41bc2b7341e9b2ec", - "type": "github" - } - }, - "nixpkgs_13": { "locked": { "lastModified": 1648219316, "narHash": "sha256-Ctij+dOi0ZZIfX5eMhgwugfvB+WZSrvVNAyAuANOsnQ=", @@ -7918,7 +7177,7 @@ "type": "indirect" } }, - "nixpkgs_14": { + "nixpkgs_13": { "locked": { "lastModified": 1647297614, "narHash": "sha256-ulGq3W5XsrBMU/u5k9d4oPy65pQTkunR4HKKtTq0RwY=", @@ -7934,72 +7193,72 @@ "type": "github" } }, + "nixpkgs_14": { + "flake": false, + "locked": { + "lastModified": 1628785280, + "narHash": "sha256-2B5eMrEr6O8ff2aQNeVxTB+9WrGE80OB4+oM6T7fOcc=", + "owner": "NixOS", + "repo": "nixpkgs", + "rev": "6525bbc06a39f26750ad8ee0d40000ddfdc24acb", + "type": "github" + }, + "original": { + "owner": "NixOS", + "ref": "nixpkgs-unstable", + "repo": "nixpkgs", + "type": "github" + } + }, "nixpkgs_15": { - "flake": false, "locked": { - "lastModified": 1628785280, - "narHash": "sha256-2B5eMrEr6O8ff2aQNeVxTB+9WrGE80OB4+oM6T7fOcc=", - "owner": "NixOS", + "lastModified": 1650882267, + "narHash": "sha256-BFKiz8srATQIBuFEN2HgS2EHisK29EjZ/HV34wSr2lU=", + "owner": "nixos", "repo": "nixpkgs", - "rev": "6525bbc06a39f26750ad8ee0d40000ddfdc24acb", + "rev": "2ea2f7b6d0cb7ce0712f2aa80303cda08deb0de2", "type": "github" }, "original": { - "owner": "NixOS", - "ref": "nixpkgs-unstable", + "owner": "nixos", "repo": "nixpkgs", + "rev": "2ea2f7b6d0cb7ce0712f2aa80303cda08deb0de2", "type": "github" } }, "nixpkgs_16": { "locked": { - "lastModified": 1650882267, - "narHash": "sha256-BFKiz8srATQIBuFEN2HgS2EHisK29EjZ/HV34wSr2lU=", + "lastModified": 1647350163, + "narHash": "sha256-OcMI+PFEHTONthXuEQNddt16Ml7qGvanL3x8QOl2Aao=", "owner": "nixos", "repo": "nixpkgs", - "rev": "2ea2f7b6d0cb7ce0712f2aa80303cda08deb0de2", + "rev": "3eb07eeafb52bcbf02ce800f032f18d666a9498d", "type": "github" }, "original": { "owner": "nixos", "repo": "nixpkgs", - "rev": "2ea2f7b6d0cb7ce0712f2aa80303cda08deb0de2", + "rev": "3eb07eeafb52bcbf02ce800f032f18d666a9498d", "type": "github" } }, "nixpkgs_17": { "locked": { - "lastModified": 1647350163, - "narHash": "sha256-OcMI+PFEHTONthXuEQNddt16Ml7qGvanL3x8QOl2Aao=", + "lastModified": 1649456639, + "narHash": "sha256-rZCjaEAZgOtT9kYTBigksof64SqKAXOuoHhlzHvfl0E=", "owner": "nixos", "repo": "nixpkgs", - "rev": "3eb07eeafb52bcbf02ce800f032f18d666a9498d", + "rev": "c48167590e3258daac6ab12a41bc2b7341e9b2ec", "type": "github" }, "original": { "owner": "nixos", "repo": "nixpkgs", - "rev": "3eb07eeafb52bcbf02ce800f032f18d666a9498d", + "rev": "c48167590e3258daac6ab12a41bc2b7341e9b2ec", "type": "github" } }, "nixpkgs_18": { - "locked": { - "lastModified": 1649456639, - "narHash": "sha256-rZCjaEAZgOtT9kYTBigksof64SqKAXOuoHhlzHvfl0E=", - "owner": "nixos", - "repo": "nixpkgs", - "rev": "c48167590e3258daac6ab12a41bc2b7341e9b2ec", - "type": "github" - }, - "original": { - "owner": "nixos", - "repo": "nixpkgs", - "rev": "c48167590e3258daac6ab12a41bc2b7341e9b2ec", - "type": "github" - } - }, - "nixpkgs_19": { "locked": { "lastModified": 1648219316, "narHash": "sha256-Ctij+dOi0ZZIfX5eMhgwugfvB+WZSrvVNAyAuANOsnQ=", @@ -8013,23 +7272,7 @@ "type": "indirect" } }, - "nixpkgs_2": { - "locked": { - "lastModified": 1650882267, - "narHash": "sha256-BFKiz8srATQIBuFEN2HgS2EHisK29EjZ/HV34wSr2lU=", - "owner": "nixos", - "repo": "nixpkgs", - "rev": "2ea2f7b6d0cb7ce0712f2aa80303cda08deb0de2", - "type": "github" - }, - "original": { - "owner": "nixos", - "repo": "nixpkgs", - "rev": "2ea2f7b6d0cb7ce0712f2aa80303cda08deb0de2", - "type": "github" - } - }, - "nixpkgs_20": { + "nixpkgs_19": { "locked": { "lastModified": 1647297614, "narHash": "sha256-ulGq3W5XsrBMU/u5k9d4oPy65pQTkunR4HKKtTq0RwY=", @@ -8045,72 +7288,88 @@ "type": "github" } }, + "nixpkgs_2": { + "locked": { + "lastModified": 1647350163, + "narHash": "sha256-OcMI+PFEHTONthXuEQNddt16Ml7qGvanL3x8QOl2Aao=", + "owner": "nixos", + "repo": "nixpkgs", + "rev": "3eb07eeafb52bcbf02ce800f032f18d666a9498d", + "type": "github" + }, + "original": { + "owner": "nixos", + "repo": "nixpkgs", + "rev": "3eb07eeafb52bcbf02ce800f032f18d666a9498d", + "type": "github" + } + }, + "nixpkgs_20": { + "flake": false, + "locked": { + "lastModified": 1628785280, + "narHash": "sha256-2B5eMrEr6O8ff2aQNeVxTB+9WrGE80OB4+oM6T7fOcc=", + "owner": "NixOS", + "repo": "nixpkgs", + "rev": "6525bbc06a39f26750ad8ee0d40000ddfdc24acb", + "type": "github" + }, + "original": { + "owner": "NixOS", + "ref": "nixpkgs-unstable", + "repo": "nixpkgs", + "type": "github" + } + }, "nixpkgs_21": { - "flake": false, "locked": { - "lastModified": 1628785280, - "narHash": "sha256-2B5eMrEr6O8ff2aQNeVxTB+9WrGE80OB4+oM6T7fOcc=", - "owner": "NixOS", + "lastModified": 1650882267, + "narHash": "sha256-BFKiz8srATQIBuFEN2HgS2EHisK29EjZ/HV34wSr2lU=", + "owner": "nixos", "repo": "nixpkgs", - "rev": "6525bbc06a39f26750ad8ee0d40000ddfdc24acb", + "rev": "2ea2f7b6d0cb7ce0712f2aa80303cda08deb0de2", "type": "github" }, "original": { - "owner": "NixOS", - "ref": "nixpkgs-unstable", + "owner": "nixos", "repo": "nixpkgs", + "rev": "2ea2f7b6d0cb7ce0712f2aa80303cda08deb0de2", "type": "github" } }, "nixpkgs_22": { "locked": { - "lastModified": 1650882267, - "narHash": "sha256-BFKiz8srATQIBuFEN2HgS2EHisK29EjZ/HV34wSr2lU=", + "lastModified": 1647350163, + "narHash": "sha256-OcMI+PFEHTONthXuEQNddt16Ml7qGvanL3x8QOl2Aao=", "owner": "nixos", "repo": "nixpkgs", - "rev": "2ea2f7b6d0cb7ce0712f2aa80303cda08deb0de2", + "rev": "3eb07eeafb52bcbf02ce800f032f18d666a9498d", "type": "github" }, "original": { "owner": "nixos", "repo": "nixpkgs", - "rev": "2ea2f7b6d0cb7ce0712f2aa80303cda08deb0de2", + "rev": "3eb07eeafb52bcbf02ce800f032f18d666a9498d", "type": "github" } }, "nixpkgs_23": { "locked": { - "lastModified": 1647350163, - "narHash": "sha256-OcMI+PFEHTONthXuEQNddt16Ml7qGvanL3x8QOl2Aao=", + "lastModified": 1649456639, + "narHash": "sha256-rZCjaEAZgOtT9kYTBigksof64SqKAXOuoHhlzHvfl0E=", "owner": "nixos", "repo": "nixpkgs", - "rev": "3eb07eeafb52bcbf02ce800f032f18d666a9498d", + "rev": "c48167590e3258daac6ab12a41bc2b7341e9b2ec", "type": "github" }, "original": { "owner": "nixos", "repo": "nixpkgs", - "rev": "3eb07eeafb52bcbf02ce800f032f18d666a9498d", + "rev": "c48167590e3258daac6ab12a41bc2b7341e9b2ec", "type": "github" } }, "nixpkgs_24": { - "locked": { - "lastModified": 1649456639, - "narHash": "sha256-rZCjaEAZgOtT9kYTBigksof64SqKAXOuoHhlzHvfl0E=", - "owner": "nixos", - "repo": "nixpkgs", - "rev": "c48167590e3258daac6ab12a41bc2b7341e9b2ec", - "type": "github" - }, - "original": { - "owner": "nixos", - "repo": "nixpkgs", - "rev": "c48167590e3258daac6ab12a41bc2b7341e9b2ec", - "type": "github" - } - }, - "nixpkgs_25": { "locked": { "lastModified": 1648219316, "narHash": "sha256-Ctij+dOi0ZZIfX5eMhgwugfvB+WZSrvVNAyAuANOsnQ=", @@ -8124,7 +7383,7 @@ "type": "indirect" } }, - "nixpkgs_26": { + "nixpkgs_25": { "locked": { "lastModified": 1647297614, "narHash": "sha256-ulGq3W5XsrBMU/u5k9d4oPy65pQTkunR4HKKtTq0RwY=", @@ -8140,88 +7399,88 @@ "type": "github" } }, + "nixpkgs_26": { + "flake": false, + "locked": { + "lastModified": 1628785280, + "narHash": "sha256-2B5eMrEr6O8ff2aQNeVxTB+9WrGE80OB4+oM6T7fOcc=", + "owner": "NixOS", + "repo": "nixpkgs", + "rev": "6525bbc06a39f26750ad8ee0d40000ddfdc24acb", + "type": "github" + }, + "original": { + "owner": "NixOS", + "ref": "nixpkgs-unstable", + "repo": "nixpkgs", + "type": "github" + } + }, "nixpkgs_27": { - "flake": false, "locked": { - "lastModified": 1628785280, - "narHash": "sha256-2B5eMrEr6O8ff2aQNeVxTB+9WrGE80OB4+oM6T7fOcc=", - "owner": "NixOS", + "lastModified": 1650882267, + "narHash": "sha256-BFKiz8srATQIBuFEN2HgS2EHisK29EjZ/HV34wSr2lU=", + "owner": "nixos", "repo": "nixpkgs", - "rev": "6525bbc06a39f26750ad8ee0d40000ddfdc24acb", + "rev": "2ea2f7b6d0cb7ce0712f2aa80303cda08deb0de2", "type": "github" }, "original": { - "owner": "NixOS", - "ref": "nixpkgs-unstable", + "owner": "nixos", "repo": "nixpkgs", + "rev": "2ea2f7b6d0cb7ce0712f2aa80303cda08deb0de2", "type": "github" } }, "nixpkgs_28": { "locked": { - "lastModified": 1650882267, - "narHash": "sha256-BFKiz8srATQIBuFEN2HgS2EHisK29EjZ/HV34wSr2lU=", + "lastModified": 1647350163, + "narHash": "sha256-OcMI+PFEHTONthXuEQNddt16Ml7qGvanL3x8QOl2Aao=", "owner": "nixos", "repo": "nixpkgs", - "rev": "2ea2f7b6d0cb7ce0712f2aa80303cda08deb0de2", + "rev": "3eb07eeafb52bcbf02ce800f032f18d666a9498d", "type": "github" }, "original": { "owner": "nixos", "repo": "nixpkgs", - "rev": "2ea2f7b6d0cb7ce0712f2aa80303cda08deb0de2", + "rev": "3eb07eeafb52bcbf02ce800f032f18d666a9498d", "type": "github" } }, "nixpkgs_29": { "locked": { - "lastModified": 1647350163, - "narHash": "sha256-OcMI+PFEHTONthXuEQNddt16Ml7qGvanL3x8QOl2Aao=", + "lastModified": 1649456639, + "narHash": "sha256-rZCjaEAZgOtT9kYTBigksof64SqKAXOuoHhlzHvfl0E=", "owner": "nixos", "repo": "nixpkgs", - "rev": "3eb07eeafb52bcbf02ce800f032f18d666a9498d", + "rev": "c48167590e3258daac6ab12a41bc2b7341e9b2ec", "type": "github" }, "original": { "owner": "nixos", "repo": "nixpkgs", - "rev": "3eb07eeafb52bcbf02ce800f032f18d666a9498d", + "rev": "c48167590e3258daac6ab12a41bc2b7341e9b2ec", "type": "github" } }, "nixpkgs_3": { "locked": { - "lastModified": 1647350163, - "narHash": "sha256-OcMI+PFEHTONthXuEQNddt16Ml7qGvanL3x8QOl2Aao=", + "lastModified": 1649456639, + "narHash": "sha256-rZCjaEAZgOtT9kYTBigksof64SqKAXOuoHhlzHvfl0E=", "owner": "nixos", "repo": "nixpkgs", - "rev": "3eb07eeafb52bcbf02ce800f032f18d666a9498d", + "rev": "c48167590e3258daac6ab12a41bc2b7341e9b2ec", "type": "github" }, "original": { "owner": "nixos", "repo": "nixpkgs", - "rev": "3eb07eeafb52bcbf02ce800f032f18d666a9498d", + "rev": "c48167590e3258daac6ab12a41bc2b7341e9b2ec", "type": "github" } }, "nixpkgs_30": { - "locked": { - "lastModified": 1649456639, - "narHash": "sha256-rZCjaEAZgOtT9kYTBigksof64SqKAXOuoHhlzHvfl0E=", - "owner": "nixos", - "repo": "nixpkgs", - "rev": "c48167590e3258daac6ab12a41bc2b7341e9b2ec", - "type": "github" - }, - "original": { - "owner": "nixos", - "repo": "nixpkgs", - "rev": "c48167590e3258daac6ab12a41bc2b7341e9b2ec", - "type": "github" - } - }, - "nixpkgs_31": { "locked": { "lastModified": 1648219316, "narHash": "sha256-Ctij+dOi0ZZIfX5eMhgwugfvB+WZSrvVNAyAuANOsnQ=", @@ -8235,7 +7494,7 @@ "type": "indirect" } }, - "nixpkgs_32": { + "nixpkgs_31": { "locked": { "lastModified": 1647297614, "narHash": "sha256-ulGq3W5XsrBMU/u5k9d4oPy65pQTkunR4HKKtTq0RwY=", @@ -8251,40 +7510,40 @@ "type": "github" } }, + "nixpkgs_32": { + "flake": false, + "locked": { + "lastModified": 1628785280, + "narHash": "sha256-2B5eMrEr6O8ff2aQNeVxTB+9WrGE80OB4+oM6T7fOcc=", + "owner": "NixOS", + "repo": "nixpkgs", + "rev": "6525bbc06a39f26750ad8ee0d40000ddfdc24acb", + "type": "github" + }, + "original": { + "owner": "NixOS", + "ref": "nixpkgs-unstable", + "repo": "nixpkgs", + "type": "github" + } + }, "nixpkgs_33": { - "flake": false, "locked": { - "lastModified": 1628785280, - "narHash": "sha256-2B5eMrEr6O8ff2aQNeVxTB+9WrGE80OB4+oM6T7fOcc=", - "owner": "NixOS", + "lastModified": 1650882267, + "narHash": "sha256-BFKiz8srATQIBuFEN2HgS2EHisK29EjZ/HV34wSr2lU=", + "owner": "nixos", "repo": "nixpkgs", - "rev": "6525bbc06a39f26750ad8ee0d40000ddfdc24acb", + "rev": "2ea2f7b6d0cb7ce0712f2aa80303cda08deb0de2", "type": "github" }, "original": { - "owner": "NixOS", - "ref": "nixpkgs-unstable", + "owner": "nixos", "repo": "nixpkgs", + "rev": "2ea2f7b6d0cb7ce0712f2aa80303cda08deb0de2", "type": "github" } }, "nixpkgs_34": { - "locked": { - "lastModified": 1650882267, - "narHash": "sha256-BFKiz8srATQIBuFEN2HgS2EHisK29EjZ/HV34wSr2lU=", - "owner": "nixos", - "repo": "nixpkgs", - "rev": "2ea2f7b6d0cb7ce0712f2aa80303cda08deb0de2", - "type": "github" - }, - "original": { - "owner": "nixos", - "repo": "nixpkgs", - "rev": "2ea2f7b6d0cb7ce0712f2aa80303cda08deb0de2", - "type": "github" - } - }, - "nixpkgs_35": { "locked": { "lastModified": 1647350163, "narHash": "sha256-OcMI+PFEHTONthXuEQNddt16Ml7qGvanL3x8QOl2Aao=", @@ -8300,7 +7559,7 @@ "type": "github" } }, - "nixpkgs_36": { + "nixpkgs_35": { "locked": { "lastModified": 1649456639, "narHash": "sha256-rZCjaEAZgOtT9kYTBigksof64SqKAXOuoHhlzHvfl0E=", @@ -8316,7 +7575,7 @@ "type": "github" } }, - "nixpkgs_37": { + "nixpkgs_36": { "locked": { "lastModified": 1648219316, "narHash": "sha256-Ctij+dOi0ZZIfX5eMhgwugfvB+WZSrvVNAyAuANOsnQ=", @@ -8330,7 +7589,7 @@ "type": "indirect" } }, - "nixpkgs_38": { + "nixpkgs_37": { "locked": { "lastModified": 1647297614, "narHash": "sha256-ulGq3W5XsrBMU/u5k9d4oPy65pQTkunR4HKKtTq0RwY=", @@ -8346,7 +7605,7 @@ "type": "github" } }, - "nixpkgs_39": { + "nixpkgs_38": { "flake": false, "locked": { "lastModified": 1628785280, @@ -8363,23 +7622,7 @@ "type": "github" } }, - "nixpkgs_4": { - "locked": { - "lastModified": 1649456639, - "narHash": "sha256-rZCjaEAZgOtT9kYTBigksof64SqKAXOuoHhlzHvfl0E=", - "owner": "nixos", - "repo": "nixpkgs", - "rev": "c48167590e3258daac6ab12a41bc2b7341e9b2ec", - "type": "github" - }, - "original": { - "owner": "nixos", - "repo": "nixpkgs", - "rev": "c48167590e3258daac6ab12a41bc2b7341e9b2ec", - "type": "github" - } - }, - "nixpkgs_40": { + "nixpkgs_39": { "locked": { "lastModified": 1650882267, "narHash": "sha256-BFKiz8srATQIBuFEN2HgS2EHisK29EjZ/HV34wSr2lU=", @@ -8395,7 +7638,21 @@ "type": "github" } }, - "nixpkgs_41": { + "nixpkgs_4": { + "locked": { + "lastModified": 1648219316, + "narHash": "sha256-Ctij+dOi0ZZIfX5eMhgwugfvB+WZSrvVNAyAuANOsnQ=", + "owner": "NixOS", + "repo": "nixpkgs", + "rev": "30d3d79b7d3607d56546dd2a6b49e156ba0ec634", + "type": "github" + }, + "original": { + "id": "nixpkgs", + "type": "indirect" + } + }, + "nixpkgs_40": { "locked": { "lastModified": 1647350163, "narHash": "sha256-OcMI+PFEHTONthXuEQNddt16Ml7qGvanL3x8QOl2Aao=", @@ -8411,7 +7668,7 @@ "type": "github" } }, - "nixpkgs_42": { + "nixpkgs_41": { "locked": { "lastModified": 1649456639, "narHash": "sha256-rZCjaEAZgOtT9kYTBigksof64SqKAXOuoHhlzHvfl0E=", @@ -8427,7 +7684,7 @@ "type": "github" } }, - "nixpkgs_43": { + "nixpkgs_42": { "locked": { "lastModified": 1648219316, "narHash": "sha256-Ctij+dOi0ZZIfX5eMhgwugfvB+WZSrvVNAyAuANOsnQ=", @@ -8441,7 +7698,7 @@ "type": "indirect" } }, - "nixpkgs_44": { + "nixpkgs_43": { "locked": { "lastModified": 1647297614, "narHash": "sha256-ulGq3W5XsrBMU/u5k9d4oPy65pQTkunR4HKKtTq0RwY=", @@ -8457,7 +7714,7 @@ "type": "github" } }, - "nixpkgs_45": { + "nixpkgs_44": { "flake": false, "locked": { "lastModified": 1628785280, @@ -8475,20 +7732,6 @@ } }, "nixpkgs_5": { - "locked": { - "lastModified": 1648219316, - "narHash": "sha256-Ctij+dOi0ZZIfX5eMhgwugfvB+WZSrvVNAyAuANOsnQ=", - "owner": "NixOS", - "repo": "nixpkgs", - "rev": "30d3d79b7d3607d56546dd2a6b49e156ba0ec634", - "type": "github" - }, - "original": { - "id": "nixpkgs", - "type": "indirect" - } - }, - "nixpkgs_6": { "locked": { "lastModified": 1647297614, "narHash": "sha256-ulGq3W5XsrBMU/u5k9d4oPy65pQTkunR4HKKtTq0RwY=", @@ -8504,24 +7747,24 @@ "type": "github" } }, + "nixpkgs_6": { + "flake": false, + "locked": { + "lastModified": 1628785280, + "narHash": "sha256-2B5eMrEr6O8ff2aQNeVxTB+9WrGE80OB4+oM6T7fOcc=", + "owner": "NixOS", + "repo": "nixpkgs", + "rev": "6525bbc06a39f26750ad8ee0d40000ddfdc24acb", + "type": "github" + }, + "original": { + "owner": "NixOS", + "ref": "nixpkgs-unstable", + "repo": "nixpkgs", + "type": "github" + } + }, "nixpkgs_7": { - "flake": false, - "locked": { - "lastModified": 1628785280, - "narHash": "sha256-2B5eMrEr6O8ff2aQNeVxTB+9WrGE80OB4+oM6T7fOcc=", - "owner": "NixOS", - "repo": "nixpkgs", - "rev": "6525bbc06a39f26750ad8ee0d40000ddfdc24acb", - "type": "github" - }, - "original": { - "owner": "NixOS", - "ref": "nixpkgs-unstable", - "repo": "nixpkgs", - "type": "github" - } - }, - "nixpkgs_8": { "locked": { "lastModified": 1647297614, "narHash": "sha256-ulGq3W5XsrBMU/u5k9d4oPy65pQTkunR4HKKtTq0RwY=", @@ -8537,7 +7780,7 @@ "type": "github" } }, - "nixpkgs_9": { + "nixpkgs_8": { "flake": false, "locked": { "lastModified": 1628785280, @@ -8554,6 +7797,22 @@ "type": "github" } }, + "nixpkgs_9": { + "locked": { + "lastModified": 1650882267, + "narHash": "sha256-BFKiz8srATQIBuFEN2HgS2EHisK29EjZ/HV34wSr2lU=", + "owner": "nixos", + "repo": "nixpkgs", + "rev": "2ea2f7b6d0cb7ce0712f2aa80303cda08deb0de2", + "type": "github" + }, + "original": { + "owner": "nixos", + "repo": "nixpkgs", + "rev": "2ea2f7b6d0cb7ce0712f2aa80303cda08deb0de2", + "type": "github" + } + }, "old-ghc-nix": { "flake": false, "locked": { @@ -8571,40 +7830,6 @@ "type": "github" } }, - "old-ghc-nix_10": { - "flake": false, - "locked": { - "lastModified": 1631092763, - "narHash": "sha256-sIKgO+z7tj4lw3u6oBZxqIhDrzSkvpHtv0Kki+lh9Fg=", - "owner": "angerman", - "repo": "old-ghc-nix", - "rev": "af48a7a7353e418119b6dfe3cd1463a657f342b8", - "type": "github" - }, - "original": { - "owner": "angerman", - "ref": "master", - "repo": "old-ghc-nix", - "type": "github" - } - }, - "old-ghc-nix_11": { - "flake": false, - "locked": { - "lastModified": 1631092763, - "narHash": "sha256-sIKgO+z7tj4lw3u6oBZxqIhDrzSkvpHtv0Kki+lh9Fg=", - "owner": "angerman", - "repo": "old-ghc-nix", - "rev": "af48a7a7353e418119b6dfe3cd1463a657f342b8", - "type": "github" - }, - "original": { - "owner": "angerman", - "ref": "master", - "repo": "old-ghc-nix", - "type": "github" - } - }, "old-ghc-nix_2": { "flake": false, "locked": { @@ -8862,9 +8087,9 @@ }, "pathtree": { "inputs": { - "flake-compat": "flake-compat_4", - "flake-utils": "flake-utils_5", - "nixpkgs": "nixpkgs_3" + "flake-compat": "flake-compat_2", + "flake-utils": "flake-utils_3", + "nixpkgs": "nixpkgs_2" }, "locked": { "lastModified": 1649011952, @@ -8882,9 +8107,9 @@ }, "pathtree_2": { "inputs": { - "flake-compat": "flake-compat_8", - "flake-utils": "flake-utils_12", - "nixpkgs": "nixpkgs_11" + "flake-compat": "flake-compat_6", + "flake-utils": "flake-utils_10", + "nixpkgs": "nixpkgs_10" }, "locked": { "lastModified": 1649011952, @@ -8902,9 +8127,9 @@ }, "pathtree_3": { "inputs": { - "flake-compat": "flake-compat_12", - "flake-utils": "flake-utils_18", - "nixpkgs": "nixpkgs_17" + "flake-compat": "flake-compat_10", + "flake-utils": "flake-utils_16", + "nixpkgs": "nixpkgs_16" }, "locked": { "lastModified": 1649011952, @@ -8922,9 +8147,9 @@ }, "pathtree_4": { "inputs": { - "flake-compat": "flake-compat_16", - "flake-utils": "flake-utils_24", - "nixpkgs": "nixpkgs_23" + "flake-compat": "flake-compat_14", + "flake-utils": "flake-utils_22", + "nixpkgs": "nixpkgs_22" }, "locked": { "lastModified": 1649011952, @@ -8942,9 +8167,9 @@ }, "pathtree_5": { "inputs": { - "flake-compat": "flake-compat_20", - "flake-utils": "flake-utils_30", - "nixpkgs": "nixpkgs_29" + "flake-compat": "flake-compat_18", + "flake-utils": "flake-utils_28", + "nixpkgs": "nixpkgs_28" }, "locked": { "lastModified": 1649011952, @@ -8962,9 +8187,9 @@ }, "pathtree_6": { "inputs": { - "flake-compat": "flake-compat_24", - "flake-utils": "flake-utils_36", - "nixpkgs": "nixpkgs_35" + "flake-compat": "flake-compat_22", + "flake-utils": "flake-utils_34", + "nixpkgs": "nixpkgs_34" }, "locked": { "lastModified": 1649011952, @@ -8982,9 +8207,9 @@ }, "pathtree_7": { "inputs": { - "flake-compat": "flake-compat_28", - "flake-utils": "flake-utils_42", - "nixpkgs": "nixpkgs_41" + "flake-compat": "flake-compat_26", + "flake-utils": "flake-utils_40", + "nixpkgs": "nixpkgs_40" }, "locked": { "lastModified": 1649011952, @@ -9010,21 +8235,21 @@ "emanote": "emanote", "flat": "flat", "foundation": "foundation", - "haskell-language-server": "haskell-language-server_2", - "haskell-nix": "haskell-nix_4", + "haskell-language-server": "haskell-language-server", + "haskell-nix": "haskell-nix", "hercules-ci-effects": "hercules-ci-effects", "hs-memory": "hs-memory", "hspec": "hspec", "hspec-golden": "hspec-golden", "hspec-hedgehog": "hspec-hedgehog", - "iohk-nix": "iohk-nix_2", + "iohk-nix": "iohk-nix", "nixpkgs": [ "liqwid-plutarch-extra", "plutarch", "haskell-nix", "nixpkgs-unstable" ], - "plutus": "plutus_2", + "plutus": "plutus", "protolude": "protolude", "sized-functors": "sized-functors", "th-extras": "th-extras" @@ -9056,7 +8281,7 @@ "plutarch", "nixpkgs" ], - "nixpkgs-2111": "nixpkgs-2111_7", + "nixpkgs-2111": "nixpkgs-2111_5", "plutarch": "plutarch_3" }, "locked": { @@ -9086,7 +8311,7 @@ "plutarch", "nixpkgs" ], - "nixpkgs-2111": "nixpkgs-2111_9", + "nixpkgs-2111": "nixpkgs-2111_7", "plutarch": "plutarch_4" }, "locked": { @@ -9118,7 +8343,7 @@ "plutarch", "nixpkgs" ], - "nixpkgs-2111": "nixpkgs-2111_17", + "nixpkgs-2111": "nixpkgs-2111_15", "plutarch": "plutarch_8" }, "locked": { @@ -9148,7 +8373,7 @@ "plutarch", "nixpkgs" ], - "nixpkgs-2111": "nixpkgs-2111_11", + "nixpkgs-2111": "nixpkgs-2111_9", "plutarch": "plutarch_5" }, "locked": { @@ -9178,7 +8403,7 @@ "plutarch", "nixpkgs" ], - "nixpkgs-2111": "nixpkgs-2111_15", + "nixpkgs-2111": "nixpkgs-2111_13", "plutarch": "plutarch_7", "plutarch-numeric": "plutarch-numeric_2" }, @@ -9211,20 +8436,20 @@ ], "flat": "flat_2", "foundation": "foundation_2", - "haskell-language-server": "haskell-language-server_4", - "haskell-nix": "haskell-nix_6", + "haskell-language-server": "haskell-language-server_3", + "haskell-nix": "haskell-nix_3", "hercules-ci-effects": "hercules-ci-effects_2", "hs-memory": "hs-memory_2", "hspec": "hspec_2", "hspec-golden": "hspec-golden_2", "hspec-hedgehog": "hspec-hedgehog_2", - "iohk-nix": "iohk-nix_4", + "iohk-nix": "iohk-nix_3", "nixpkgs": [ "plutarch", "haskell-nix", "nixpkgs-unstable" ], - "plutus": "plutus_3", + "plutus": "plutus_2", "protolude": "protolude_2", "sized-functors": "sized-functors_2", "th-extras": "th-extras_2" @@ -9254,21 +8479,21 @@ "emanote": "emanote_2", "flat": "flat_3", "foundation": "foundation_3", - "haskell-language-server": "haskell-language-server_6", - "haskell-nix": "haskell-nix_8", + "haskell-language-server": "haskell-language-server_5", + "haskell-nix": "haskell-nix_5", "hercules-ci-effects": "hercules-ci-effects_3", "hs-memory": "hs-memory_3", "hspec": "hspec_3", "hspec-golden": "hspec-golden_3", "hspec-hedgehog": "hspec-hedgehog_3", - "iohk-nix": "iohk-nix_6", + "iohk-nix": "iohk-nix_5", "nixpkgs": [ "plutarch-context-builder", "plutarch", "haskell-nix", "nixpkgs-unstable" ], - "plutus": "plutus_4", + "plutus": "plutus_3", "protolude": "protolude_3", "sized-functors": "sized-functors_3", "th-extras": "th-extras_3" @@ -9298,21 +8523,21 @@ "emanote": "emanote_3", "flat": "flat_4", "foundation": "foundation_4", - "haskell-language-server": "haskell-language-server_8", - "haskell-nix": "haskell-nix_10", + "haskell-language-server": "haskell-language-server_7", + "haskell-nix": "haskell-nix_7", "hercules-ci-effects": "hercules-ci-effects_4", "hs-memory": "hs-memory_4", "hspec": "hspec_4", "hspec-golden": "hspec-golden_4", "hspec-hedgehog": "hspec-hedgehog_4", - "iohk-nix": "iohk-nix_8", + "iohk-nix": "iohk-nix_7", "nixpkgs": [ "plutarch-numeric", "plutarch", "haskell-nix", "nixpkgs-unstable" ], - "plutus": "plutus_5", + "plutus": "plutus_4", "protolude": "protolude_4", "sized-functors": "sized-functors_4", "th-extras": "th-extras_4" @@ -9342,21 +8567,21 @@ "emanote": "emanote_4", "flat": "flat_5", "foundation": "foundation_5", - "haskell-language-server": "haskell-language-server_10", - "haskell-nix": "haskell-nix_12", + "haskell-language-server": "haskell-language-server_9", + "haskell-nix": "haskell-nix_9", "hercules-ci-effects": "hercules-ci-effects_5", "hs-memory": "hs-memory_5", "hspec": "hspec_5", "hspec-golden": "hspec-golden_5", "hspec-hedgehog": "hspec-hedgehog_5", - "iohk-nix": "iohk-nix_10", + "iohk-nix": "iohk-nix_9", "nixpkgs": [ "plutarch-quickcheck", "plutarch", "haskell-nix", "nixpkgs-unstable" ], - "plutus": "plutus_6", + "plutus": "plutus_5", "protolude": "protolude_5", "sized-functors": "sized-functors_5", "th-extras": "th-extras_5" @@ -9386,14 +8611,14 @@ "emanote": "emanote_5", "flat": "flat_6", "foundation": "foundation_6", - "haskell-language-server": "haskell-language-server_12", - "haskell-nix": "haskell-nix_14", + "haskell-language-server": "haskell-language-server_11", + "haskell-nix": "haskell-nix_11", "hercules-ci-effects": "hercules-ci-effects_6", "hs-memory": "hs-memory_6", "hspec": "hspec_6", "hspec-golden": "hspec-golden_6", "hspec-hedgehog": "hspec-hedgehog_6", - "iohk-nix": "iohk-nix_12", + "iohk-nix": "iohk-nix_11", "nixpkgs": [ "plutarch-safe-money", "liqwid-plutarch-extra", @@ -9401,7 +8626,7 @@ "haskell-nix", "nixpkgs-unstable" ], - "plutus": "plutus_7", + "plutus": "plutus_6", "protolude": "protolude_6", "sized-functors": "sized-functors_6", "th-extras": "th-extras_6" @@ -9431,21 +8656,21 @@ "emanote": "emanote_6", "flat": "flat_7", "foundation": "foundation_7", - "haskell-language-server": "haskell-language-server_14", - "haskell-nix": "haskell-nix_16", + "haskell-language-server": "haskell-language-server_13", + "haskell-nix": "haskell-nix_13", "hercules-ci-effects": "hercules-ci-effects_7", "hs-memory": "hs-memory_7", "hspec": "hspec_7", "hspec-golden": "hspec-golden_7", "hspec-hedgehog": "hspec-hedgehog_7", - "iohk-nix": "iohk-nix_14", + "iohk-nix": "iohk-nix_13", "nixpkgs": [ "plutarch-safe-money", "plutarch", "haskell-nix", "nixpkgs-unstable" ], - "plutus": "plutus_8", + "plutus": "plutus_7", "protolude": "protolude_7", "sized-functors": "sized-functors_7", "th-extras": "th-extras_7" @@ -9475,14 +8700,14 @@ "emanote": "emanote_7", "flat": "flat_8", "foundation": "foundation_8", - "haskell-language-server": "haskell-language-server_16", - "haskell-nix": "haskell-nix_18", + "haskell-language-server": "haskell-language-server_15", + "haskell-nix": "haskell-nix_15", "hercules-ci-effects": "hercules-ci-effects_8", "hs-memory": "hs-memory_8", "hspec": "hspec_8", "hspec-golden": "hspec-golden_8", "hspec-hedgehog": "hspec-hedgehog_8", - "iohk-nix": "iohk-nix_16", + "iohk-nix": "iohk-nix_15", "nixpkgs": [ "plutarch-safe-money", "plutarch-numeric", @@ -9490,7 +8715,7 @@ "haskell-nix", "nixpkgs-unstable" ], - "plutus": "plutus_9", + "plutus": "plutus_8", "protolude": "protolude_8", "sized-functors": "sized-functors_8", "th-extras": "th-extras_8" @@ -9515,24 +8740,25 @@ "cardano-repo-tool": "cardano-repo-tool", "gitignore-nix": "gitignore-nix", "hackage-nix": "hackage-nix", - "haskell-language-server": "haskell-language-server", - "haskell-nix": "haskell-nix_3", - "iohk-nix": "iohk-nix", - "nixpkgs": "nixpkgs", + "haskell-language-server": "haskell-language-server_2", + "haskell-nix": "haskell-nix_2", + "iohk-nix": "iohk-nix_2", + "nixpkgs": "nixpkgs_6", "pre-commit-hooks-nix": "pre-commit-hooks-nix", "sphinxcontrib-haddock": "sphinxcontrib-haddock", "stackage-nix": "stackage-nix" }, "locked": { - "lastModified": 1639153959, - "narHash": "sha256-tz8wEV5oO2yu2WFl3+wAPHedJJUP/NMFYgfcsbcyji4=", - "owner": "input-output-hk", + "lastModified": 1645203653, + "narHash": "sha256-HAi60mSkyMXzu1Wg3h6KdYZg+ufNMvX6obfcLo0ArL0=", + "owner": "L-as", "repo": "plutus", - "rev": "da4f85cdd2a3a261ce540e8dc51d2a3c5fa89ed2", + "rev": "5ec17953aae3ac9546f6d923201eb1dbb4e058bb", "type": "github" }, "original": { - "owner": "input-output-hk", + "owner": "L-as", + "ref": "ghc9", "repo": "plutus", "type": "github" } @@ -9542,10 +8768,10 @@ "cardano-repo-tool": "cardano-repo-tool_2", "gitignore-nix": "gitignore-nix_2", "hackage-nix": "hackage-nix_2", - "haskell-language-server": "haskell-language-server_3", - "haskell-nix": "haskell-nix_5", - "iohk-nix": "iohk-nix_3", - "nixpkgs": "nixpkgs_7", + "haskell-language-server": "haskell-language-server_4", + "haskell-nix": "haskell-nix_4", + "iohk-nix": "iohk-nix_4", + "nixpkgs": "nixpkgs_8", "pre-commit-hooks-nix": "pre-commit-hooks-nix_2", "sphinxcontrib-haddock": "sphinxcontrib-haddock_2", "stackage-nix": "stackage-nix_2" @@ -9570,10 +8796,10 @@ "cardano-repo-tool": "cardano-repo-tool_3", "gitignore-nix": "gitignore-nix_3", "hackage-nix": "hackage-nix_3", - "haskell-language-server": "haskell-language-server_5", - "haskell-nix": "haskell-nix_7", - "iohk-nix": "iohk-nix_5", - "nixpkgs": "nixpkgs_9", + "haskell-language-server": "haskell-language-server_6", + "haskell-nix": "haskell-nix_6", + "iohk-nix": "iohk-nix_6", + "nixpkgs": "nixpkgs_14", "pre-commit-hooks-nix": "pre-commit-hooks-nix_3", "sphinxcontrib-haddock": "sphinxcontrib-haddock_3", "stackage-nix": "stackage-nix_3" @@ -9598,10 +8824,10 @@ "cardano-repo-tool": "cardano-repo-tool_4", "gitignore-nix": "gitignore-nix_4", "hackage-nix": "hackage-nix_4", - "haskell-language-server": "haskell-language-server_7", - "haskell-nix": "haskell-nix_9", - "iohk-nix": "iohk-nix_7", - "nixpkgs": "nixpkgs_15", + "haskell-language-server": "haskell-language-server_8", + "haskell-nix": "haskell-nix_8", + "iohk-nix": "iohk-nix_8", + "nixpkgs": "nixpkgs_20", "pre-commit-hooks-nix": "pre-commit-hooks-nix_4", "sphinxcontrib-haddock": "sphinxcontrib-haddock_4", "stackage-nix": "stackage-nix_4" @@ -9626,10 +8852,10 @@ "cardano-repo-tool": "cardano-repo-tool_5", "gitignore-nix": "gitignore-nix_5", "hackage-nix": "hackage-nix_5", - "haskell-language-server": "haskell-language-server_9", - "haskell-nix": "haskell-nix_11", - "iohk-nix": "iohk-nix_9", - "nixpkgs": "nixpkgs_21", + "haskell-language-server": "haskell-language-server_10", + "haskell-nix": "haskell-nix_10", + "iohk-nix": "iohk-nix_10", + "nixpkgs": "nixpkgs_26", "pre-commit-hooks-nix": "pre-commit-hooks-nix_5", "sphinxcontrib-haddock": "sphinxcontrib-haddock_5", "stackage-nix": "stackage-nix_5" @@ -9654,10 +8880,10 @@ "cardano-repo-tool": "cardano-repo-tool_6", "gitignore-nix": "gitignore-nix_6", "hackage-nix": "hackage-nix_6", - "haskell-language-server": "haskell-language-server_11", - "haskell-nix": "haskell-nix_13", - "iohk-nix": "iohk-nix_11", - "nixpkgs": "nixpkgs_27", + "haskell-language-server": "haskell-language-server_12", + "haskell-nix": "haskell-nix_12", + "iohk-nix": "iohk-nix_12", + "nixpkgs": "nixpkgs_32", "pre-commit-hooks-nix": "pre-commit-hooks-nix_6", "sphinxcontrib-haddock": "sphinxcontrib-haddock_6", "stackage-nix": "stackage-nix_6" @@ -9682,10 +8908,10 @@ "cardano-repo-tool": "cardano-repo-tool_7", "gitignore-nix": "gitignore-nix_7", "hackage-nix": "hackage-nix_7", - "haskell-language-server": "haskell-language-server_13", - "haskell-nix": "haskell-nix_15", - "iohk-nix": "iohk-nix_13", - "nixpkgs": "nixpkgs_33", + "haskell-language-server": "haskell-language-server_14", + "haskell-nix": "haskell-nix_14", + "iohk-nix": "iohk-nix_14", + "nixpkgs": "nixpkgs_38", "pre-commit-hooks-nix": "pre-commit-hooks-nix_7", "sphinxcontrib-haddock": "sphinxcontrib-haddock_7", "stackage-nix": "stackage-nix_7" @@ -9710,10 +8936,10 @@ "cardano-repo-tool": "cardano-repo-tool_8", "gitignore-nix": "gitignore-nix_8", "hackage-nix": "hackage-nix_8", - "haskell-language-server": "haskell-language-server_15", - "haskell-nix": "haskell-nix_17", - "iohk-nix": "iohk-nix_15", - "nixpkgs": "nixpkgs_39", + "haskell-language-server": "haskell-language-server_16", + "haskell-nix": "haskell-nix_16", + "iohk-nix": "iohk-nix_16", + "nixpkgs": "nixpkgs_44", "pre-commit-hooks-nix": "pre-commit-hooks-nix_8", "sphinxcontrib-haddock": "sphinxcontrib-haddock_8", "stackage-nix": "stackage-nix_8" @@ -9733,34 +8959,6 @@ "type": "github" } }, - "plutus_9": { - "inputs": { - "cardano-repo-tool": "cardano-repo-tool_9", - "gitignore-nix": "gitignore-nix_9", - "hackage-nix": "hackage-nix_9", - "haskell-language-server": "haskell-language-server_17", - "haskell-nix": "haskell-nix_19", - "iohk-nix": "iohk-nix_17", - "nixpkgs": "nixpkgs_45", - "pre-commit-hooks-nix": "pre-commit-hooks-nix_9", - "sphinxcontrib-haddock": "sphinxcontrib-haddock_9", - "stackage-nix": "stackage-nix_9" - }, - "locked": { - "lastModified": 1645203653, - "narHash": "sha256-HAi60mSkyMXzu1Wg3h6KdYZg+ufNMvX6obfcLo0ArL0=", - "owner": "L-as", - "repo": "plutus", - "rev": "5ec17953aae3ac9546f6d923201eb1dbb4e058bb", - "type": "github" - }, - "original": { - "owner": "L-as", - "ref": "ghc9", - "repo": "plutus", - "type": "github" - } - }, "pre-commit-hooks-nix": { "flake": false, "locked": { @@ -9889,22 +9087,6 @@ "type": "github" } }, - "pre-commit-hooks-nix_9": { - "flake": false, - "locked": { - "lastModified": 1624971177, - "narHash": "sha256-Amf/nBj1E77RmbSSmV+hg6YOpR+rddCbbVgo5C7BS0I=", - "owner": "cachix", - "repo": "pre-commit-hooks.nix", - "rev": "397f0713d007250a2c7a745e555fa16c5dc8cadb", - "type": "github" - }, - "original": { - "owner": "cachix", - "repo": "pre-commit-hooks.nix", - "type": "github" - } - }, "protolude": { "flake": false, "locked": { @@ -10044,7 +9226,7 @@ "purescript-bridge": { "inputs": { "easy-ps": "easy-ps", - "flake-utils": "flake-utils_46", + "flake-utils": "flake-utils_44", "haskellNix": "haskellNix", "nixpkgs": [ "purescript-bridge", @@ -10069,8 +9251,6 @@ }, "root": { "inputs": { - "apropos": "apropos", - "apropos-tx": "apropos-tx", "haskell-nix": [ "plutarch", "haskell-nix" @@ -10080,7 +9260,7 @@ "plutarch", "nixpkgs" ], - "nixpkgs-2111": "nixpkgs-2111_5", + "nixpkgs-2111": "nixpkgs-2111_3", "plutarch": "plutarch_2", "plutarch-context-builder": "plutarch-context-builder", "plutarch-numeric": "plutarch-numeric", @@ -10353,30 +9533,14 @@ "type": "github" } }, - "sphinxcontrib-haddock_9": { - "flake": false, - "locked": { - "lastModified": 1594136664, - "narHash": "sha256-O9YT3iCUBHP3CEF88VDLLCO2HSP3HqkNA2q2939RnVY=", - "owner": "michaelpj", - "repo": "sphinxcontrib-haddock", - "rev": "f3956b3256962b2d27d5a4e96edb7951acf5de34", - "type": "github" - }, - "original": { - "owner": "michaelpj", - "repo": "sphinxcontrib-haddock", - "type": "github" - } - }, "stackage": { "flake": false, "locked": { - "lastModified": 1646270328, - "narHash": "sha256-WFzBTbZW9zKnZtHLBLGui9F1tBDKX7ixBtaQOG5SK/M=", + "lastModified": 1644887829, + "narHash": "sha256-tjUXJpqB7MMnqM4FF5cdtZipfratUcTKRQVA6F77sEQ=", "owner": "input-output-hk", "repo": "stackage.nix", - "rev": "b3171527569b52b3924d8e70e0aed753d3f55cc4", + "rev": "db8bdef6588cf4f38e6069075ba76f0024381f68", "type": "github" }, "original": { @@ -10513,23 +9677,7 @@ "type": "github" } }, - "stackage-nix_9": { - "flake": false, - "locked": { - "lastModified": 1597712578, - "narHash": "sha256-c/pcfZ6w5Yp//7oC0hErOGVVphBLc5vc4IZlWKZ/t6E=", - "owner": "input-output-hk", - "repo": "stackage.nix", - "rev": "e32c8b06d56954865725514ce0d98d5d1867e43a", - "type": "github" - }, - "original": { - "owner": "input-output-hk", - "repo": "stackage.nix", - "type": "github" - } - }, - "stackage_10": { + "stackage_2": { "flake": false, "locked": { "lastModified": 1644887829, @@ -10545,38 +9693,6 @@ "type": "github" } }, - "stackage_11": { - "flake": false, - "locked": { - "lastModified": 1633224172, - "narHash": "sha256-Hw2jWJiS6ky0D5BhSyaw5PItzmTpRni4BUcCJmbESWk=", - "owner": "input-output-hk", - "repo": "stackage.nix", - "rev": "948c9bde3d0b3aa452e0b19c34ae6385ac563160", - "type": "github" - }, - "original": { - "owner": "input-output-hk", - "repo": "stackage.nix", - "type": "github" - } - }, - "stackage_2": { - "flake": false, - "locked": { - "lastModified": 1639185224, - "narHash": "sha256-ZBL0Lvqq8/Iwl8F5sT2N9J8+HTh0OY+09LkkUVtuUtY=", - "owner": "input-output-hk", - "repo": "stackage.nix", - "rev": "14819f5c85a92e5fb6e322cc809c803fa6419bd4", - "type": "github" - }, - "original": { - "owner": "input-output-hk", - "repo": "stackage.nix", - "type": "github" - } - }, "stackage_3": { "flake": false, "locked": { @@ -10676,11 +9792,11 @@ "stackage_9": { "flake": false, "locked": { - "lastModified": 1644887829, - "narHash": "sha256-tjUXJpqB7MMnqM4FF5cdtZipfratUcTKRQVA6F77sEQ=", + "lastModified": 1633224172, + "narHash": "sha256-Hw2jWJiS6ky0D5BhSyaw5PItzmTpRni4BUcCJmbESWk=", "owner": "input-output-hk", "repo": "stackage.nix", - "rev": "db8bdef6588cf4f38e6069075ba76f0024381f68", + "rev": "948c9bde3d0b3aa452e0b19c34ae6385ac563160", "type": "github" }, "original": { @@ -10691,9 +9807,9 @@ }, "tailwind-haskell": { "inputs": { - "flake-compat": "flake-compat_5", - "flake-utils": "flake-utils_6", - "nixpkgs": "nixpkgs_4" + "flake-compat": "flake-compat_3", + "flake-utils": "flake-utils_4", + "nixpkgs": "nixpkgs_3" }, "locked": { "lastModified": 1649519562, @@ -10712,9 +9828,9 @@ }, "tailwind-haskell_2": { "inputs": { - "flake-compat": "flake-compat_9", - "flake-utils": "flake-utils_13", - "nixpkgs": "nixpkgs_12" + "flake-compat": "flake-compat_7", + "flake-utils": "flake-utils_11", + "nixpkgs": "nixpkgs_11" }, "locked": { "lastModified": 1649519562, @@ -10733,9 +9849,9 @@ }, "tailwind-haskell_3": { "inputs": { - "flake-compat": "flake-compat_13", - "flake-utils": "flake-utils_19", - "nixpkgs": "nixpkgs_18" + "flake-compat": "flake-compat_11", + "flake-utils": "flake-utils_17", + "nixpkgs": "nixpkgs_17" }, "locked": { "lastModified": 1649519562, @@ -10754,9 +9870,9 @@ }, "tailwind-haskell_4": { "inputs": { - "flake-compat": "flake-compat_17", - "flake-utils": "flake-utils_25", - "nixpkgs": "nixpkgs_24" + "flake-compat": "flake-compat_15", + "flake-utils": "flake-utils_23", + "nixpkgs": "nixpkgs_23" }, "locked": { "lastModified": 1649519562, @@ -10775,9 +9891,9 @@ }, "tailwind-haskell_5": { "inputs": { - "flake-compat": "flake-compat_21", - "flake-utils": "flake-utils_31", - "nixpkgs": "nixpkgs_30" + "flake-compat": "flake-compat_19", + "flake-utils": "flake-utils_29", + "nixpkgs": "nixpkgs_29" }, "locked": { "lastModified": 1649519562, @@ -10796,9 +9912,9 @@ }, "tailwind-haskell_6": { "inputs": { - "flake-compat": "flake-compat_25", - "flake-utils": "flake-utils_37", - "nixpkgs": "nixpkgs_36" + "flake-compat": "flake-compat_23", + "flake-utils": "flake-utils_35", + "nixpkgs": "nixpkgs_35" }, "locked": { "lastModified": 1649519562, @@ -10817,9 +9933,9 @@ }, "tailwind-haskell_7": { "inputs": { - "flake-compat": "flake-compat_29", - "flake-utils": "flake-utils_43", - "nixpkgs": "nixpkgs_42" + "flake-compat": "flake-compat_27", + "flake-utils": "flake-utils_41", + "nixpkgs": "nixpkgs_41" }, "locked": { "lastModified": 1649519562, @@ -10974,9 +10090,9 @@ }, "unionmount": { "inputs": { - "flake-compat": "flake-compat_6", - "flake-utils": "flake-utils_7", - "nixpkgs": "nixpkgs_5" + "flake-compat": "flake-compat_4", + "flake-utils": "flake-utils_5", + "nixpkgs": "nixpkgs_4" }, "locked": { "lastModified": 1649012450, @@ -10995,9 +10111,9 @@ }, "unionmount_2": { "inputs": { - "flake-compat": "flake-compat_10", - "flake-utils": "flake-utils_14", - "nixpkgs": "nixpkgs_13" + "flake-compat": "flake-compat_8", + "flake-utils": "flake-utils_12", + "nixpkgs": "nixpkgs_12" }, "locked": { "lastModified": 1649012450, @@ -11016,9 +10132,9 @@ }, "unionmount_3": { "inputs": { - "flake-compat": "flake-compat_14", - "flake-utils": "flake-utils_20", - "nixpkgs": "nixpkgs_19" + "flake-compat": "flake-compat_12", + "flake-utils": "flake-utils_18", + "nixpkgs": "nixpkgs_18" }, "locked": { "lastModified": 1649012450, @@ -11037,9 +10153,9 @@ }, "unionmount_4": { "inputs": { - "flake-compat": "flake-compat_18", - "flake-utils": "flake-utils_26", - "nixpkgs": "nixpkgs_25" + "flake-compat": "flake-compat_16", + "flake-utils": "flake-utils_24", + "nixpkgs": "nixpkgs_24" }, "locked": { "lastModified": 1649012450, @@ -11058,9 +10174,9 @@ }, "unionmount_5": { "inputs": { - "flake-compat": "flake-compat_22", - "flake-utils": "flake-utils_32", - "nixpkgs": "nixpkgs_31" + "flake-compat": "flake-compat_20", + "flake-utils": "flake-utils_30", + "nixpkgs": "nixpkgs_30" }, "locked": { "lastModified": 1649012450, @@ -11079,9 +10195,9 @@ }, "unionmount_6": { "inputs": { - "flake-compat": "flake-compat_26", - "flake-utils": "flake-utils_38", - "nixpkgs": "nixpkgs_37" + "flake-compat": "flake-compat_24", + "flake-utils": "flake-utils_36", + "nixpkgs": "nixpkgs_36" }, "locked": { "lastModified": 1649012450, @@ -11100,9 +10216,9 @@ }, "unionmount_7": { "inputs": { - "flake-compat": "flake-compat_30", - "flake-utils": "flake-utils_44", - "nixpkgs": "nixpkgs_43" + "flake-compat": "flake-compat_28", + "flake-utils": "flake-utils_42", + "nixpkgs": "nixpkgs_42" }, "locked": { "lastModified": 1649012450, diff --git a/flake.nix b/flake.nix index 9324fc1..41d723c 100644 --- a/flake.nix +++ b/flake.nix @@ -27,19 +27,6 @@ "github:liqwid-labs/plutarch-quickcheck"; inputs.plutarch-context-builder.url = "git+ssh://git@github.com/Liqwid-Labs/plutarch-context-builder?ref=main"; - # Follows jhodgdev's forks of apropos and apropos-tx, as these - # are not constrained to `base ^>= 4.14`. Once these are merged - # to their respective master branches, we should change the - # inputs to follow a commit on those master branches. For more - # info, see: https://github.com/mlabs-haskell/apropos-tx/pull/37 - inputs.apropos-tx.url = - "github:jhodgdev/apropos-tx?rev=4eca3fac23c339caee04ea6176e641a4b3857a25"; - inputs.apropos-tx.inputs.nixpkgs.follows = - "plutarch/haskell-nix/nixpkgs-unstable"; - inputs.apropos.url = - "github:mlabs-haskell/apropos?rev=3734bb3baa297ed990725a5ef14efcbb6a1c1c23"; - inputs.apropos.inputs.nixpkgs.follows = - "plutarch/haskell-nix/nixpkgs-unstable"; # Purescript inputs.purescript-bridge.url = @@ -103,14 +90,6 @@ src = inputs.plutarch-context-builder; subdirs = [ "." ]; } - { - src = inputs.apropos-tx; - subdirs = [ "." ]; - } - { - src = inputs.apropos; - subdirs = [ "." ]; - } { src = inputs.purescript-bridge; subdirs = [ "." ]; @@ -152,10 +131,6 @@ ps.tasty-quickcheck ps.plutarch-quickcheck ps.plutarch-context-builder - ps.apropos-tx - ps.apropos - ps.apropos - ]; }; }; From af1a540b5550c2c9954887e875c9ffd4677faba7 Mon Sep 17 00:00:00 2001 From: Seungheon Oh Date: Wed, 1 Jun 2022 10:34:51 -0500 Subject: [PATCH 3/4] added Docstrings Emily's suggestions --- agora-specs/Property/Generator.hs | 11 +++++++---- agora-specs/Property/MultiSig.hs | 7 +++++-- 2 files changed, 12 insertions(+), 6 deletions(-) diff --git a/agora-specs/Property/Generator.hs b/agora-specs/Property/Generator.hs index c6d7146..3a176ad 100644 --- a/agora-specs/Property/Generator.hs +++ b/agora-specs/Property/Generator.hs @@ -16,7 +16,7 @@ module Property.Generator ( -- * Values genValue, genAssetClass, - genAnyValue, + genSingletonValue, ) where import Control.Applicative (Applicative (liftA2)) @@ -74,14 +74,16 @@ genAddress :: Gen Address genAddress = flip Address Nothing <$> genCredential {- | Random Value of given AssetClass -`genAnyValue` will create a random value with a random assetclass. +`genSingletonValue` will create a random value with a random assetclass. -} genValue :: AssetClass -> Gen Value genValue ac = assetClassValue ac . abs <$> (arbitrary :: Gen Integer) +-- | Random bytestring but only with alphabets for better legibility. genPrettyByteString :: Gen C.ByteString genPrettyByteString = C.pack <$> listOf1 (elements ['a' .. 'z']) +-- | Random @AssetClass@ with pretty token name. genAssetClass :: Gen AssetClass genAssetClass = AssetClass @@ -90,5 +92,6 @@ genAssetClass = (currencySymbol <$> genHashByteString) (tokenName <$> genPrettyByteString) -genAnyValue :: Gen Value -genAnyValue = genAssetClass >>= genValue +-- | Random *singleton* value with random @AssetClass@. +genSingletonValue :: Gen Value +genSingletonValue = genAssetClass >>= genValue diff --git a/agora-specs/Property/MultiSig.hs b/agora-specs/Property/MultiSig.hs index efca9ca..070b9e3 100644 --- a/agora-specs/Property/MultiSig.hs +++ b/agora-specs/Property/MultiSig.hs @@ -28,7 +28,7 @@ import Plutus.V1.Ledger.Api ( ScriptContext (scriptContextTxInfo), TxInfo (txInfoSignatories), ) -import Property.Generator (genAnyValue, genPubKeyHash) +import Property.Generator (genPubKeyHash, genSingletonValue) import Test.Tasty (TestTree) import Test.Tasty.Plutarch.Property (classifiedProperty) import Test.Tasty.QuickCheck ( @@ -63,7 +63,7 @@ genMultiSigProp :: MultiSigProp -> Gen MultiSigModel genMultiSigProp prop = do size <- chooseInt (4, 20) pkhs <- vectorOf size genPubKeyHash - vutxo <- ValidatorUTXO () <$> genAnyValue + vutxo <- ValidatorUTXO () <$> genSingletonValue minSig <- chooseInt (1, length pkhs) othersigners <- take 20 <$> listOf genPubKeyHash @@ -89,6 +89,7 @@ classifyMultiSigProp (MultiSig keys (fromIntegral -> minsig), ctx) shrinkMultiSigProp :: MultiSigModel -> [MultiSigModel] shrinkMultiSigProp = const [] +-- | Expected behavior of @pvalidatedByMultisig@. expected :: Term s (PBuiltinPair PMultiSig PScriptContext :--> PMaybe PBool) expected = plam $ \x -> unTermCont $ do ms <- tclet $ pfstBuiltin # x @@ -98,12 +99,14 @@ expected = plam $ \x -> unTermCont $ do validSigners = plength #$ pfilter # plam (\x -> pelem # x # multsig.keys) # signers pure $ pcon $ PJust $ pfromData multsig.minSigs #<= validSigners +-- | Actual implementation of @pvalidatedByMultisig@. actual :: Term s (PBuiltinPair PMultiSig PScriptContext :--> PBool) actual = plam $ \x -> unTermCont $ do ms <- tclet $ pfstBuiltin # x sc <- tclet $ psndBuiltin # x pure $ pvalidatedByMultisig # ms # (pfield @"txInfo" # sc) +-- | Proposed property. prop :: Property prop = classifiedProperty genMultiSigProp shrinkMultiSigProp expected classifyMultiSigProp actual From 3ad50b218bca6055444a26886b7a314a783ad643 Mon Sep 17 00:00:00 2001 From: Seungheon Oh Date: Wed, 1 Jun 2022 12:28:21 -0500 Subject: [PATCH 4/4] Use native `expected` function --- agora-specs/Property/MultiSig.hs | 16 ++++++---------- flake.lock | 13 +++++++------ flake.nix | 2 +- 3 files changed, 14 insertions(+), 17 deletions(-) diff --git a/agora-specs/Property/MultiSig.hs b/agora-specs/Property/MultiSig.hs index 070b9e3..7868c40 100644 --- a/agora-specs/Property/MultiSig.hs +++ b/agora-specs/Property/MultiSig.hs @@ -30,7 +30,7 @@ import Plutus.V1.Ledger.Api ( ) import Property.Generator (genPubKeyHash, genSingletonValue) import Test.Tasty (TestTree) -import Test.Tasty.Plutarch.Property (classifiedProperty) +import Test.Tasty.Plutarch.Property (classifiedPropertyNative) import Test.Tasty.QuickCheck ( Gen, Property, @@ -90,14 +90,10 @@ shrinkMultiSigProp :: MultiSigModel -> [MultiSigModel] shrinkMultiSigProp = const [] -- | Expected behavior of @pvalidatedByMultisig@. -expected :: Term s (PBuiltinPair PMultiSig PScriptContext :--> PMaybe PBool) -expected = plam $ \x -> unTermCont $ do - ms <- tclet $ pfstBuiltin # x - sc <- tclet $ psndBuiltin # x - multsig <- tcont $ pletFields @'["keys", "minSigs"] ms - let signers = pfromData $ pfield @"signatories" #$ pfromData (pfield @"txInfo" # sc) - validSigners = plength #$ pfilter # plam (\x -> pelem # x # multsig.keys) # signers - pure $ pcon $ PJust $ pfromData multsig.minSigs #<= validSigners +expectedHs :: MultiSigModel -> Maybe Bool +expectedHs model = case classifyMultiSigProp model of + MeetsMinSigs -> Just True + _ -> Just False -- | Actual implementation of @pvalidatedByMultisig@. actual :: Term s (PBuiltinPair PMultiSig PScriptContext :--> PBool) @@ -108,7 +104,7 @@ actual = plam $ \x -> unTermCont $ do -- | Proposed property. prop :: Property -prop = classifiedProperty genMultiSigProp shrinkMultiSigProp expected classifyMultiSigProp actual +prop = classifiedPropertyNative genMultiSigProp shrinkMultiSigProp expectedHs classifyMultiSigProp actual props :: [TestTree] props = diff --git a/flake.lock b/flake.lock index 27b2d9f..78e0841 100644 --- a/flake.lock +++ b/flake.lock @@ -6877,11 +6877,11 @@ }, "nixpkgs-2111_3": { "locked": { - "lastModified": 1653830209, - "narHash": "sha256-V+HnLKJzvk2HZcLUKt9z2puZ46vLo74chOakxbLfXek=", + "lastModified": 1653996475, + "narHash": "sha256-r/UA7h3Dfgf4dlOCkakpqejf1Tagfb+6T+9OdT0qBgU=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "cc257c49c495b2d0d7d40c5753a452d0abc8adf3", + "rev": "ec6eaba9dfcfdd11547d75a193e91e26701bf7e3", "type": "github" }, "original": { @@ -8377,15 +8377,16 @@ "plutarch": "plutarch_5" }, "locked": { - "lastModified": 1653434038, - "narHash": "sha256-0eAtAVkD3MKkLCmHbI1NncaEK73UmweWtrYKOuwMLWY=", + "lastModified": 1654103825, + "narHash": "sha256-i9M7qIp4mnt4Oce3R9zdLHQQaww8lQCpjtz2YkfcyBY=", "owner": "liqwid-labs", "repo": "plutarch-quickcheck", - "rev": "853a1135a401660c87771e698334d5b15b77e031", + "rev": "60bd32efe3be8830de3d1ac796b436eaed01826f", "type": "github" }, "original": { "owner": "liqwid-labs", + "ref": "staging", "repo": "plutarch-quickcheck", "type": "github" } diff --git a/flake.nix b/flake.nix index 41d723c..23640dd 100644 --- a/flake.nix +++ b/flake.nix @@ -24,7 +24,7 @@ # Testing inputs.plutarch-quickcheck.url = - "github:liqwid-labs/plutarch-quickcheck"; + "github:liqwid-labs/plutarch-quickcheck?ref=staging"; inputs.plutarch-context-builder.url = "git+ssh://git@github.com/Liqwid-Labs/plutarch-context-builder?ref=main";