From 3af4a7438a2a1cf40ef4cd3a29b0f50766a3da64 Mon Sep 17 00:00:00 2001 From: Seungheon Oh Date: Wed, 27 Jul 2022 09:41:01 -0500 Subject: [PATCH] remove `Agora.MultiSig` --- agora-purescript-bridge/AgoraTypes.hs | 3 - agora-specs/Property/MultiSig.hs | 107 -- agora-test/Spec.hs | 4 - agora.cabal | 2 - agora/Agora/MultiSig.hs | 137 -- flake.lock | 2133 +++++++++++++++++++------ flake.nix | 6 +- 7 files changed, 1639 insertions(+), 753 deletions(-) delete mode 100644 agora-specs/Property/MultiSig.hs delete mode 100644 agora/Agora/MultiSig.hs diff --git a/agora-purescript-bridge/AgoraTypes.hs b/agora-purescript-bridge/AgoraTypes.hs index f4f0afe..253f5de 100644 --- a/agora-purescript-bridge/AgoraTypes.hs +++ b/agora-purescript-bridge/AgoraTypes.hs @@ -15,7 +15,6 @@ import Agora.AuthorityToken qualified as AuthorityToken import Agora.Effect.GovernorMutation qualified as GovernorMutation import Agora.Effect.TreasuryWithdrawal qualified as TreasuryWithdrawalEffect import Agora.Governor qualified as Governor -import Agora.MultiSig qualified as MultiSig import Agora.Proposal qualified as Proposal import Agora.Stake qualified as Stake import Agora.Treasury qualified as Treasury @@ -37,8 +36,6 @@ agoraTypes = mkSumType (Proxy @Governor.GovernorDatum) , mkSumType (Proxy @Governor.GovernorRedeemer) , mkSumType (Proxy @Governor.Governor) - , -- MultiSig - mkSumType (Proxy @MultiSig.MultiSig) , -- Stake mkSumType (Proxy @Stake.Stake) , mkSumType (Proxy @Stake.ProposalLock) diff --git a/agora-specs/Property/MultiSig.hs b/agora-specs/Property/MultiSig.hs deleted file mode 100644 index 3d0d98c..0000000 --- a/agora-specs/Property/MultiSig.hs +++ /dev/null @@ -1,107 +0,0 @@ -{- | -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 Data.Tagged (Tagged (Tagged)) -import Data.Universe (Finite (..), Universe (..)) -import Plutarch.Api.V1 (PScriptContext) -import Plutarch.Context -import Plutarch.Extra.TermCont (pletC) -import PlutusLedgerApi.V1 ( - ScriptContext (..), - ScriptPurpose (..), - TxInfo (txInfoSignatories), - TxOutRef (..), - ) -import Property.Generator (genPubKeyHash) -import Test.Tasty (TestTree) -import Test.Tasty.Plutarch.Property (classifiedPropertyNative) -import Test.Tasty.QuickCheck ( - Gen, - Property, - chooseInt, - listOf, - testProperty, - vectorOf, - ) - --- | 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 - 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 :: BaseBuilder - builder = mconcat $ signedWith <$> take n pkhs <> othersigners - txinfo = buildTxInfoUnsafe builder - pure (ms, ScriptContext txinfo (Spending (TxOutRef "" 0))) - --- | 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 behavior of @pvalidatedByMultisig@. -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) -actual = plam $ \x -> unTermCont $ do - ms <- pletC $ pfstBuiltin # x - sc <- pletC $ psndBuiltin # x - pure $ pvalidatedByMultisig # ms # (pfield @"txInfo" # sc) - --- | Proposed property. -prop :: Property -prop = classifiedPropertyNative genMultiSigProp shrinkMultiSigProp expectedHs classifyMultiSigProp actual - -props :: [TestTree] -props = - [ testProperty "MultiSig property" prop - ] diff --git a/agora-test/Spec.hs b/agora-test/Spec.hs index e11a5e1..ed7b983 100644 --- a/agora-test/Spec.hs +++ b/agora-test/Spec.hs @@ -8,7 +8,6 @@ import Test.Tasty (defaultMain, testGroup) -------------------------------------------------------------------------------- import Property.Governor qualified as Governer -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 @@ -42,7 +41,4 @@ main = do , testGroup "Utility tests" Utils.tests - , testGroup - "Multisig tests" - MultiSig.props ] diff --git a/agora.cabal b/agora.cabal index 1050c07..5fb6e63 100644 --- a/agora.cabal +++ b/agora.cabal @@ -149,7 +149,6 @@ library Agora.Effect.TreasuryWithdrawal Agora.Governor Agora.Governor.Scripts - Agora.MultiSig Agora.Plutarch.Orphans Agora.Proposal Agora.Proposal.Scripts @@ -184,7 +183,6 @@ library agora-specs exposed-modules: Property.Generator Property.Governor - Property.MultiSig Sample.Effect.GovernorMutation Sample.Effect.TreasuryWithdrawal Sample.Governor.Initialize diff --git a/agora/Agora/MultiSig.hs b/agora/Agora/MultiSig.hs deleted file mode 100644 index 5f34ec8..0000000 --- a/agora/Agora/MultiSig.hs +++ /dev/null @@ -1,137 +0,0 @@ -{-# LANGUAGE TemplateHaskell #-} - -{- | -Module : Agora.MultiSig -Maintainer : riley_kilgore@outlook.com -Description: A basic N of M multisignature validation function. - -A basic N of M multisignature validation function. --} -module Agora.MultiSig ( - validatedByMultisig, - pvalidatedByMultisig, - PMultiSig (..), - MultiSig (..), -) where - -import GHC.Generics qualified as GHC -import Generics.SOP (Generic, I (I)) -import Plutarch.Api.V1 ( - PPubKeyHash, - PTxInfo (..), - ) -import Plutarch.DataRepr ( - DerivePConstantViaData (DerivePConstantViaData), - PDataFields, - PIsDataReprInstances (PIsDataReprInstances), - ) -import Plutarch.Extra.TermCont (pletFieldsC) -import Plutarch.Lift ( - PConstantDecl, - PLifted, - PUnsafeLiftDecl, - ) -import PlutusLedgerApi.V1.Crypto (PubKeyHash) -import PlutusTx qualified -import Prelude - --------------------------------------------------------------------------------- - -{- | A MultiSig represents a proof that a particular set of signatures - are present on a transaction. - - @since 0.1.0 --} -data MultiSig = MultiSig - { keys :: [PubKeyHash] - -- ^ List of PubKeyHashes that must be present in the list of signatories. - , minSigs :: Integer - } - deriving stock - ( -- | @since 0.1.0 - GHC.Generic - , -- | @since 0.1.0 - Eq - , -- | @since 0.1.0 - Show - ) - deriving anyclass - ( -- | @since 0.1.0 - Generic - ) - -PlutusTx.makeLift ''MultiSig -PlutusTx.unstableMakeIsData ''MultiSig - -{- | Plutarch-level MultiSig - - @since 0.1.0 --} -newtype PMultiSig (s :: S) = PMultiSig - { getMultiSig :: - Term - s - ( PDataRecord - '[ "keys" ':= PBuiltinList (PAsData PPubKeyHash) - , "minSigs" ':= PInteger - ] - ) - } - deriving stock - ( -- | @since 0.1.0 - GHC.Generic - ) - deriving anyclass - ( -- | @since 0.1.0 - Generic - ) - deriving anyclass - ( -- | @since 0.1.0 - PIsDataRepr - ) - deriving - ( -- | @since 0.1.0 - PlutusType - , -- | @since 0.1.0 - PIsData - , -- | @since 0.1.0 - PDataFields - ) - via (PIsDataReprInstances PMultiSig) - --- | @since 0.1.0 -instance PUnsafeLiftDecl PMultiSig where type PLifted PMultiSig = MultiSig - --- | @since 0.1.0 -deriving via (DerivePConstantViaData MultiSig PMultiSig) instance (PConstantDecl MultiSig) - --------------------------------------------------------------------------------- - -{- | Check if a Haskell-level MultiSig signs this transaction. - - @since 0.1.0 --} -validatedByMultisig :: MultiSig -> Term s (PTxInfo :--> PBool) -validatedByMultisig params = - phoistAcyclic $ - pvalidatedByMultisig # pconstant params - -{- | Check if a Plutarch-level MultiSig signs this transaction. - - @since 0.1.0 --} -pvalidatedByMultisig :: Term s (PMultiSig :--> PTxInfo :--> PBool) -pvalidatedByMultisig = - phoistAcyclic $ - plam $ \multi' txInfo -> unTermCont $ do - multi <- pletFieldsC @'["keys", "minSigs"] multi' - let signatories = pfield @"signatories" # txInfo - pure $ - pfromData multi.minSigs - #<= ( plength #$ pfilter - # plam - ( \a -> - pelem # a # pfromData signatories - ) - # multi.keys - ) diff --git a/flake.lock b/flake.lock index 04af4ee..9e4d757 100644 --- a/flake.lock +++ b/flake.lock @@ -64,6 +64,22 @@ "type": "github" } }, + "HTTP_13": { + "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": { @@ -276,6 +292,23 @@ "type": "github" } }, + "cabal-32_13": { + "flake": false, + "locked": { + "lastModified": 1603716527, + "narHash": "sha256-X0TFfdD4KZpwl0Zr6x+PLxUt/VyKQfX7ylXHdmZIL+w=", + "owner": "haskell", + "repo": "cabal", + "rev": "48bf10787e27364730dd37a42b603cee8d6af7ee", + "type": "github" + }, + "original": { + "owner": "haskell", + "ref": "3.2", + "repo": "cabal", + "type": "github" + } + }, "cabal-32_2": { "flake": false, "locked": { @@ -480,6 +513,23 @@ "type": "github" } }, + "cabal-34_13": { + "flake": false, + "locked": { + "lastModified": 1640353650, + "narHash": "sha256-N1t6M3/wqj90AEdRkeC8i923gQYUpzSr8b40qVOZ1Rk=", + "owner": "haskell", + "repo": "cabal", + "rev": "942639c18c0cd8ec53e0a6f8d120091af35312cd", + "type": "github" + }, + "original": { + "owner": "haskell", + "ref": "3.4", + "repo": "cabal", + "type": "github" + } + }, "cabal-34_2": { "flake": false, "locked": { @@ -684,6 +734,23 @@ "type": "github" } }, + "cabal-36_13": { + "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" + } + }, "cabal-36_2": { "flake": false, "locked": { @@ -853,6 +920,22 @@ } }, "cardano-base_11": { + "flake": false, + "locked": { + "lastModified": 1652788515, + "narHash": "sha256-l0KgomRi6YhEoOlFnBYEXhnZO2+PW68rhfUrbMXjhCQ=", + "owner": "input-output-hk", + "repo": "cardano-base", + "rev": "631cb6cf1fa01ab346233b610a38b3b4cba6e6ab", + "type": "github" + }, + "original": { + "owner": "input-output-hk", + "repo": "cardano-base", + "type": "github" + } + }, + "cardano-base_12": { "flake": false, "locked": { "lastModified": 1638456794, @@ -868,7 +951,7 @@ "type": "github" } }, - "cardano-base_12": { + "cardano-base_13": { "flake": false, "locked": { "lastModified": 1652788515, @@ -1080,6 +1163,23 @@ "type": "github" } }, + "cardano-crypto_13": { + "flake": false, + "locked": { + "lastModified": 1621376239, + "narHash": "sha256-oxIOVlgm07FAEmgGRF1C2me9TXqVxQulEOcJ22zpTRs=", + "owner": "input-output-hk", + "repo": "cardano-crypto", + "rev": "07397f0e50da97eaa0575d93bee7ac4b2b2576ec", + "type": "github" + }, + "original": { + "owner": "input-output-hk", + "repo": "cardano-crypto", + "rev": "07397f0e50da97eaa0575d93bee7ac4b2b2576ec", + "type": "github" + } + }, "cardano-crypto_2": { "flake": false, "locked": { @@ -1251,6 +1351,23 @@ } }, "cardano-prelude_11": { + "flake": false, + "locked": { + "lastModified": 1653997332, + "narHash": "sha256-E+YSfUsvxdoOr7n7fz4xd7zb4z8XBRGNYOKipc2A1pw=", + "owner": "mlabs-haskell", + "repo": "cardano-prelude", + "rev": "713c7ae79a4d538fcd653c976a652913df1567b9", + "type": "github" + }, + "original": { + "owner": "mlabs-haskell", + "repo": "cardano-prelude", + "rev": "713c7ae79a4d538fcd653c976a652913df1567b9", + "type": "github" + } + }, + "cardano-prelude_12": { "flake": false, "locked": { "lastModified": 1641566029, @@ -1267,7 +1384,7 @@ "type": "github" } }, - "cardano-prelude_12": { + "cardano-prelude_13": { "flake": false, "locked": { "lastModified": 1653997332, @@ -1484,6 +1601,22 @@ "type": "github" } }, + "cardano-repo-tool_13": { + "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-repo-tool_2": { "flake": false, "locked": { @@ -1676,6 +1809,22 @@ "type": "github" } }, + "cardano-shell_13": { + "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": { @@ -1846,9 +1995,30 @@ "inputs": { "flake-compat": "flake-compat_19", "flake-utils": "flake-utils_29", - "lint-utils": "lint-utils", "nixpkgs": "nixpkgs_49" }, + "locked": { + "lastModified": 1653742730, + "narHash": "sha256-NyhjoMbm3h1aTskIU6jowNClSgA92bUcGcVNPfWNWgE=", + "owner": "srid", + "repo": "ema", + "rev": "50d9499db16b4e334776d8e8cffcd144c67f9fc4", + "type": "github" + }, + "original": { + "owner": "srid", + "ref": "multisite", + "repo": "ema", + "type": "github" + } + }, + "ema_11": { + "inputs": { + "flake-compat": "flake-compat_21", + "flake-utils": "flake-utils_32", + "lint-utils": "lint-utils", + "nixpkgs": "nixpkgs_54" + }, "locked": { "lastModified": 1650932571, "narHash": "sha256-rdpfJ+10a1uBPtHMNoAcpDE183RzpILRpsMgxj/YJek=", @@ -1909,8 +2079,8 @@ "ema_4": { "inputs": { "flake-compat": "flake-compat_7", - "flake-utils": "flake-utils_11", - "nixpkgs": "nixpkgs_19" + "flake-utils": "flake-utils_10", + "nixpkgs": "nixpkgs_16" }, "locked": { "lastModified": 1653742730, @@ -2079,6 +2249,50 @@ "emanote_10": { "inputs": { "ema": "ema_10", + "flake-compat": [ + "plutarch-safe-money", + "plutarch", + "emanote", + "ema", + "flake-compat" + ], + "flake-utils": [ + "plutarch-safe-money", + "plutarch", + "emanote", + "ema", + "flake-utils" + ], + "heist": "heist_10", + "ixset-typed": "ixset-typed_10", + "nixpkgs": [ + "plutarch-safe-money", + "plutarch", + "emanote", + "ema", + "nixpkgs" + ], + "pandoc-link-context": "pandoc-link-context_10", + "tailwind-haskell": "tailwind-haskell_10" + }, + "locked": { + "lastModified": 1653742875, + "narHash": "sha256-2IFMkA6/T0nCQHQcC8UhYWh8q8FQyGDBKfcDIhBJ3JM=", + "owner": "srid", + "repo": "emanote", + "rev": "ab5155ef400ce83a744362a4b953315d7ee6a8c3", + "type": "github" + }, + "original": { + "owner": "srid", + "ref": "master", + "repo": "emanote", + "type": "github" + } + }, + "emanote_11": { + "inputs": { + "ema": "ema_11", "flake-compat": [ "plutarch-safe-money", "plutarch-numeric", @@ -2095,8 +2309,8 @@ "ema", "flake-utils" ], - "heist": "heist_10", - "ixset-typed": "ixset-typed_10", + "heist": "heist_11", + "ixset-typed": "ixset-typed_11", "nixpkgs": [ "plutarch-safe-money", "plutarch-numeric", @@ -2105,9 +2319,9 @@ "ema", "nixpkgs" ], - "pandoc-link-context": "pandoc-link-context_10", + "pandoc-link-context": "pandoc-link-context_11", "pathtree": "pathtree", - "tailwind-haskell": "tailwind-haskell_10", + "tailwind-haskell": "tailwind-haskell_11", "unionmount": "unionmount" }, "locked": { @@ -2130,7 +2344,7 @@ "ema": "ema_2", "flake-compat": [ "liqwid-plutarch-extra", - "plutarch-numeric", + "plutarch-context-builder", "plutarch", "emanote", "ema", @@ -2138,7 +2352,7 @@ ], "flake-utils": [ "liqwid-plutarch-extra", - "plutarch-numeric", + "plutarch-context-builder", "plutarch", "emanote", "ema", @@ -2148,7 +2362,7 @@ "ixset-typed": "ixset-typed_2", "nixpkgs": [ "liqwid-plutarch-extra", - "plutarch-numeric", + "plutarch-context-builder", "plutarch", "emanote", "ema", @@ -2177,7 +2391,7 @@ "ema": "ema_3", "flake-compat": [ "liqwid-plutarch-extra", - "plutarch-quickcheck", + "plutarch-numeric", "plutarch", "emanote", "ema", @@ -2185,7 +2399,7 @@ ], "flake-utils": [ "liqwid-plutarch-extra", - "plutarch-quickcheck", + "plutarch-numeric", "plutarch", "emanote", "ema", @@ -2195,7 +2409,7 @@ "ixset-typed": "ixset-typed_3", "nixpkgs": [ "liqwid-plutarch-extra", - "plutarch-quickcheck", + "plutarch-numeric", "plutarch", "emanote", "ema", @@ -2223,14 +2437,16 @@ "inputs": { "ema": "ema_4", "flake-compat": [ - "plutarch-context-builder", + "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "emanote", "ema", "flake-compat" ], "flake-utils": [ - "plutarch-context-builder", + "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "emanote", "ema", @@ -2239,7 +2455,8 @@ "heist": "heist_4", "ixset-typed": "ixset-typed_4", "nixpkgs": [ - "plutarch-context-builder", + "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "emanote", "ema", @@ -2267,14 +2484,14 @@ "inputs": { "ema": "ema_5", "flake-compat": [ - "plutarch-numeric", + "plutarch-context-builder", "plutarch", "emanote", "ema", "flake-compat" ], "flake-utils": [ - "plutarch-numeric", + "plutarch-context-builder", "plutarch", "emanote", "ema", @@ -2283,7 +2500,7 @@ "heist": "heist_5", "ixset-typed": "ixset-typed_5", "nixpkgs": [ - "plutarch-numeric", + "plutarch-context-builder", "plutarch", "emanote", "ema", @@ -2311,14 +2528,14 @@ "inputs": { "ema": "ema_6", "flake-compat": [ - "plutarch-quickcheck", + "plutarch-numeric", "plutarch", "emanote", "ema", "flake-compat" ], "flake-utils": [ - "plutarch-quickcheck", + "plutarch-numeric", "plutarch", "emanote", "ema", @@ -2327,7 +2544,7 @@ "heist": "heist_6", "ixset-typed": "ixset-typed_6", "nixpkgs": [ - "plutarch-quickcheck", + "plutarch-numeric", "plutarch", "emanote", "ema", @@ -2355,16 +2572,14 @@ "inputs": { "ema": "ema_7", "flake-compat": [ - "plutarch-safe-money", - "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "emanote", "ema", "flake-compat" ], "flake-utils": [ - "plutarch-safe-money", - "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "emanote", "ema", @@ -2373,8 +2588,7 @@ "heist": "heist_7", "ixset-typed": "ixset-typed_7", "nixpkgs": [ - "plutarch-safe-money", - "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "emanote", "ema", @@ -2404,7 +2618,6 @@ "flake-compat": [ "plutarch-safe-money", "liqwid-plutarch-extra", - "plutarch-quickcheck", "plutarch", "emanote", "ema", @@ -2413,7 +2626,6 @@ "flake-utils": [ "plutarch-safe-money", "liqwid-plutarch-extra", - "plutarch-quickcheck", "plutarch", "emanote", "ema", @@ -2424,7 +2636,6 @@ "nixpkgs": [ "plutarch-safe-money", "liqwid-plutarch-extra", - "plutarch-quickcheck", "plutarch", "emanote", "ema", @@ -2453,6 +2664,8 @@ "ema": "ema_9", "flake-compat": [ "plutarch-safe-money", + "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "emanote", "ema", @@ -2460,6 +2673,8 @@ ], "flake-utils": [ "plutarch-safe-money", + "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "emanote", "ema", @@ -2469,6 +2684,8 @@ "ixset-typed": "ixset-typed_9", "nixpkgs": [ "plutarch-safe-money", + "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "emanote", "ema", @@ -2655,11 +2872,11 @@ "flake-compat_19": { "flake": false, "locked": { - "lastModified": 1648199409, - "narHash": "sha256-JwPKdC2PoVBkG6E+eWw3j6BMR6sL3COpYWfif7RVb8Y=", + "lastModified": 1650374568, + "narHash": "sha256-Z+s0J8/r907g149rllvwhb4pKi8Wam5ij0st8PwAh+E=", "owner": "edolstra", "repo": "flake-compat", - "rev": "64a525ee38886ab9028e6f61790de0832aa3ef03", + "rev": "b4a34015c698c7793d592d66adbab377907a2be8", "type": "github" }, "original": { @@ -2701,6 +2918,22 @@ } }, "flake-compat_21": { + "flake": false, + "locked": { + "lastModified": 1648199409, + "narHash": "sha256-JwPKdC2PoVBkG6E+eWw3j6BMR6sL3COpYWfif7RVb8Y=", + "owner": "edolstra", + "repo": "flake-compat", + "rev": "64a525ee38886ab9028e6f61790de0832aa3ef03", + "type": "github" + }, + "original": { + "owner": "edolstra", + "repo": "flake-compat", + "type": "github" + } + }, + "flake-compat_22": { "flake": false, "locked": { "lastModified": 1641205782, @@ -2716,7 +2949,23 @@ "type": "github" } }, - "flake-compat_22": { + "flake-compat_23": { + "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_24": { "flake": false, "locked": { "lastModified": 1627913399, @@ -2862,15 +3111,16 @@ }, "flake-utils_10": { "locked": { - "lastModified": 1644229661, - "narHash": "sha256-1YdnJAsNy69bpcjuoKdOYQX0YxZBiCYZo4Twxerqv7k=", + "lastModified": 1652776076, + "narHash": "sha256-gzTw/v1vj4dOVbpBSJX4J0DwUR6LIyXo7/SuuTJp1kM=", "owner": "numtide", "repo": "flake-utils", - "rev": "3cecb5b042f7f209c56ffd8371b2711a290ec797", + "rev": "04c1b180862888302ddfb2e3ad9eaa63afc60cf8", "type": "github" }, "original": { "owner": "numtide", + "ref": "v1.0.0", "repo": "flake-utils", "type": "github" } @@ -2893,16 +3143,15 @@ }, "flake-utils_12": { "locked": { - "lastModified": 1652776076, - "narHash": "sha256-gzTw/v1vj4dOVbpBSJX4J0DwUR6LIyXo7/SuuTJp1kM=", + "lastModified": 1644229661, + "narHash": "sha256-1YdnJAsNy69bpcjuoKdOYQX0YxZBiCYZo4Twxerqv7k=", "owner": "numtide", "repo": "flake-utils", - "rev": "04c1b180862888302ddfb2e3ad9eaa63afc60cf8", + "rev": "3cecb5b042f7f209c56ffd8371b2711a290ec797", "type": "github" }, "original": { "owner": "numtide", - "ref": "v1.0.0", "repo": "flake-utils", "type": "github" } @@ -3175,15 +3424,16 @@ }, "flake-utils_29": { "locked": { - "lastModified": 1648297722, - "narHash": "sha256-W+qlPsiZd8F3XkzXOzAoR+mpFqzm3ekQkJNa+PIh1BQ=", + "lastModified": 1652776076, + "narHash": "sha256-gzTw/v1vj4dOVbpBSJX4J0DwUR6LIyXo7/SuuTJp1kM=", "owner": "numtide", "repo": "flake-utils", - "rev": "0f8662f1319ad6abf89b3380dd2722369fc51ade", + "rev": "04c1b180862888302ddfb2e3ad9eaa63afc60cf8", "type": "github" }, "original": { "owner": "numtide", + "ref": "v1.0.0", "repo": "flake-utils", "type": "github" } @@ -3204,6 +3454,22 @@ } }, "flake-utils_30": { + "locked": { + "lastModified": 1652776076, + "narHash": "sha256-gzTw/v1vj4dOVbpBSJX4J0DwUR6LIyXo7/SuuTJp1kM=", + "owner": "numtide", + "repo": "flake-utils", + "rev": "04c1b180862888302ddfb2e3ad9eaa63afc60cf8", + "type": "github" + }, + "original": { + "owner": "numtide", + "ref": "v1.0.0", + "repo": "flake-utils", + "type": "github" + } + }, + "flake-utils_31": { "locked": { "lastModified": 1644229661, "narHash": "sha256-1YdnJAsNy69bpcjuoKdOYQX0YxZBiCYZo4Twxerqv7k=", @@ -3218,28 +3484,13 @@ "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": 1642700792, - "narHash": "sha256-XqHrk7hFb+zBvRg6Ghl+AZDq03ov6OshJLiSWOoX5es=", + "lastModified": 1648297722, + "narHash": "sha256-W+qlPsiZd8F3XkzXOzAoR+mpFqzm3ekQkJNa+PIh1BQ=", "owner": "numtide", "repo": "flake-utils", - "rev": "846b2ae0fc4cc943637d3d1def4454213e203cba", + "rev": "0f8662f1319ad6abf89b3380dd2722369fc51ade", "type": "github" }, "original": { @@ -3249,6 +3500,51 @@ } }, "flake-utils_33": { + "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_34": { + "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_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=", @@ -3263,7 +3559,7 @@ "type": "github" } }, - "flake-utils_34": { + "flake-utils_37": { "locked": { "lastModified": 1644229661, "narHash": "sha256-1YdnJAsNy69bpcjuoKdOYQX0YxZBiCYZo4Twxerqv7k=", @@ -3278,7 +3574,7 @@ "type": "github" } }, - "flake-utils_35": { + "flake-utils_38": { "locked": { "lastModified": 1644229661, "narHash": "sha256-1YdnJAsNy69bpcjuoKdOYQX0YxZBiCYZo4Twxerqv7k=", @@ -3420,6 +3716,22 @@ } }, "flat_11": { + "flake": false, + "locked": { + "lastModified": 1651403785, + "narHash": "sha256-g+jGep1IXdw4q01W67J6f6OODY91QzIlW1+Eu8pR+u0=", + "owner": "Quid2", + "repo": "flat", + "rev": "559617e058098b776b431e2a67346ad3adea2440", + "type": "github" + }, + "original": { + "owner": "Quid2", + "repo": "flat", + "type": "github" + } + }, + "flat_12": { "flake": false, "locked": { "lastModified": 1641898475, @@ -3436,7 +3748,7 @@ "type": "github" } }, - "flat_12": { + "flat_13": { "flake": false, "locked": { "lastModified": 1651403785, @@ -3665,6 +3977,23 @@ "type": "github" } }, + "ghc-8.6.5-iohk_13": { + "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": { @@ -3865,6 +4194,22 @@ "type": "github" } }, + "gitignore-nix_13": { + "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" + } + }, "gitignore-nix_2": { "flake": false, "locked": { @@ -4042,6 +4387,22 @@ } }, "hackage-nix_11": { + "flake": false, + "locked": { + "lastModified": 1651108473, + "narHash": "sha256-zHGCnBdwKvrcYanjf3GARTWF8V2pyJl1QNONUNZSoc0=", + "owner": "input-output-hk", + "repo": "hackage.nix", + "rev": "dbab3b292c3400d028a2257e3acd2ac0249da774", + "type": "github" + }, + "original": { + "owner": "input-output-hk", + "repo": "hackage.nix", + "type": "github" + } + }, + "hackage-nix_12": { "flake": false, "locked": { "lastModified": 1644369434, @@ -4057,7 +4418,7 @@ "type": "github" } }, - "hackage-nix_12": { + "hackage-nix_13": { "flake": false, "locked": { "lastModified": 1651108473, @@ -4218,6 +4579,22 @@ } }, "hackage_11": { + "flake": false, + "locked": { + "lastModified": 1654046237, + "narHash": "sha256-FpM9zE+Q+WrvCiaZBCg5U1g0bYpiZOCxY8V3R5ydBu8=", + "owner": "input-output-hk", + "repo": "hackage.nix", + "rev": "eeae1790b9c6a880d96e4a7214fdf0a73bdd6fc0", + "type": "github" + }, + "original": { + "owner": "input-output-hk", + "repo": "hackage.nix", + "type": "github" + } + }, + "hackage_12": { "flake": false, "locked": { "lastModified": 1644887696, @@ -4233,7 +4610,7 @@ "type": "github" } }, - "hackage_12": { + "hackage_13": { "flake": false, "locked": { "lastModified": 1654046237, @@ -4394,6 +4771,22 @@ } }, "haskell-language-server_10": { + "flake": false, + "locked": { + "lastModified": 1654120290, + "narHash": "sha256-6NuFBnEzJPvWfvbYxXk/WCQDjsEbjCQ1nAelhBDi4yQ=", + "owner": "haskell", + "repo": "haskell-language-server", + "rev": "140f9040ae88352ca1140a750e7c26485fdfbe17", + "type": "github" + }, + "original": { + "owner": "haskell", + "repo": "haskell-language-server", + "type": "github" + } + }, + "haskell-language-server_11": { "flake": false, "locked": { "lastModified": 1653778781, @@ -4409,7 +4802,7 @@ "type": "github" } }, - "haskell-language-server_11": { + "haskell-language-server_12": { "flake": false, "locked": { "lastModified": 1650980856, @@ -4426,22 +4819,6 @@ "type": "github" } }, - "haskell-language-server_12": { - "flake": false, - "locked": { - "lastModified": 1654120290, - "narHash": "sha256-6NuFBnEzJPvWfvbYxXk/WCQDjsEbjCQ1nAelhBDi4yQ=", - "owner": "haskell", - "repo": "haskell-language-server", - "rev": "140f9040ae88352ca1140a750e7c26485fdfbe17", - "type": "github" - }, - "original": { - "owner": "haskell", - "repo": "haskell-language-server", - "type": "github" - } - }, "haskell-language-server_13": { "flake": false, "locked": { @@ -4606,22 +4983,6 @@ } }, "haskell-language-server_22": { - "flake": false, - "locked": { - "lastModified": 1654120290, - "narHash": "sha256-6NuFBnEzJPvWfvbYxXk/WCQDjsEbjCQ1nAelhBDi4yQ=", - "owner": "haskell", - "repo": "haskell-language-server", - "rev": "140f9040ae88352ca1140a750e7c26485fdfbe17", - "type": "github" - }, - "original": { - "owner": "haskell", - "repo": "haskell-language-server", - "type": "github" - } - }, - "haskell-language-server_23": { "flake": false, "locked": { "lastModified": 1653778781, @@ -4637,7 +4998,7 @@ "type": "github" } }, - "haskell-language-server_24": { + "haskell-language-server_23": { "flake": false, "locked": { "lastModified": 1650980856, @@ -4654,6 +5015,22 @@ "type": "github" } }, + "haskell-language-server_24": { + "flake": false, + "locked": { + "lastModified": 1654120290, + "narHash": "sha256-6NuFBnEzJPvWfvbYxXk/WCQDjsEbjCQ1nAelhBDi4yQ=", + "owner": "haskell", + "repo": "haskell-language-server", + "rev": "140f9040ae88352ca1140a750e7c26485fdfbe17", + "type": "github" + }, + "original": { + "owner": "haskell", + "repo": "haskell-language-server", + "type": "github" + } + }, "haskell-language-server_25": { "flake": false, "locked": { @@ -4706,11 +5083,11 @@ "haskell-language-server_28": { "flake": false, "locked": { - "lastModified": 1653778781, - "narHash": "sha256-oEVBaYRLjD4gC3vQuT0DCgmCSIeWSwGPVXXSKJDFUK0=", + "lastModified": 1654120290, + "narHash": "sha256-6NuFBnEzJPvWfvbYxXk/WCQDjsEbjCQ1nAelhBDi4yQ=", "owner": "haskell", "repo": "haskell-language-server", - "rev": "8c47d6ce2a8409a285a3f4c3f0e10c25fb4dd848", + "rev": "140f9040ae88352ca1140a750e7c26485fdfbe17", "type": "github" }, "original": { @@ -4722,16 +5099,15 @@ "haskell-language-server_29": { "flake": false, "locked": { - "lastModified": 1650980856, - "narHash": "sha256-uiwsfh/K3IABZDYj7JUZNIAPRVqH6g/r8X6QKg8DrZE=", + "lastModified": 1653778781, + "narHash": "sha256-oEVBaYRLjD4gC3vQuT0DCgmCSIeWSwGPVXXSKJDFUK0=", "owner": "haskell", "repo": "haskell-language-server", - "rev": "b5a37f7fc360596899cb2945f363030f44156415", + "rev": "8c47d6ce2a8409a285a3f4c3f0e10c25fb4dd848", "type": "github" }, "original": { "owner": "haskell", - "ref": "1.7.0.0", "repo": "haskell-language-server", "type": "github" } @@ -4754,6 +5130,56 @@ } }, "haskell-language-server_30": { + "flake": false, + "locked": { + "lastModified": 1650980856, + "narHash": "sha256-uiwsfh/K3IABZDYj7JUZNIAPRVqH6g/r8X6QKg8DrZE=", + "owner": "haskell", + "repo": "haskell-language-server", + "rev": "b5a37f7fc360596899cb2945f363030f44156415", + "type": "github" + }, + "original": { + "owner": "haskell", + "ref": "1.7.0.0", + "repo": "haskell-language-server", + "type": "github" + } + }, + "haskell-language-server_31": { + "flake": false, + "locked": { + "lastModified": 1653778781, + "narHash": "sha256-oEVBaYRLjD4gC3vQuT0DCgmCSIeWSwGPVXXSKJDFUK0=", + "owner": "haskell", + "repo": "haskell-language-server", + "rev": "8c47d6ce2a8409a285a3f4c3f0e10c25fb4dd848", + "type": "github" + }, + "original": { + "owner": "haskell", + "repo": "haskell-language-server", + "type": "github" + } + }, + "haskell-language-server_32": { + "flake": false, + "locked": { + "lastModified": 1650980856, + "narHash": "sha256-uiwsfh/K3IABZDYj7JUZNIAPRVqH6g/r8X6QKg8DrZE=", + "owner": "haskell", + "repo": "haskell-language-server", + "rev": "b5a37f7fc360596899cb2945f363030f44156415", + "type": "github" + }, + "original": { + "owner": "haskell", + "ref": "1.7.0.0", + "repo": "haskell-language-server", + "type": "github" + } + }, + "haskell-language-server_33": { "flake": false, "locked": { "lastModified": 1655140576, @@ -4769,7 +5195,7 @@ "type": "github" } }, - "haskell-language-server_31": { + "haskell-language-server_34": { "flake": false, "locked": { "lastModified": 1645014262, @@ -4785,7 +5211,7 @@ "type": "github" } }, - "haskell-language-server_32": { + "haskell-language-server_35": { "flake": false, "locked": { "lastModified": 1643835246, @@ -4802,7 +5228,7 @@ "type": "github" } }, - "haskell-language-server_33": { + "haskell-language-server_36": { "flake": false, "locked": { "lastModified": 1653778781, @@ -4818,7 +5244,7 @@ "type": "github" } }, - "haskell-language-server_34": { + "haskell-language-server_37": { "flake": false, "locked": { "lastModified": 1650980856, @@ -5001,6 +5427,37 @@ } }, "haskell-nix-extra-hackage_10": { + "inputs": { + "haskell-nix": [ + "plutarch-safe-money", + "liqwid-plutarch-extra", + "plutarch-quickcheck", + "plutarch", + "haskell-nix" + ], + "nixpkgs": [ + "plutarch-safe-money", + "liqwid-plutarch-extra", + "plutarch-quickcheck", + "plutarch", + "nixpkgs" + ] + }, + "locked": { + "lastModified": 1653405678, + "narHash": "sha256-fPpPxuCZDF5b/iQgmUg2jspPObsK0mpcchUti/LR8D0=", + "owner": "mlabs-haskell", + "repo": "haskell-nix-extra-hackage", + "rev": "cf4613eb0d883a8c12c86d7cdbdaaf15fdc70128", + "type": "github" + }, + "original": { + "owner": "mlabs-haskell", + "repo": "haskell-nix-extra-hackage", + "type": "github" + } + }, + "haskell-nix-extra-hackage_11": { "inputs": { "haskell-nix": [ "plutarch-safe-money", @@ -5027,7 +5484,7 @@ "type": "github" } }, - "haskell-nix-extra-hackage_11": { + "haskell-nix-extra-hackage_12": { "inputs": { "haskell-nix": [ "plutarch-script-export", @@ -5058,13 +5515,13 @@ "inputs": { "haskell-nix": [ "liqwid-plutarch-extra", - "plutarch-numeric", + "plutarch-context-builder", "plutarch", "haskell-nix" ], "nixpkgs": [ "liqwid-plutarch-extra", - "plutarch-numeric", + "plutarch-context-builder", "plutarch", "nixpkgs" ] @@ -5087,13 +5544,13 @@ "inputs": { "haskell-nix": [ "liqwid-plutarch-extra", - "plutarch-quickcheck", + "plutarch-numeric", "plutarch", "haskell-nix" ], "nixpkgs": [ "liqwid-plutarch-extra", - "plutarch-quickcheck", + "plutarch-numeric", "plutarch", "nixpkgs" ] @@ -5115,10 +5572,14 @@ "haskell-nix-extra-hackage_4": { "inputs": { "haskell-nix": [ + "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "haskell-nix" ], "nixpkgs": [ + "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "nixpkgs" ] @@ -5140,12 +5601,10 @@ "haskell-nix-extra-hackage_5": { "inputs": { "haskell-nix": [ - "plutarch-context-builder", "plutarch", "haskell-nix" ], "nixpkgs": [ - "plutarch-context-builder", "plutarch", "nixpkgs" ] @@ -5167,12 +5626,12 @@ "haskell-nix-extra-hackage_6": { "inputs": { "haskell-nix": [ - "plutarch-numeric", + "plutarch-context-builder", "plutarch", "haskell-nix" ], "nixpkgs": [ - "plutarch-numeric", + "plutarch-context-builder", "plutarch", "nixpkgs" ] @@ -5194,12 +5653,12 @@ "haskell-nix-extra-hackage_7": { "inputs": { "haskell-nix": [ - "plutarch-quickcheck", + "plutarch-numeric", "plutarch", "haskell-nix" ], "nixpkgs": [ - "plutarch-quickcheck", + "plutarch-numeric", "plutarch", "nixpkgs" ] @@ -5221,14 +5680,12 @@ "haskell-nix-extra-hackage_8": { "inputs": { "haskell-nix": [ - "plutarch-safe-money", - "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "haskell-nix" ], "nixpkgs": [ - "plutarch-safe-money", - "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "nixpkgs" ] @@ -5252,14 +5709,12 @@ "haskell-nix": [ "plutarch-safe-money", "liqwid-plutarch-extra", - "plutarch-quickcheck", "plutarch", "haskell-nix" ], "nixpkgs": [ "plutarch-safe-money", "liqwid-plutarch-extra", - "plutarch-quickcheck", "plutarch", "nixpkgs" ] @@ -5308,7 +5763,7 @@ "hydra": "hydra_6", "nix-tools": "nix-tools_6", "nixpkgs": [ - "plutarch-numeric", + "plutarch-context-builder", "plutarch", "haskell-nix", "nixpkgs-unstable" @@ -5364,7 +5819,7 @@ "hydra": "hydra_7", "nix-tools": "nix-tools_7", "nixpkgs": [ - "plutarch-quickcheck", + "plutarch-numeric", "plutarch", "haskell-nix", "nixpkgs-unstable" @@ -5420,8 +5875,7 @@ "hydra": "hydra_8", "nix-tools": "nix-tools_8", "nixpkgs": [ - "plutarch-safe-money", - "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "haskell-nix", "nixpkgs-unstable" @@ -5479,7 +5933,6 @@ "nixpkgs": [ "plutarch-safe-money", "liqwid-plutarch-extra", - "plutarch-quickcheck", "plutarch", "haskell-nix", "nixpkgs-unstable" @@ -5536,6 +5989,8 @@ "nix-tools": "nix-tools_10", "nixpkgs": [ "plutarch-safe-money", + "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "haskell-nix", "nixpkgs-unstable" @@ -5600,14 +6055,14 @@ "cabal-34": "cabal-34_11", "cabal-36": "cabal-36_11", "cardano-shell": "cardano-shell_11", - "flake-utils": "flake-utils_34", + "flake-utils": "flake-utils_31", "ghc-8.6.5-iohk": "ghc-8.6.5-iohk_11", "hackage": "hackage_11", "hpc-coveralls": "hpc-coveralls_11", + "hydra": "hydra_11", "nix-tools": "nix-tools_11", "nixpkgs": [ "plutarch-safe-money", - "plutarch-numeric", "plutarch", "haskell-nix", "nixpkgs-unstable" @@ -5619,6 +6074,62 @@ "old-ghc-nix": "old-ghc-nix_11", "stackage": "stackage_11" }, + "locked": { + "lastModified": 1654068838, + "narHash": "sha256-GHSufC21DSg8Lz2AzIg3DA9DPxGvLqxGFa/4ADoXRhU=", + "owner": "input-output-hk", + "repo": "haskell.nix", + "rev": "fa2fa131fe15e630c91ab4078d12eb32c41f934b", + "type": "github" + }, + "original": { + "owner": "input-output-hk", + "repo": "haskell.nix", + "type": "github" + } + }, + "haskell-nix_22": { + "flake": false, + "locked": { + "lastModified": 1651151636, + "narHash": "sha256-WdMP9IMB5kByT0zimDuCYZF/dinRB104H8iDTG/c1Eo=", + "owner": "input-output-hk", + "repo": "haskell.nix", + "rev": "f707aa2e75c0d33473166abc61c0b43ac6e107c0", + "type": "github" + }, + "original": { + "owner": "input-output-hk", + "repo": "haskell.nix", + "type": "github" + } + }, + "haskell-nix_23": { + "inputs": { + "HTTP": "HTTP_12", + "cabal-32": "cabal-32_12", + "cabal-34": "cabal-34_12", + "cabal-36": "cabal-36_12", + "cardano-shell": "cardano-shell_12", + "flake-utils": "flake-utils_37", + "ghc-8.6.5-iohk": "ghc-8.6.5-iohk_12", + "hackage": "hackage_12", + "hpc-coveralls": "hpc-coveralls_12", + "nix-tools": "nix-tools_12", + "nixpkgs": [ + "plutarch-safe-money", + "plutarch-numeric", + "plutarch", + "haskell-nix", + "nixpkgs-unstable" + ], + "nixpkgs-2003": "nixpkgs-2003_12", + "nixpkgs-2105": "nixpkgs-2105_12", + "nixpkgs-2111": "nixpkgs-2111_24", + "nixpkgs-unstable": "nixpkgs-unstable_12", + "old-ghc-nix": "old-ghc-nix_12", + "stackage": "stackage_12" + }, "locked": { "lastModified": 1644944726, "narHash": "sha256-jJWdP/3Ne1y1akC3m9rSO5ItRoBc4UTdVQZBCuPmmrM=", @@ -5634,7 +6145,7 @@ "type": "github" } }, - "haskell-nix_22": { + "haskell-nix_24": { "flake": false, "locked": { "lastModified": 1629380841, @@ -5650,31 +6161,31 @@ "type": "github" } }, - "haskell-nix_23": { + "haskell-nix_25": { "inputs": { - "HTTP": "HTTP_12", - "cabal-32": "cabal-32_12", - "cabal-34": "cabal-34_12", - "cabal-36": "cabal-36_12", - "cardano-shell": "cardano-shell_12", - "flake-utils": "flake-utils_35", - "ghc-8.6.5-iohk": "ghc-8.6.5-iohk_12", - "hackage": "hackage_12", - "hpc-coveralls": "hpc-coveralls_12", - "hydra": "hydra_11", - "nix-tools": "nix-tools_12", + "HTTP": "HTTP_13", + "cabal-32": "cabal-32_13", + "cabal-34": "cabal-34_13", + "cabal-36": "cabal-36_13", + "cardano-shell": "cardano-shell_13", + "flake-utils": "flake-utils_38", + "ghc-8.6.5-iohk": "ghc-8.6.5-iohk_13", + "hackage": "hackage_13", + "hpc-coveralls": "hpc-coveralls_13", + "hydra": "hydra_12", + "nix-tools": "nix-tools_13", "nixpkgs": [ "plutarch-script-export", "plutarch", "haskell-nix", "nixpkgs-unstable" ], - "nixpkgs-2003": "nixpkgs-2003_12", - "nixpkgs-2105": "nixpkgs-2105_12", - "nixpkgs-2111": "nixpkgs-2111_24", - "nixpkgs-unstable": "nixpkgs-unstable_12", - "old-ghc-nix": "old-ghc-nix_12", - "stackage": "stackage_12" + "nixpkgs-2003": "nixpkgs-2003_13", + "nixpkgs-2105": "nixpkgs-2105_13", + "nixpkgs-2111": "nixpkgs-2111_26", + "nixpkgs-unstable": "nixpkgs-unstable_13", + "old-ghc-nix": "old-ghc-nix_13", + "stackage": "stackage_13" }, "locked": { "lastModified": 1654068838, @@ -5690,7 +6201,7 @@ "type": "github" } }, - "haskell-nix_24": { + "haskell-nix_26": { "flake": false, "locked": { "lastModified": 1651151636, @@ -5721,7 +6232,7 @@ "nix-tools": "nix-tools_2", "nixpkgs": [ "liqwid-plutarch-extra", - "plutarch-numeric", + "plutarch-context-builder", "plutarch", "haskell-nix", "nixpkgs-unstable" @@ -5778,7 +6289,7 @@ "nix-tools": "nix-tools_3", "nixpkgs": [ "liqwid-plutarch-extra", - "plutarch-quickcheck", + "plutarch-numeric", "plutarch", "haskell-nix", "nixpkgs-unstable" @@ -5827,13 +6338,15 @@ "cabal-34": "cabal-34_4", "cabal-36": "cabal-36_4", "cardano-shell": "cardano-shell_4", - "flake-utils": "flake-utils_10", + "flake-utils": "flake-utils_12", "ghc-8.6.5-iohk": "ghc-8.6.5-iohk_4", "hackage": "hackage_4", "hpc-coveralls": "hpc-coveralls_4", "hydra": "hydra_4", "nix-tools": "nix-tools_4", "nixpkgs": [ + "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "haskell-nix", "nixpkgs-unstable" @@ -5889,7 +6402,6 @@ "hydra": "hydra_5", "nix-tools": "nix-tools_5", "nixpkgs": [ - "plutarch-context-builder", "plutarch", "haskell-nix", "nixpkgs-unstable" @@ -5933,6 +6445,23 @@ } }, "heist_10": { + "flake": false, + "locked": { + "lastModified": 1653169917, + "narHash": "sha256-i52wi4nNC6ATx8gTtmpLnxQZEhKSM0LbpmSu57d5VqI=", + "owner": "srid", + "repo": "heist", + "rev": "75533cade1a0d9859ff487cbf6f22e98711248d3", + "type": "github" + }, + "original": { + "owner": "srid", + "ref": "emanote", + "repo": "heist", + "type": "github" + } + }, + "heist_11": { "flake": false, "locked": { "lastModified": 1649279862, @@ -6123,7 +6652,25 @@ }, "hercules-ci-effects_11": { "inputs": { - "nixpkgs": "nixpkgs_53" + "nixpkgs": "nixpkgs_52" + }, + "locked": { + "lastModified": 1653841712, + "narHash": "sha256-XBF4i1MuIRAEbFpj3Z3fVaYxzNEsYapyENtw3vG+q1I=", + "owner": "hercules-ci", + "repo": "hercules-ci-effects", + "rev": "e14d2131b7c81acca3904b584ac45fb72da64dd2", + "type": "github" + }, + "original": { + "owner": "hercules-ci", + "repo": "hercules-ci-effects", + "type": "github" + } + }, + "hercules-ci-effects_12": { + "inputs": { + "nixpkgs": "nixpkgs_58" }, "locked": { "lastModified": 1647711660, @@ -6139,9 +6686,9 @@ "type": "github" } }, - "hercules-ci-effects_12": { + "hercules-ci-effects_13": { "inputs": { - "nixpkgs": "nixpkgs_56" + "nixpkgs": "nixpkgs_61" }, "locked": { "lastModified": 1653841712, @@ -6195,7 +6742,7 @@ }, "hercules-ci-effects_4": { "inputs": { - "nixpkgs": "nixpkgs_17" + "nixpkgs": "nixpkgs_19" }, "locked": { "lastModified": 1653841712, @@ -6365,6 +6912,22 @@ "type": "github" } }, + "hpc-coveralls_13": { + "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": { @@ -6589,6 +7152,8 @@ "nix": "nix_10", "nixpkgs": [ "plutarch-safe-money", + "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "haskell-nix", "hydra", @@ -6612,6 +7177,31 @@ "hydra_11": { "inputs": { "nix": "nix_11", + "nixpkgs": [ + "plutarch-safe-money", + "plutarch", + "haskell-nix", + "hydra", + "nix", + "nixpkgs" + ] + }, + "locked": { + "lastModified": 1646878427, + "narHash": "sha256-KtbrofMtN8GlM7D+n90kixr7QpSlVmdN+vK5CA/aRzc=", + "owner": "NixOS", + "repo": "hydra", + "rev": "28b682b85b7efc5cf7974065792a1f22203a5927", + "type": "github" + }, + "original": { + "id": "hydra", + "type": "indirect" + } + }, + "hydra_12": { + "inputs": { + "nix": "nix_12", "nixpkgs": [ "plutarch-script-export", "plutarch", @@ -6639,7 +7229,7 @@ "nix": "nix_2", "nixpkgs": [ "liqwid-plutarch-extra", - "plutarch-numeric", + "plutarch-context-builder", "plutarch", "haskell-nix", "hydra", @@ -6665,7 +7255,7 @@ "nix": "nix_3", "nixpkgs": [ "liqwid-plutarch-extra", - "plutarch-quickcheck", + "plutarch-numeric", "plutarch", "haskell-nix", "hydra", @@ -6690,6 +7280,8 @@ "inputs": { "nix": "nix_4", "nixpkgs": [ + "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "haskell-nix", "hydra", @@ -6714,7 +7306,6 @@ "inputs": { "nix": "nix_5", "nixpkgs": [ - "plutarch-context-builder", "plutarch", "haskell-nix", "hydra", @@ -6739,7 +7330,7 @@ "inputs": { "nix": "nix_6", "nixpkgs": [ - "plutarch-numeric", + "plutarch-context-builder", "plutarch", "haskell-nix", "hydra", @@ -6764,7 +7355,7 @@ "inputs": { "nix": "nix_7", "nixpkgs": [ - "plutarch-quickcheck", + "plutarch-numeric", "plutarch", "haskell-nix", "hydra", @@ -6789,8 +7380,7 @@ "inputs": { "nix": "nix_8", "nixpkgs": [ - "plutarch-safe-money", - "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "haskell-nix", "hydra", @@ -6817,7 +7407,6 @@ "nixpkgs": [ "plutarch-safe-money", "liqwid-plutarch-extra", - "plutarch-quickcheck", "plutarch", "haskell-nix", "hydra", @@ -7049,11 +7638,11 @@ "iohk-nix_21": { "flake": false, "locked": { - "lastModified": 1643251385, - "narHash": "sha256-Czbd69lg0ARSZfC18V6h+gtPMioWDAEVPbiHgL2x9LM=", + "lastModified": 1653579289, + "narHash": "sha256-wveDdPsgB/3nAGAdFaxrcgLEpdi0aJ5kEVNtI+YqVfo=", "owner": "input-output-hk", "repo": "iohk-nix", - "rev": "9d6ee3dcb3482f791e40ed991ad6fc649b343ad4", + "rev": "edb2d2df2ebe42bbdf03a0711115cf6213c9d366", "type": "github" }, "original": { @@ -7079,6 +7668,38 @@ } }, "iohk-nix_23": { + "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_24": { + "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_25": { "flake": false, "locked": { "lastModified": 1653579289, @@ -7094,7 +7715,7 @@ "type": "github" } }, - "iohk-nix_24": { + "iohk-nix_26": { "flake": false, "locked": { "lastModified": 1626953580, @@ -7239,6 +7860,22 @@ } }, "ixset-typed_10": { + "flake": false, + "locked": { + "lastModified": 1652177108, + "narHash": "sha256-g0N1jiumsxHzfo9SGVR+q9awRvHEehSRaoW89LXCCnY=", + "owner": "well-typed", + "repo": "ixset-typed", + "rev": "244d3b72fd051b8d78f2d4edb6208269f29d85b7", + "type": "github" + }, + "original": { + "owner": "well-typed", + "repo": "ixset-typed", + "type": "github" + } + }, + "ixset-typed_11": { "flake": false, "locked": { "lastModified": 1639657838, @@ -7384,7 +8021,7 @@ }, "lint-utils": { "inputs": { - "flake-utils": "flake-utils_30", + "flake-utils": "flake-utils_33", "nixpkgs": [ "plutarch-safe-money", "plutarch-numeric", @@ -7425,27 +8062,28 @@ "nixpkgs-2111": "nixpkgs-2111", "nixpkgs-latest": "nixpkgs-latest", "plutarch": "plutarch", + "plutarch-context-builder": "plutarch-context-builder", "plutarch-numeric": "plutarch-numeric", "plutarch-quickcheck": "plutarch-quickcheck" }, "locked": { - "lastModified": 1657959892, - "narHash": "sha256-DKIu0T87UjhaQ96NdibFiIfvnQLN/eJYuLMiPgQmmT8=", + "lastModified": 1658864114, + "narHash": "sha256-6lMJubbJOVNFe/chEFmbGStI+Pm7zy1+t2wPcDVSiv8=", "owner": "Liqwid-Labs", "repo": "liqwid-plutarch-extra", - "rev": "a951b85d15e7cca1a03dd2a8e36b60fae561d74a", + "rev": "fb6d4d1fc73b1c5ff90b5356e8cb3367213aeae0", "type": "github" }, "original": { "owner": "Liqwid-Labs", + "ref": "seungheonoh/agoraUtils", "repo": "liqwid-plutarch-extra", - "rev": "a951b85d15e7cca1a03dd2a8e36b60fae561d74a", "type": "github" } }, "liqwid-plutarch-extra_2": { "inputs": { - "haskell-language-server": "haskell-language-server_22", + "haskell-language-server": "haskell-language-server_25", "haskell-nix": [ "plutarch-safe-money", "liqwid-plutarch-extra", @@ -7458,9 +8096,9 @@ "plutarch", "nixpkgs" ], - "nixpkgs-2111": "nixpkgs-2111_15", - "nixpkgs-latest": "nixpkgs-latest_15", - "plutarch": "plutarch_8", + "nixpkgs-2111": "nixpkgs-2111_17", + "nixpkgs-latest": "nixpkgs-latest_17", + "plutarch": "plutarch_9", "plutarch-quickcheck": "plutarch-quickcheck_3" }, "locked": { @@ -7526,6 +8164,22 @@ "type": "github" } }, + "lowdown-src_12": { + "flake": false, + "locked": { + "lastModified": 1633514407, + "narHash": "sha256-Dw32tiMjdK9t3ETl5fzGrutQTzh2rufgZV4A/BbxuD4=", + "owner": "kristapsdz", + "repo": "lowdown", + "rev": "d2c2b44ff6c27b936ec27358a2653caaef8f73b8", + "type": "github" + }, + "original": { + "owner": "kristapsdz", + "repo": "lowdown", + "type": "github" + } + }, "lowdown-src_2": { "flake": false, "locked": { @@ -7708,6 +8362,22 @@ } }, "nix-tools_11": { + "flake": false, + "locked": { + "lastModified": 1649424170, + "narHash": "sha256-XgKXWispvv5RCvZzPb+p7e6Hy3LMuRjafKMl7kXzxGw=", + "owner": "input-output-hk", + "repo": "nix-tools", + "rev": "e109c94016e3b6e0db7ed413c793e2d4bdb24aa7", + "type": "github" + }, + "original": { + "owner": "input-output-hk", + "repo": "nix-tools", + "type": "github" + } + }, + "nix-tools_12": { "flake": false, "locked": { "lastModified": 1644395812, @@ -7723,7 +8393,7 @@ "type": "github" } }, - "nix-tools_12": { + "nix-tools_13": { "flake": false, "locked": { "lastModified": 1649424170, @@ -7891,7 +8561,7 @@ "nix_11": { "inputs": { "lowdown-src": "lowdown-src_11", - "nixpkgs": "nixpkgs_55", + "nixpkgs": "nixpkgs_51", "nixpkgs-regression": "nixpkgs-regression_11" }, "locked": { @@ -7909,6 +8579,27 @@ "type": "github" } }, + "nix_12": { + "inputs": { + "lowdown-src": "lowdown-src_12", + "nixpkgs": "nixpkgs_60", + "nixpkgs-regression": "nixpkgs-regression_12" + }, + "locked": { + "lastModified": 1643066034, + "narHash": "sha256-xEPeMcNJVOeZtoN+d+aRwolpW8mFSEQx76HTRdlhPhg=", + "owner": "NixOS", + "repo": "nix", + "rev": "a1cd7e58606a41fcf62bf8637804cf8306f17f62", + "type": "github" + }, + "original": { + "owner": "NixOS", + "ref": "2.6.0", + "repo": "nix", + "type": "github" + } + }, "nix_2": { "inputs": { "lowdown-src": "lowdown-src_2", @@ -7954,7 +8645,7 @@ "nix_4": { "inputs": { "lowdown-src": "lowdown-src_4", - "nixpkgs": "nixpkgs_16", + "nixpkgs": "nixpkgs_18", "nixpkgs-regression": "nixpkgs-regression_4" }, "locked": { @@ -8157,6 +8848,22 @@ "type": "github" } }, + "nixpkgs-2003_13": { + "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, @@ -8318,6 +9025,22 @@ } }, "nixpkgs-2105_11": { + "locked": { + "lastModified": 1645296114, + "narHash": "sha256-y53N7TyIkXsjMpOG7RhvqJFGDacLs9HlyHeSTBioqYU=", + "owner": "NixOS", + "repo": "nixpkgs", + "rev": "530a53dcbc9437363471167a5e4762c5fcfa34a1", + "type": "github" + }, + "original": { + "owner": "NixOS", + "ref": "nixpkgs-21.05-darwin", + "repo": "nixpkgs", + "type": "github" + } + }, + "nixpkgs-2105_12": { "locked": { "lastModified": 1642244250, "narHash": "sha256-vWpUEqQdVP4srj+/YLJRTN9vjpTs4je0cdWKXPbDItc=", @@ -8333,7 +9056,7 @@ "type": "github" } }, - "nixpkgs-2105_12": { + "nixpkgs-2105_13": { "locked": { "lastModified": 1645296114, "narHash": "sha256-y53N7TyIkXsjMpOG7RhvqJFGDacLs9HlyHeSTBioqYU=", @@ -8511,11 +9234,11 @@ }, "nixpkgs-2111_11": { "locked": { - "lastModified": 1653319070, - "narHash": "sha256-Z3cv967iN6mXgxhq1cjOoPod23XgNttCWHXMnMZUq9E=", + "lastModified": 1652298859, + "narHash": "sha256-hcwRboK+NxMWUJh0fQ3VsocDcAHrYJ95FmPEHlddV0Y=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "1c813bbdc330b45fe922c642eb610902aecd5673", + "rev": "051448e41537c3463ae776d46115d01afb6c498d", "type": "github" }, "original": { @@ -8543,11 +9266,11 @@ }, "nixpkgs-2111_13": { "locked": { - "lastModified": 1652364845, - "narHash": "sha256-1pG2GR+z7IrUVGcMoTsH6nJ+ACMvBplo/Pyw4SXJDIE=", + "lastModified": 1653319070, + "narHash": "sha256-Z3cv967iN6mXgxhq1cjOoPod23XgNttCWHXMnMZUq9E=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "ee80943d4d1160f460e3d719222212dbfbc6a193", + "rev": "1c813bbdc330b45fe922c642eb610902aecd5673", "type": "github" }, "original": { @@ -8575,11 +9298,11 @@ }, "nixpkgs-2111_15": { "locked": { - "lastModified": 1654115789, - "narHash": "sha256-k9Qr8dLrmgEn+xIVbneJdQgCYG8FbbqOrTVaExUrLFI=", + "lastModified": 1652364845, + "narHash": "sha256-1pG2GR+z7IrUVGcMoTsH6nJ+ACMvBplo/Pyw4SXJDIE=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "bce6d15455f8c15c9ef511368947e7ef789c5316", + "rev": "ee80943d4d1160f460e3d719222212dbfbc6a193", "type": "github" }, "original": { @@ -8607,11 +9330,11 @@ }, "nixpkgs-2111_17": { "locked": { - "lastModified": 1652364845, - "narHash": "sha256-1pG2GR+z7IrUVGcMoTsH6nJ+ACMvBplo/Pyw4SXJDIE=", + "lastModified": 1654115789, + "narHash": "sha256-k9Qr8dLrmgEn+xIVbneJdQgCYG8FbbqOrTVaExUrLFI=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "ee80943d4d1160f460e3d719222212dbfbc6a193", + "rev": "bce6d15455f8c15c9ef511368947e7ef789c5316", "type": "github" }, "original": { @@ -8639,11 +9362,11 @@ }, "nixpkgs-2111_19": { "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": { @@ -8702,6 +9425,38 @@ } }, "nixpkgs-2111_22": { + "locked": { + "lastModified": 1648744337, + "narHash": "sha256-bYe1dFJAXovjqiaPKrmAbSBEK5KUkgwVaZcTbSoJ7hg=", + "owner": "NixOS", + "repo": "nixpkgs", + "rev": "0a58eebd8ec65ffdef2ce9562784123a73922052", + "type": "github" + }, + "original": { + "owner": "NixOS", + "ref": "nixpkgs-21.11-darwin", + "repo": "nixpkgs", + "type": "github" + } + }, + "nixpkgs-2111_23": { + "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_24": { "locked": { "lastModified": 1644510859, "narHash": "sha256-xjpVvL5ecbyi0vxtVl/Fh9bwGlMbw3S06zE5nUzFB8A=", @@ -8717,7 +9472,7 @@ "type": "github" } }, - "nixpkgs-2111_23": { + "nixpkgs-2111_25": { "locked": { "lastModified": 1656492155, "narHash": "sha256-oKWpYhhgZ2Yt4BZHKSFwJSwOAoFawWxNiW0y7wpde+I=", @@ -8733,7 +9488,7 @@ "type": "github" } }, - "nixpkgs-2111_24": { + "nixpkgs-2111_26": { "locked": { "lastModified": 1648744337, "narHash": "sha256-bYe1dFJAXovjqiaPKrmAbSBEK5KUkgwVaZcTbSoJ7hg=", @@ -8751,11 +9506,11 @@ }, "nixpkgs-2111_3": { "locked": { - "lastModified": 1653319070, - "narHash": "sha256-Z3cv967iN6mXgxhq1cjOoPod23XgNttCWHXMnMZUq9E=", + "lastModified": 1652298859, + "narHash": "sha256-hcwRboK+NxMWUJh0fQ3VsocDcAHrYJ95FmPEHlddV0Y=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "1c813bbdc330b45fe922c642eb610902aecd5673", + "rev": "051448e41537c3463ae776d46115d01afb6c498d", "type": "github" }, "original": { @@ -8783,11 +9538,11 @@ }, "nixpkgs-2111_5": { "locked": { - "lastModified": 1652364845, - "narHash": "sha256-1pG2GR+z7IrUVGcMoTsH6nJ+ACMvBplo/Pyw4SXJDIE=", + "lastModified": 1653319070, + "narHash": "sha256-Z3cv967iN6mXgxhq1cjOoPod23XgNttCWHXMnMZUq9E=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "ee80943d4d1160f460e3d719222212dbfbc6a193", + "rev": "1c813bbdc330b45fe922c642eb610902aecd5673", "type": "github" }, "original": { @@ -8815,11 +9570,11 @@ }, "nixpkgs-2111_7": { "locked": { - "lastModified": 1655415671, - "narHash": "sha256-WD7HxxW1m8D/fkV1QlCYlZvnE5gQdg7ckq3myI4gPtE=", + "lastModified": 1652364845, + "narHash": "sha256-1pG2GR+z7IrUVGcMoTsH6nJ+ACMvBplo/Pyw4SXJDIE=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "f96729212602f15a6a226d2f27f5de70492ad095", + "rev": "ee80943d4d1160f460e3d719222212dbfbc6a193", "type": "github" }, "original": { @@ -8847,11 +9602,11 @@ }, "nixpkgs-2111_9": { "locked": { - "lastModified": 1652298859, - "narHash": "sha256-hcwRboK+NxMWUJh0fQ3VsocDcAHrYJ95FmPEHlddV0Y=", + "lastModified": 1658346836, + "narHash": "sha256-c9BZZbi0tqCQ4j6CMVDlsut3Q3ET1Fezf+qIslCfkhs=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "051448e41537c3463ae776d46115d01afb6c498d", + "rev": "a1fe662eb26ffc2a036b37c4670392ade632c413", "type": "github" }, "original": { @@ -9117,6 +9872,38 @@ "type": "github" } }, + "nixpkgs-latest_24": { + "locked": { + "lastModified": 1653918805, + "narHash": "sha256-6ahwAnBNGgqSNSn/6RnsxrlFi+fkA+RyT6o/5S1915o=", + "owner": "NixOS", + "repo": "nixpkgs", + "rev": "a0a69be4b5ee63f1b5e75887a406e9194012b492", + "type": "github" + }, + "original": { + "owner": "NixOS", + "repo": "nixpkgs", + "rev": "a0a69be4b5ee63f1b5e75887a406e9194012b492", + "type": "github" + } + }, + "nixpkgs-latest_25": { + "locked": { + "lastModified": 1653918805, + "narHash": "sha256-6ahwAnBNGgqSNSn/6RnsxrlFi+fkA+RyT6o/5S1915o=", + "owner": "NixOS", + "repo": "nixpkgs", + "rev": "a0a69be4b5ee63f1b5e75887a406e9194012b492", + "type": "github" + }, + "original": { + "owner": "NixOS", + "repo": "nixpkgs", + "rev": "a0a69be4b5ee63f1b5e75887a406e9194012b492", + "type": "github" + } + }, "nixpkgs-latest_3": { "locked": { "lastModified": 1653918805, @@ -9274,6 +10061,21 @@ "type": "indirect" } }, + "nixpkgs-regression_12": { + "locked": { + "lastModified": 1643052045, + "narHash": "sha256-uGJ0VXIhWKGXxkeNnq4TvV3CIOkUJ3PAoLZ3HMzNVMw=", + "owner": "NixOS", + "repo": "nixpkgs", + "rev": "215d4d0fd80ca5163643b03a33fde804a29cc1e2", + "type": "github" + }, + "original": { + "id": "nixpkgs", + "rev": "215d4d0fd80ca5163643b03a33fde804a29cc1e2", + "type": "indirect" + } + }, "nixpkgs-regression_2": { "locked": { "lastModified": 1643052045, @@ -9427,6 +10229,22 @@ } }, "nixpkgs-unstable_11": { + "locked": { + "lastModified": 1648219316, + "narHash": "sha256-Ctij+dOi0ZZIfX5eMhgwugfvB+WZSrvVNAyAuANOsnQ=", + "owner": "NixOS", + "repo": "nixpkgs", + "rev": "30d3d79b7d3607d56546dd2a6b49e156ba0ec634", + "type": "github" + }, + "original": { + "owner": "NixOS", + "ref": "nixpkgs-unstable", + "repo": "nixpkgs", + "type": "github" + } + }, + "nixpkgs-unstable_12": { "locked": { "lastModified": 1644486793, "narHash": "sha256-EeijR4guVHgVv+JpOX3cQO+1XdrkJfGmiJ9XVsVU530=", @@ -9442,7 +10260,7 @@ "type": "github" } }, - "nixpkgs-unstable_12": { + "nixpkgs-unstable_13": { "locked": { "lastModified": 1648219316, "narHash": "sha256-Ctij+dOi0ZZIfX5eMhgwugfvB+WZSrvVNAyAuANOsnQ=", @@ -9682,6 +10500,36 @@ } }, "nixpkgs_16": { + "locked": { + "lastModified": 1652885393, + "narHash": "sha256-YIgvvlk4iQ1Hi7KD9o5gsojc+ApB+jiH1d5stK8uXiw=", + "owner": "nixos", + "repo": "nixpkgs", + "rev": "48037fd90426e44e4bf03e6479e88a11453b9b66", + "type": "github" + }, + "original": { + "owner": "nixos", + "ref": "nixos-unstable", + "repo": "nixpkgs", + "type": "github" + } + }, + "nixpkgs_17": { + "locked": { + "lastModified": 1653117584, + "narHash": "sha256-5uUrHeHBIaySBTrRExcCoW8fBBYVSDjDYDU5A6iOl+k=", + "owner": "NixOS", + "repo": "nixpkgs", + "rev": "f4dfed73ee886b115a99e5b85fdfbeb683290d83", + "type": "github" + }, + "original": { + "id": "nixpkgs", + "type": "indirect" + } + }, + "nixpkgs_18": { "locked": { "lastModified": 1632864508, "narHash": "sha256-d127FIvGR41XbVRDPVvozUPQ/uRHbHwvfyKHwEt5xFM=", @@ -9696,7 +10544,7 @@ "type": "indirect" } }, - "nixpkgs_17": { + "nixpkgs_19": { "locked": { "lastModified": 1647297614, "narHash": "sha256-ulGq3W5XsrBMU/u5k9d4oPy65pQTkunR4HKKtTq0RwY=", @@ -9712,39 +10560,6 @@ "type": "github" } }, - "nixpkgs_18": { - "flake": false, - "locked": { - "lastModified": 1645493675, - "narHash": "sha256-9xundbZQbhFodsQRh6QMN1GeSXfo3y/5NL0CZcJULz0=", - "owner": "NixOS", - "repo": "nixpkgs", - "rev": "74b10859829153d5c5d50f7c77b86763759e8654", - "type": "github" - }, - "original": { - "owner": "NixOS", - "ref": "nixpkgs-unstable", - "repo": "nixpkgs", - "type": "github" - } - }, - "nixpkgs_19": { - "locked": { - "lastModified": 1652885393, - "narHash": "sha256-YIgvvlk4iQ1Hi7KD9o5gsojc+ApB+jiH1d5stK8uXiw=", - "owner": "nixos", - "repo": "nixpkgs", - "rev": "48037fd90426e44e4bf03e6479e88a11453b9b66", - "type": "github" - }, - "original": { - "owner": "nixos", - "ref": "nixos-unstable", - "repo": "nixpkgs", - "type": "github" - } - }, "nixpkgs_2": { "locked": { "lastModified": 1653117584, @@ -9760,17 +10575,20 @@ } }, "nixpkgs_20": { + "flake": false, "locked": { - "lastModified": 1653117584, - "narHash": "sha256-5uUrHeHBIaySBTrRExcCoW8fBBYVSDjDYDU5A6iOl+k=", + "lastModified": 1645493675, + "narHash": "sha256-9xundbZQbhFodsQRh6QMN1GeSXfo3y/5NL0CZcJULz0=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "f4dfed73ee886b115a99e5b85fdfbeb683290d83", + "rev": "74b10859829153d5c5d50f7c77b86763759e8654", "type": "github" }, "original": { - "id": "nixpkgs", - "type": "indirect" + "owner": "NixOS", + "ref": "nixpkgs-unstable", + "repo": "nixpkgs", + "type": "github" } }, "nixpkgs_21": { @@ -10244,17 +11062,17 @@ }, "nixpkgs_49": { "locked": { - "lastModified": 1650882267, - "narHash": "sha256-BFKiz8srATQIBuFEN2HgS2EHisK29EjZ/HV34wSr2lU=", + "lastModified": 1652885393, + "narHash": "sha256-YIgvvlk4iQ1Hi7KD9o5gsojc+ApB+jiH1d5stK8uXiw=", "owner": "nixos", "repo": "nixpkgs", - "rev": "2ea2f7b6d0cb7ce0712f2aa80303cda08deb0de2", + "rev": "48037fd90426e44e4bf03e6479e88a11453b9b66", "type": "github" }, "original": { "owner": "nixos", + "ref": "nixos-unstable", "repo": "nixpkgs", - "rev": "2ea2f7b6d0cb7ce0712f2aa80303cda08deb0de2", "type": "github" } }, @@ -10276,6 +11094,84 @@ } }, "nixpkgs_50": { + "locked": { + "lastModified": 1653117584, + "narHash": "sha256-5uUrHeHBIaySBTrRExcCoW8fBBYVSDjDYDU5A6iOl+k=", + "owner": "NixOS", + "repo": "nixpkgs", + "rev": "f4dfed73ee886b115a99e5b85fdfbeb683290d83", + "type": "github" + }, + "original": { + "id": "nixpkgs", + "type": "indirect" + } + }, + "nixpkgs_51": { + "locked": { + "lastModified": 1632864508, + "narHash": "sha256-d127FIvGR41XbVRDPVvozUPQ/uRHbHwvfyKHwEt5xFM=", + "owner": "NixOS", + "repo": "nixpkgs", + "rev": "82891b5e2c2359d7e58d08849e4c89511ab94234", + "type": "github" + }, + "original": { + "id": "nixpkgs", + "ref": "nixos-21.05-small", + "type": "indirect" + } + }, + "nixpkgs_52": { + "locked": { + "lastModified": 1647297614, + "narHash": "sha256-ulGq3W5XsrBMU/u5k9d4oPy65pQTkunR4HKKtTq0RwY=", + "owner": "NixOS", + "repo": "nixpkgs", + "rev": "73ad5f9e147c0d2a2061f1d4bd91e05078dc0b58", + "type": "github" + }, + "original": { + "owner": "NixOS", + "ref": "nixos-unstable", + "repo": "nixpkgs", + "type": "github" + } + }, + "nixpkgs_53": { + "flake": false, + "locked": { + "lastModified": 1645493675, + "narHash": "sha256-9xundbZQbhFodsQRh6QMN1GeSXfo3y/5NL0CZcJULz0=", + "owner": "NixOS", + "repo": "nixpkgs", + "rev": "74b10859829153d5c5d50f7c77b86763759e8654", + "type": "github" + }, + "original": { + "owner": "NixOS", + "ref": "nixpkgs-unstable", + "repo": "nixpkgs", + "type": "github" + } + }, + "nixpkgs_54": { + "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_55": { "locked": { "lastModified": 1647350163, "narHash": "sha256-OcMI+PFEHTONthXuEQNddt16Ml7qGvanL3x8QOl2Aao=", @@ -10291,7 +11187,7 @@ "type": "github" } }, - "nixpkgs_51": { + "nixpkgs_56": { "locked": { "lastModified": 1649456639, "narHash": "sha256-rZCjaEAZgOtT9kYTBigksof64SqKAXOuoHhlzHvfl0E=", @@ -10307,7 +11203,7 @@ "type": "github" } }, - "nixpkgs_52": { + "nixpkgs_57": { "locked": { "lastModified": 1648219316, "narHash": "sha256-Ctij+dOi0ZZIfX5eMhgwugfvB+WZSrvVNAyAuANOsnQ=", @@ -10321,7 +11217,7 @@ "type": "indirect" } }, - "nixpkgs_53": { + "nixpkgs_58": { "locked": { "lastModified": 1647297614, "narHash": "sha256-ulGq3W5XsrBMU/u5k9d4oPy65pQTkunR4HKKtTq0RwY=", @@ -10337,7 +11233,7 @@ "type": "github" } }, - "nixpkgs_54": { + "nixpkgs_59": { "flake": false, "locked": { "lastModified": 1628785280, @@ -10354,54 +11250,6 @@ "type": "github" } }, - "nixpkgs_55": { - "locked": { - "lastModified": 1632864508, - "narHash": "sha256-d127FIvGR41XbVRDPVvozUPQ/uRHbHwvfyKHwEt5xFM=", - "owner": "NixOS", - "repo": "nixpkgs", - "rev": "82891b5e2c2359d7e58d08849e4c89511ab94234", - "type": "github" - }, - "original": { - "id": "nixpkgs", - "ref": "nixos-21.05-small", - "type": "indirect" - } - }, - "nixpkgs_56": { - "locked": { - "lastModified": 1647297614, - "narHash": "sha256-ulGq3W5XsrBMU/u5k9d4oPy65pQTkunR4HKKtTq0RwY=", - "owner": "NixOS", - "repo": "nixpkgs", - "rev": "73ad5f9e147c0d2a2061f1d4bd91e05078dc0b58", - "type": "github" - }, - "original": { - "owner": "NixOS", - "ref": "nixos-unstable", - "repo": "nixpkgs", - "type": "github" - } - }, - "nixpkgs_57": { - "flake": false, - "locked": { - "lastModified": 1645493675, - "narHash": "sha256-9xundbZQbhFodsQRh6QMN1GeSXfo3y/5NL0CZcJULz0=", - "owner": "NixOS", - "repo": "nixpkgs", - "rev": "74b10859829153d5c5d50f7c77b86763759e8654", - "type": "github" - }, - "original": { - "owner": "NixOS", - "ref": "nixpkgs-unstable", - "repo": "nixpkgs", - "type": "github" - } - }, "nixpkgs_6": { "locked": { "lastModified": 1652885393, @@ -10418,6 +11266,54 @@ "type": "github" } }, + "nixpkgs_60": { + "locked": { + "lastModified": 1632864508, + "narHash": "sha256-d127FIvGR41XbVRDPVvozUPQ/uRHbHwvfyKHwEt5xFM=", + "owner": "NixOS", + "repo": "nixpkgs", + "rev": "82891b5e2c2359d7e58d08849e4c89511ab94234", + "type": "github" + }, + "original": { + "id": "nixpkgs", + "ref": "nixos-21.05-small", + "type": "indirect" + } + }, + "nixpkgs_61": { + "locked": { + "lastModified": 1647297614, + "narHash": "sha256-ulGq3W5XsrBMU/u5k9d4oPy65pQTkunR4HKKtTq0RwY=", + "owner": "NixOS", + "repo": "nixpkgs", + "rev": "73ad5f9e147c0d2a2061f1d4bd91e05078dc0b58", + "type": "github" + }, + "original": { + "owner": "NixOS", + "ref": "nixos-unstable", + "repo": "nixpkgs", + "type": "github" + } + }, + "nixpkgs_62": { + "flake": false, + "locked": { + "lastModified": 1645493675, + "narHash": "sha256-9xundbZQbhFodsQRh6QMN1GeSXfo3y/5NL0CZcJULz0=", + "owner": "NixOS", + "repo": "nixpkgs", + "rev": "74b10859829153d5c5d50f7c77b86763759e8654", + "type": "github" + }, + "original": { + "owner": "NixOS", + "ref": "nixpkgs-unstable", + "repo": "nixpkgs", + "type": "github" + } + }, "nixpkgs_7": { "locked": { "lastModified": 1653117584, @@ -10531,6 +11427,23 @@ "type": "github" } }, + "old-ghc-nix_13": { + "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": { @@ -10685,6 +11598,23 @@ } }, "pandoc-link-context_10": { + "flake": false, + "locked": { + "lastModified": 1653170888, + "narHash": "sha256-bA/Oj2pt3H2b4lqWqVBYo3Qhvhd01r4vM39+vLuPMtA=", + "owner": "srid", + "repo": "pandoc-link-context", + "rev": "c3a3de34b291b2bfec04387af65e0cc0822373c5", + "type": "github" + }, + "original": { + "owner": "srid", + "ref": "master", + "repo": "pandoc-link-context", + "type": "github" + } + }, + "pandoc-link-context_11": { "flake": false, "locked": { "lastModified": 1650932770, @@ -10839,9 +11769,9 @@ }, "pathtree": { "inputs": { - "flake-compat": "flake-compat_20", - "flake-utils": "flake-utils_31", - "nixpkgs": "nixpkgs_50" + "flake-compat": "flake-compat_22", + "flake-utils": "flake-utils_34", + "nixpkgs": "nixpkgs_55" }, "locked": { "lastModified": 1649011952, @@ -10896,49 +11826,17 @@ } }, "plutarch-context-builder": { - "inputs": { - "haskell-language-server": "haskell-language-server_12", - "haskell-nix": [ - "plutarch-context-builder", - "plutarch", - "haskell-nix" - ], - "nixpkgs": [ - "plutarch-context-builder", - "plutarch", - "nixpkgs" - ], - "nixpkgs-2111": "nixpkgs-2111_9", - "nixpkgs-latest": "nixpkgs-latest_9", - "plutarch": "plutarch_5" - }, - "locked": { - "lastModified": 1658368717, - "narHash": "sha256-GAneUtaxaJSZLNkIGOTByx/Auuq1g3MhzBhTiqZ13+s=", - "owner": "Liqwid-Labs", - "repo": "plutarch-context-builder", - "rev": "2a2ca72ff310788e531cbbe379ef7b0c4cb42dc9", - "type": "github" - }, - "original": { - "owner": "Liqwid-Labs", - "ref": "staging", - "repo": "plutarch-context-builder", - "type": "github" - } - }, - "plutarch-numeric": { "inputs": { "haskell-language-server": "haskell-language-server_4", "haskell-nix": [ "liqwid-plutarch-extra", - "plutarch-numeric", + "plutarch-context-builder", "plutarch", "haskell-nix" ], "nixpkgs": [ "liqwid-plutarch-extra", - "plutarch-numeric", + "plutarch-context-builder", "plutarch", "nixpkgs" ], @@ -10946,6 +11844,72 @@ "nixpkgs-latest": "nixpkgs-latest_3", "plutarch": "plutarch_2" }, + "locked": { + "lastModified": 1658268102, + "narHash": "sha256-RE8vhqLY9wXfJHt7933HSaezO3/eP/YmJVdqfbDbKN0=", + "owner": "liqwid-labs", + "repo": "plutarch-context-builder", + "rev": "1f2df0a09a3c60ee398c87723e9443d1c4c45102", + "type": "github" + }, + "original": { + "owner": "liqwid-labs", + "ref": "staging", + "repo": "plutarch-context-builder", + "type": "github" + } + }, + "plutarch-context-builder_2": { + "inputs": { + "haskell-language-server": "haskell-language-server_15", + "haskell-nix": [ + "plutarch-context-builder", + "plutarch", + "haskell-nix" + ], + "nixpkgs": [ + "plutarch-context-builder", + "plutarch", + "nixpkgs" + ], + "nixpkgs-2111": "nixpkgs-2111_11", + "nixpkgs-latest": "nixpkgs-latest_11", + "plutarch": "plutarch_6" + }, + "locked": { + "lastModified": 1658175311, + "narHash": "sha256-Wa7OKZGXeVDaruY3NcZ00CfLT0dy3cHp8xsjsCLwhs8=", + "owner": "Liqwid-Labs", + "repo": "plutarch-context-builder", + "rev": "62ab154fdcd8dd07a741e7955e078813aff4ed6a", + "type": "github" + }, + "original": { + "owner": "Liqwid-Labs", + "ref": "62ab154fdcd8dd07a741e7955e078813aff4ed6a", + "repo": "plutarch-context-builder", + "type": "github" + } + }, + "plutarch-numeric": { + "inputs": { + "haskell-language-server": "haskell-language-server_7", + "haskell-nix": [ + "liqwid-plutarch-extra", + "plutarch-numeric", + "plutarch", + "haskell-nix" + ], + "nixpkgs": [ + "liqwid-plutarch-extra", + "plutarch-numeric", + "plutarch", + "nixpkgs" + ], + "nixpkgs-2111": "nixpkgs-2111_5", + "nixpkgs-latest": "nixpkgs-latest_5", + "plutarch": "plutarch_3" + }, "locked": { "lastModified": 1655733533, "narHash": "sha256-HRSJUEQYYwr0HvYn6GwLmyYY7TXwZcYPAW0U8t6nmok=", @@ -10962,7 +11926,7 @@ }, "plutarch-numeric_2": { "inputs": { - "haskell-language-server": "haskell-language-server_15", + "haskell-language-server": "haskell-language-server_18", "haskell-nix": [ "plutarch-numeric", "plutarch", @@ -10973,16 +11937,16 @@ "plutarch", "nixpkgs" ], - "nixpkgs-2111": "nixpkgs-2111_11", - "nixpkgs-latest": "nixpkgs-latest_11", - "plutarch": "plutarch_6" + "nixpkgs-2111": "nixpkgs-2111_13", + "nixpkgs-latest": "nixpkgs-latest_13", + "plutarch": "plutarch_7" }, "locked": { - "lastModified": 1655733533, - "narHash": "sha256-HRSJUEQYYwr0HvYn6GwLmyYY7TXwZcYPAW0U8t6nmok=", + "lastModified": 1656613288, + "narHash": "sha256-h2rM+Ng/wyWwqRY41NbxPHBJLIfcqsjeCItYK7iQvR8=", "owner": "Liqwid-Labs", "repo": "plutarch-numeric", - "rev": "ce2d39dc366d9453b0f5df328bbb78f11e3b2ed6", + "rev": "da44b2af83f28276cf7466586a8e66291f104663", "type": "github" }, "original": { @@ -10994,7 +11958,7 @@ }, "plutarch-numeric_3": { "inputs": { - "haskell-language-server": "haskell-language-server_30", + "haskell-language-server": "haskell-language-server_33", "haskell-nix": [ "plutarch-safe-money", "plutarch-numeric", @@ -11007,9 +11971,9 @@ "plutarch", "nixpkgs" ], - "nixpkgs-2111": "nixpkgs-2111_21", - "nixpkgs-latest": "nixpkgs-latest_21", - "plutarch": "plutarch_11" + "nixpkgs-2111": "nixpkgs-2111_23", + "nixpkgs-latest": "nixpkgs-latest_23", + "plutarch": "plutarch_12" }, "locked": { "lastModified": 1654950823, @@ -11028,7 +11992,7 @@ }, "plutarch-quickcheck": { "inputs": { - "haskell-language-server": "haskell-language-server_7", + "haskell-language-server": "haskell-language-server_10", "haskell-nix": [ "liqwid-plutarch-extra", "plutarch-quickcheck", @@ -11041,9 +12005,9 @@ "plutarch", "nixpkgs" ], - "nixpkgs-2111": "nixpkgs-2111_5", - "nixpkgs-latest": "nixpkgs-latest_5", - "plutarch": "plutarch_3" + "nixpkgs-2111": "nixpkgs-2111_7", + "nixpkgs-latest": "nixpkgs-latest_7", + "plutarch": "plutarch_4" }, "locked": { "lastModified": 1655113586, @@ -11062,7 +12026,7 @@ }, "plutarch-quickcheck_2": { "inputs": { - "haskell-language-server": "haskell-language-server_18", + "haskell-language-server": "haskell-language-server_21", "haskell-nix": [ "plutarch-quickcheck", "plutarch", @@ -11073,9 +12037,9 @@ "plutarch", "nixpkgs" ], - "nixpkgs-2111": "nixpkgs-2111_13", - "nixpkgs-latest": "nixpkgs-latest_13", - "plutarch": "plutarch_7" + "nixpkgs-2111": "nixpkgs-2111_15", + "nixpkgs-latest": "nixpkgs-latest_15", + "plutarch": "plutarch_8" }, "locked": { "lastModified": 1655307888, @@ -11094,7 +12058,7 @@ }, "plutarch-quickcheck_3": { "inputs": { - "haskell-language-server": "haskell-language-server_25", + "haskell-language-server": "haskell-language-server_28", "haskell-nix": [ "plutarch-safe-money", "liqwid-plutarch-extra", @@ -11109,9 +12073,9 @@ "plutarch", "nixpkgs" ], - "nixpkgs-2111": "nixpkgs-2111_17", - "nixpkgs-latest": "nixpkgs-latest_17", - "plutarch": "plutarch_9" + "nixpkgs-2111": "nixpkgs-2111_19", + "nixpkgs-latest": "nixpkgs-latest_19", + "plutarch": "plutarch_10" }, "locked": { "lastModified": 1655113586, @@ -11130,7 +12094,7 @@ }, "plutarch-safe-money": { "inputs": { - "haskell-language-server": "haskell-language-server_21", + "haskell-language-server": "haskell-language-server_24", "haskell-nix": [ "plutarch-safe-money", "plutarch", @@ -11142,9 +12106,9 @@ "plutarch", "nixpkgs" ], - "nixpkgs-2111": "nixpkgs-2111_19", - "nixpkgs-latest": "nixpkgs-latest_19", - "plutarch": "plutarch_10", + "nixpkgs-2111": "nixpkgs-2111_21", + "nixpkgs-latest": "nixpkgs-latest_21", + "plutarch": "plutarch_11", "plutarch-numeric": "plutarch-numeric_3" }, "locked": { @@ -11174,16 +12138,16 @@ "plutarch", "nixpkgs" ], - "nixpkgs-2111": "nixpkgs-2111_23", - "nixpkgs-latest": "nixpkgs-latest_22", - "plutarch": "plutarch_12" + "nixpkgs-2111": "nixpkgs-2111_25", + "nixpkgs-latest": "nixpkgs-latest_24", + "plutarch": "plutarch_13" }, "locked": { - "lastModified": 1656599673, - "narHash": "sha256-+ZLiFYiMR/Xk2caFzyzhTWk/bruoK1i39LOwGZEOUp4=", + "lastModified": 1657374093, + "narHash": "sha256-96K/mcNI8lNto+gLSOhnGADQYfWrp3+PrZYKoNzSS1A=", "owner": "Liqwid-Labs", "repo": "plutarch-script-export", - "rev": "f27ac2b706c4239779be35f2e3b4971b386f7418", + "rev": "85c3b8a2ef856e7c18d3227e33fc2dd7bebf3bc1", "type": "github" }, "original": { @@ -11200,13 +12164,15 @@ "cardano-prelude": "cardano-prelude_10", "emanote": "emanote_9", "flat": "flat_10", - "haskell-language-server": "haskell-language-server_28", + "haskell-language-server": "haskell-language-server_29", "haskell-nix": "haskell-nix_19", "haskell-nix-extra-hackage": "haskell-nix-extra-hackage_10", "hercules-ci-effects": "hercules-ci-effects_10", "iohk-nix": "iohk-nix_19", "nixpkgs": [ "plutarch-safe-money", + "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "haskell-nix", "nixpkgs-unstable" @@ -11233,22 +12199,60 @@ }, "plutarch_11": { "inputs": { - "Shrinker": "Shrinker", "cardano-base": "cardano-base_11", "cardano-crypto": "cardano-crypto_11", "cardano-prelude": "cardano-prelude_11", - "cryptonite": "cryptonite", "emanote": "emanote_10", "flat": "flat_11", - "foundation": "foundation", "haskell-language-server": "haskell-language-server_31", "haskell-nix": "haskell-nix_21", + "haskell-nix-extra-hackage": "haskell-nix-extra-hackage_11", "hercules-ci-effects": "hercules-ci-effects_11", + "iohk-nix": "iohk-nix_21", + "nixpkgs": [ + "plutarch-safe-money", + "plutarch", + "haskell-nix", + "nixpkgs-unstable" + ], + "nixpkgs-latest": "nixpkgs-latest_22", + "plutus": "plutus_11", + "protolude": "protolude_11", + "secp256k1-haskell": "secp256k1-haskell_11" + }, + "locked": { + "lastModified": 1654108284, + "narHash": "sha256-VD0zX4pFrJJaaUO7uJgioZGg1moe1Fy8nAb5j2mV/Qc=", + "owner": "Liqwid-Labs", + "repo": "plutarch", + "rev": "e7ef565645146e26e75ec29fe97122a74e52c6b7", + "type": "github" + }, + "original": { + "owner": "Liqwid-Labs", + "ref": "staging", + "repo": "plutarch", + "type": "github" + } + }, + "plutarch_12": { + "inputs": { + "Shrinker": "Shrinker", + "cardano-base": "cardano-base_12", + "cardano-crypto": "cardano-crypto_12", + "cardano-prelude": "cardano-prelude_12", + "cryptonite": "cryptonite", + "emanote": "emanote_11", + "flat": "flat_12", + "foundation": "foundation", + "haskell-language-server": "haskell-language-server_34", + "haskell-nix": "haskell-nix_23", + "hercules-ci-effects": "hercules-ci-effects_12", "hs-memory": "hs-memory", "hspec": "hspec", "hspec-golden": "hspec-golden", "hspec-hedgehog": "hspec-hedgehog", - "iohk-nix": "iohk-nix_21", + "iohk-nix": "iohk-nix_23", "nixpkgs": [ "plutarch-safe-money", "plutarch-numeric", @@ -11256,8 +12260,8 @@ "haskell-nix", "nixpkgs-unstable" ], - "plutus": "plutus_11", - "protolude": "protolude_11", + "plutus": "plutus_12", + "protolude": "protolude_12", "sized-functors": "sized-functors", "th-extras": "th-extras" }, @@ -11276,33 +12280,33 @@ "type": "github" } }, - "plutarch_12": { + "plutarch_13": { "inputs": { - "cardano-base": "cardano-base_12", - "cardano-crypto": "cardano-crypto_12", - "cardano-prelude": "cardano-prelude_12", + "cardano-base": "cardano-base_13", + "cardano-crypto": "cardano-crypto_13", + "cardano-prelude": "cardano-prelude_13", "emanote": [ "plutarch-script-export", "plutarch", "haskell-nix", "nixpkgs-unstable" ], - "flat": "flat_12", - "haskell-language-server": "haskell-language-server_33", - "haskell-nix": "haskell-nix_23", - "haskell-nix-extra-hackage": "haskell-nix-extra-hackage_11", - "hercules-ci-effects": "hercules-ci-effects_12", - "iohk-nix": "iohk-nix_23", + "flat": "flat_13", + "haskell-language-server": "haskell-language-server_36", + "haskell-nix": "haskell-nix_25", + "haskell-nix-extra-hackage": "haskell-nix-extra-hackage_12", + "hercules-ci-effects": "hercules-ci-effects_13", + "iohk-nix": "iohk-nix_25", "nixpkgs": [ "plutarch-script-export", "plutarch", "haskell-nix", "nixpkgs-unstable" ], - "nixpkgs-latest": "nixpkgs-latest_23", - "plutus": "plutus_12", - "protolude": "protolude_12", - "secp256k1-haskell": "secp256k1-haskell_11" + "nixpkgs-latest": "nixpkgs-latest_25", + "plutus": "plutus_13", + "protolude": "protolude_13", + "secp256k1-haskell": "secp256k1-haskell_12" }, "locked": { "lastModified": 1654108284, @@ -11333,7 +12337,7 @@ "iohk-nix": "iohk-nix_3", "nixpkgs": [ "liqwid-plutarch-extra", - "plutarch-numeric", + "plutarch-context-builder", "plutarch", "haskell-nix", "nixpkgs-unstable" @@ -11372,7 +12376,7 @@ "iohk-nix": "iohk-nix_5", "nixpkgs": [ "liqwid-plutarch-extra", - "plutarch-quickcheck", + "plutarch-numeric", "plutarch", "haskell-nix", "nixpkgs-unstable" @@ -11402,18 +12406,16 @@ "cardano-base": "cardano-base_4", "cardano-crypto": "cardano-crypto_4", "cardano-prelude": "cardano-prelude_4", - "emanote": [ - "plutarch", - "haskell-nix", - "nixpkgs-unstable" - ], + "emanote": "emanote_4", "flat": "flat_4", - "haskell-language-server": "haskell-language-server_10", + "haskell-language-server": "haskell-language-server_11", "haskell-nix": "haskell-nix_7", "haskell-nix-extra-hackage": "haskell-nix-extra-hackage_4", "hercules-ci-effects": "hercules-ci-effects_4", "iohk-nix": "iohk-nix_7", "nixpkgs": [ + "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "haskell-nix", "nixpkgs-unstable" @@ -11423,44 +12425,6 @@ "protolude": "protolude_4", "secp256k1-haskell": "secp256k1-haskell_4" }, - "locked": { - "lastModified": 1654108284, - "narHash": "sha256-VD0zX4pFrJJaaUO7uJgioZGg1moe1Fy8nAb5j2mV/Qc=", - "owner": "liqwid-labs", - "repo": "plutarch", - "rev": "e7ef565645146e26e75ec29fe97122a74e52c6b7", - "type": "github" - }, - "original": { - "owner": "liqwid-labs", - "repo": "plutarch", - "rev": "e7ef565645146e26e75ec29fe97122a74e52c6b7", - "type": "github" - } - }, - "plutarch_5": { - "inputs": { - "cardano-base": "cardano-base_5", - "cardano-crypto": "cardano-crypto_5", - "cardano-prelude": "cardano-prelude_5", - "emanote": "emanote_4", - "flat": "flat_5", - "haskell-language-server": "haskell-language-server_13", - "haskell-nix": "haskell-nix_9", - "haskell-nix-extra-hackage": "haskell-nix-extra-hackage_5", - "hercules-ci-effects": "hercules-ci-effects_5", - "iohk-nix": "iohk-nix_9", - "nixpkgs": [ - "plutarch-context-builder", - "plutarch", - "haskell-nix", - "nixpkgs-unstable" - ], - "nixpkgs-latest": "nixpkgs-latest_10", - "plutus": "plutus_5", - "protolude": "protolude_5", - "secp256k1-haskell": "secp256k1-haskell_5" - }, "locked": { "lastModified": 1654108284, "narHash": "sha256-VD0zX4pFrJJaaUO7uJgioZGg1moe1Fy8nAb5j2mV/Qc=", @@ -11476,6 +12440,47 @@ "type": "github" } }, + "plutarch_5": { + "inputs": { + "cardano-base": "cardano-base_5", + "cardano-crypto": "cardano-crypto_5", + "cardano-prelude": "cardano-prelude_5", + "emanote": [ + "plutarch", + "haskell-nix", + "nixpkgs-unstable" + ], + "flat": "flat_5", + "haskell-language-server": "haskell-language-server_13", + "haskell-nix": "haskell-nix_9", + "haskell-nix-extra-hackage": "haskell-nix-extra-hackage_5", + "hercules-ci-effects": "hercules-ci-effects_5", + "iohk-nix": "iohk-nix_9", + "nixpkgs": [ + "plutarch", + "haskell-nix", + "nixpkgs-unstable" + ], + "nixpkgs-latest": "nixpkgs-latest_10", + "plutus": "plutus_5", + "protolude": "protolude_5", + "secp256k1-haskell": "secp256k1-haskell_5" + }, + "locked": { + "lastModified": 1654108284, + "narHash": "sha256-VD0zX4pFrJJaaUO7uJgioZGg1moe1Fy8nAb5j2mV/Qc=", + "owner": "liqwid-labs", + "repo": "plutarch", + "rev": "e7ef565645146e26e75ec29fe97122a74e52c6b7", + "type": "github" + }, + "original": { + "owner": "liqwid-labs", + "repo": "plutarch", + "rev": "e7ef565645146e26e75ec29fe97122a74e52c6b7", + "type": "github" + } + }, "plutarch_6": { "inputs": { "cardano-base": "cardano-base_6", @@ -11489,7 +12494,7 @@ "hercules-ci-effects": "hercules-ci-effects_6", "iohk-nix": "iohk-nix_11", "nixpkgs": [ - "plutarch-numeric", + "plutarch-context-builder", "plutarch", "haskell-nix", "nixpkgs-unstable" @@ -11527,7 +12532,7 @@ "hercules-ci-effects": "hercules-ci-effects_7", "iohk-nix": "iohk-nix_13", "nixpkgs": [ - "plutarch-quickcheck", + "plutarch-numeric", "plutarch", "haskell-nix", "nixpkgs-unstable" @@ -11559,14 +12564,13 @@ "cardano-prelude": "cardano-prelude_8", "emanote": "emanote_7", "flat": "flat_8", - "haskell-language-server": "haskell-language-server_23", + "haskell-language-server": "haskell-language-server_22", "haskell-nix": "haskell-nix_15", "haskell-nix-extra-hackage": "haskell-nix-extra-hackage_8", "hercules-ci-effects": "hercules-ci-effects_8", "iohk-nix": "iohk-nix_15", "nixpkgs": [ - "plutarch-safe-money", - "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "haskell-nix", "nixpkgs-unstable" @@ -11606,7 +12610,6 @@ "nixpkgs": [ "plutarch-safe-money", "liqwid-plutarch-extra", - "plutarch-quickcheck", "plutarch", "haskell-nix", "nixpkgs-unstable" @@ -11662,7 +12665,7 @@ "cardano-repo-tool": "cardano-repo-tool_10", "gitignore-nix": "gitignore-nix_10", "hackage-nix": "hackage-nix_10", - "haskell-language-server": "haskell-language-server_29", + "haskell-language-server": "haskell-language-server_30", "haskell-nix": "haskell-nix_20", "iohk-nix": "iohk-nix_20", "nixpkgs": "nixpkgs_48", @@ -11691,9 +12694,35 @@ "haskell-language-server": "haskell-language-server_32", "haskell-nix": "haskell-nix_22", "iohk-nix": "iohk-nix_22", - "nixpkgs": "nixpkgs_54", + "nixpkgs": "nixpkgs_53", "pre-commit-hooks-nix": "pre-commit-hooks-nix_11", - "sphinxcontrib-haddock": "sphinxcontrib-haddock_11", + "sphinxcontrib-haddock": "sphinxcontrib-haddock_11" + }, + "locked": { + "lastModified": 1653669501, + "narHash": "sha256-qJrjEeo9Jmar1TwihDFzKQNC1ui4M03iClJM1zMd5Uk=", + "owner": "input-output-hk", + "repo": "plutus", + "rev": "fed48a71550a12290efc84eefb74305d93cde69d", + "type": "github" + }, + "original": { + "owner": "input-output-hk", + "repo": "plutus", + "type": "github" + } + }, + "plutus_12": { + "inputs": { + "cardano-repo-tool": "cardano-repo-tool_12", + "gitignore-nix": "gitignore-nix_12", + "hackage-nix": "hackage-nix_12", + "haskell-language-server": "haskell-language-server_35", + "haskell-nix": "haskell-nix_24", + "iohk-nix": "iohk-nix_24", + "nixpkgs": "nixpkgs_59", + "pre-commit-hooks-nix": "pre-commit-hooks-nix_12", + "sphinxcontrib-haddock": "sphinxcontrib-haddock_12", "stackage-nix": "stackage-nix" }, "locked": { @@ -11711,17 +12740,17 @@ "type": "github" } }, - "plutus_12": { + "plutus_13": { "inputs": { - "cardano-repo-tool": "cardano-repo-tool_12", - "gitignore-nix": "gitignore-nix_12", - "hackage-nix": "hackage-nix_12", - "haskell-language-server": "haskell-language-server_34", - "haskell-nix": "haskell-nix_24", - "iohk-nix": "iohk-nix_24", - "nixpkgs": "nixpkgs_57", - "pre-commit-hooks-nix": "pre-commit-hooks-nix_12", - "sphinxcontrib-haddock": "sphinxcontrib-haddock_12" + "cardano-repo-tool": "cardano-repo-tool_13", + "gitignore-nix": "gitignore-nix_13", + "hackage-nix": "hackage-nix_13", + "haskell-language-server": "haskell-language-server_37", + "haskell-nix": "haskell-nix_26", + "iohk-nix": "iohk-nix_26", + "nixpkgs": "nixpkgs_62", + "pre-commit-hooks-nix": "pre-commit-hooks-nix_13", + "sphinxcontrib-haddock": "sphinxcontrib-haddock_13" }, "locked": { "lastModified": 1653669501, @@ -11794,10 +12823,10 @@ "cardano-repo-tool": "cardano-repo-tool_4", "gitignore-nix": "gitignore-nix_4", "hackage-nix": "hackage-nix_4", - "haskell-language-server": "haskell-language-server_11", + "haskell-language-server": "haskell-language-server_12", "haskell-nix": "haskell-nix_8", "iohk-nix": "iohk-nix_8", - "nixpkgs": "nixpkgs_18", + "nixpkgs": "nixpkgs_20", "pre-commit-hooks-nix": "pre-commit-hooks-nix_4", "sphinxcontrib-haddock": "sphinxcontrib-haddock_4" }, @@ -11898,7 +12927,7 @@ "cardano-repo-tool": "cardano-repo-tool_8", "gitignore-nix": "gitignore-nix_8", "hackage-nix": "hackage-nix_8", - "haskell-language-server": "haskell-language-server_24", + "haskell-language-server": "haskell-language-server_23", "haskell-nix": "haskell-nix_16", "iohk-nix": "iohk-nix_16", "nixpkgs": "nixpkgs_38", @@ -12009,6 +13038,22 @@ "type": "github" } }, + "pre-commit-hooks-nix_13": { + "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" + } + }, "pre-commit-hooks-nix_2": { "flake": false, "locked": { @@ -12170,6 +13215,22 @@ } }, "protolude_11": { + "flake": false, + "locked": { + "lastModified": 1647139352, + "narHash": "sha256-JyHAQfTTUswP8MeGEZibx/2/v01Q7cU5mNpnmDazh24=", + "owner": "protolude", + "repo": "protolude", + "rev": "3e249724fd0ead27370c8c297b1ecd38f92cbd5b", + "type": "github" + }, + "original": { + "owner": "protolude", + "repo": "protolude", + "type": "github" + } + }, + "protolude_12": { "flake": false, "locked": { "lastModified": 1637276813, @@ -12186,7 +13247,7 @@ "type": "github" } }, - "protolude_12": { + "protolude_13": { "flake": false, "locked": { "lastModified": 1647139352, @@ -12341,10 +13402,10 @@ "plutarch", "nixpkgs" ], - "nixpkgs-2111": "nixpkgs-2111_7", - "nixpkgs-latest": "nixpkgs-latest_7", - "plutarch": "plutarch_4", - "plutarch-context-builder": "plutarch-context-builder", + "nixpkgs-2111": "nixpkgs-2111_9", + "nixpkgs-latest": "nixpkgs-latest_9", + "plutarch": "plutarch_5", + "plutarch-context-builder": "plutarch-context-builder_2", "plutarch-numeric": "plutarch-numeric_2", "plutarch-quickcheck": "plutarch-quickcheck_2", "plutarch-safe-money": "plutarch-safe-money", @@ -12399,6 +13460,22 @@ "type": "github" } }, + "secp256k1-haskell_12": { + "flake": false, + "locked": { + "lastModified": 1650290419, + "narHash": "sha256-XrjiqCC7cNTFib78gdMPGNettAkwAxQlbC/n+/mRFt4=", + "owner": "haskoin", + "repo": "secp256k1-haskell", + "rev": "3df963ab6ae14ec122691a97af09a7331511a387", + "type": "github" + }, + "original": { + "owner": "haskoin", + "repo": "secp256k1-haskell", + "type": "github" + } + }, "secp256k1-haskell_2": { "flake": false, "locked": { @@ -12608,6 +13685,22 @@ "type": "github" } }, + "sphinxcontrib-haddock_13": { + "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" + } + }, "sphinxcontrib-haddock_2": { "flake": false, "locked": { @@ -12785,6 +13878,22 @@ } }, "stackage_11": { + "flake": false, + "locked": { + "lastModified": 1654046327, + "narHash": "sha256-IxX46Dh4OZpF3k7KPMa3tZSScYYGqFxXpCnMc0QRkuQ=", + "owner": "input-output-hk", + "repo": "stackage.nix", + "rev": "cc1d778723fcd431f9b2ed632a50c610c3e38b54", + "type": "github" + }, + "original": { + "owner": "input-output-hk", + "repo": "stackage.nix", + "type": "github" + } + }, + "stackage_12": { "flake": false, "locked": { "lastModified": 1644887829, @@ -12800,7 +13909,7 @@ "type": "github" } }, - "stackage_12": { + "stackage_13": { "flake": false, "locked": { "lastModified": 1654046327, @@ -12973,9 +14082,36 @@ }, "tailwind-haskell_10": { "inputs": { - "flake-compat": "flake-compat_21", - "flake-utils": "flake-utils_32", - "nixpkgs": "nixpkgs_51" + "ema": [ + "plutarch-safe-money", + "plutarch", + "emanote", + "ema" + ], + "flake-compat": "flake-compat_20", + "flake-utils": "flake-utils_30", + "nixpkgs": "nixpkgs_50" + }, + "locked": { + "lastModified": 1653230344, + "narHash": "sha256-MNwayqvZHsIsP1uyqwQFvzcfFGBMejzZOqAapDjrV5I=", + "owner": "srid", + "repo": "tailwind-haskell", + "rev": "0fb8a18b0e770bafc17521836658f31c56e6dfdb", + "type": "github" + }, + "original": { + "owner": "srid", + "ref": "master", + "repo": "tailwind-haskell", + "type": "github" + } + }, + "tailwind-haskell_11": { + "inputs": { + "flake-compat": "flake-compat_23", + "flake-utils": "flake-utils_35", + "nixpkgs": "nixpkgs_56" }, "locked": { "lastModified": 1649519562, @@ -12996,7 +14132,7 @@ "inputs": { "ema": [ "liqwid-plutarch-extra", - "plutarch-numeric", + "plutarch-context-builder", "plutarch", "emanote", "ema" @@ -13024,7 +14160,7 @@ "inputs": { "ema": [ "liqwid-plutarch-extra", - "plutarch-quickcheck", + "plutarch-numeric", "plutarch", "emanote", "ema" @@ -13051,14 +14187,15 @@ "tailwind-haskell_4": { "inputs": { "ema": [ - "plutarch-context-builder", + "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "emanote", "ema" ], "flake-compat": "flake-compat_8", - "flake-utils": "flake-utils_12", - "nixpkgs": "nixpkgs_20" + "flake-utils": "flake-utils_11", + "nixpkgs": "nixpkgs_17" }, "locked": { "lastModified": 1653230344, @@ -13078,7 +14215,7 @@ "tailwind-haskell_5": { "inputs": { "ema": [ - "plutarch-numeric", + "plutarch-context-builder", "plutarch", "emanote", "ema" @@ -13105,7 +14242,7 @@ "tailwind-haskell_6": { "inputs": { "ema": [ - "plutarch-quickcheck", + "plutarch-numeric", "plutarch", "emanote", "ema" @@ -13132,8 +14269,7 @@ "tailwind-haskell_7": { "inputs": { "ema": [ - "plutarch-safe-money", - "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "emanote", "ema" @@ -13162,7 +14298,6 @@ "ema": [ "plutarch-safe-money", "liqwid-plutarch-extra", - "plutarch-quickcheck", "plutarch", "emanote", "ema" @@ -13190,6 +14325,8 @@ "inputs": { "ema": [ "plutarch-safe-money", + "liqwid-plutarch-extra", + "plutarch-quickcheck", "plutarch", "emanote", "ema" @@ -13232,9 +14369,9 @@ }, "unionmount": { "inputs": { - "flake-compat": "flake-compat_22", - "flake-utils": "flake-utils_33", - "nixpkgs": "nixpkgs_52" + "flake-compat": "flake-compat_24", + "flake-utils": "flake-utils_36", + "nixpkgs": "nixpkgs_57" }, "locked": { "lastModified": 1649012450, diff --git a/flake.nix b/flake.nix index 6d915d7..946bb74 100644 --- a/flake.nix +++ b/flake.nix @@ -17,7 +17,7 @@ "plutarch/haskell-nix/nixpkgs-unstable"; inputs.liqwid-plutarch-extra.url = - "github:Liqwid-Labs/liqwid-plutarch-extra?rev=a951b85d15e7cca1a03dd2a8e36b60fae561d74a"; + "github:Liqwid-Labs/liqwid-plutarch-extra?ref=seungheonoh/agoraUtils"; inputs.plutarch-numeric.url = "github:Liqwid-Labs/plutarch-numeric?ref=main"; inputs.plutarch-safe-money.url = @@ -29,8 +29,10 @@ # Testing inputs.plutarch-quickcheck.url = "github:liqwid-labs/plutarch-quickcheck?ref=staging"; + + # PCB Rev is locked until Agora test have explicit Minting CS. Check PCB PR #12 inputs.plutarch-context-builder.url = - "github:Liqwid-Labs/plutarch-context-builder?ref=staging"; + "github:Liqwid-Labs/plutarch-context-builder?ref=62ab154fdcd8dd07a741e7955e078813aff4ed6a"; outputs = inputs@{ self, nixpkgs, nixpkgs-latest, haskell-nix, plutarch, ... }: let