diff --git a/CODEOWNERS b/CODEOWNERS index 88418e466..847659f15 100644 --- a/CODEOWNERS +++ b/CODEOWNERS @@ -140,6 +140,7 @@ _sources/eventuo11y-extras @input-output-hk/marlowe _sources/marlowe-cardano @input-output-hk/marlowe _sources/marlowe-chain-sync @input-output-hk/marlowe _sources/marlowe-client @input-output-hk/marlowe +_sources/marlowe-object @input-output-hk/marlowe _sources/marlowe-protocols @input-output-hk/marlowe _sources/marlowe-runtime @input-output-hk/marlowe _sources/marlowe-runtime-web @input-output-hk/marlowe diff --git a/_sources/aeson-record/0.1.0.0/meta.toml b/_sources/aeson-record/0.1.0.0/meta.toml new file mode 100644 index 000000000..409c81ab4 --- /dev/null +++ b/_sources/aeson-record/0.1.0.0/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2023-08-14T16:15:22Z +github = { repo = "input-output-hk/marlowe-cardano", rev = "8d95e711e45984b8845f20c51acce98a3da186ee" } +subdir = 'libs/aeson-record' diff --git a/_sources/byron-spec-chain/0.1.0.0/meta.toml b/_sources/byron-spec-chain/0.1.0.0/meta.toml index ee4fa5896..490393218 100644 --- a/_sources/byron-spec-chain/0.1.0.0/meta.toml +++ b/_sources/byron-spec-chain/0.1.0.0/meta.toml @@ -1,3 +1,7 @@ timestamp = 2022-10-17T00:00:00Z github = { repo = "input-output-hk/cardano-ledger", rev = "c7c63dabdb215ebdaed8b63274965966f2bf408f" } subdir = 'eras/byron/chain/executable-spec' + +[[revisions]] +number = 1 +timestamp = 2023-08-14T17:27:06Z diff --git a/_sources/byron-spec-chain/0.1.0.0/revisions/1.cabal b/_sources/byron-spec-chain/0.1.0.0/revisions/1.cabal new file mode 100644 index 000000000..e9a385efc --- /dev/null +++ b/_sources/byron-spec-chain/0.1.0.0/revisions/1.cabal @@ -0,0 +1,78 @@ +cabal-version: 2.2 + +name: byron-spec-chain +version: 0.1.0.0 +synopsis: Executable specification of the Cardano blockchain +-- description: +homepage: https://github.com/input-output-hk/cardano-legder-specs +license: Apache-2.0 +author: IOHK Formal Methods Team +maintainer: formal.methods@iohk.io +-- copyright: +category: Testing +build-type: Simple +extra-source-files: ChangeLog.md + +common base + build-depends: base >= 4.12 && < 4.15 + +common project-config + default-language: Haskell2010 + + ghc-options: -Wall + -Wcompat + -Wincomplete-record-updates + -Wincomplete-uni-patterns + -Wredundant-constraints + -Wunused-packages + +library + import: base, project-config + + exposed-modules: Byron.Spec.Chain.STS.Block + , Byron.Spec.Chain.STS.Rule.BBody + , Byron.Spec.Chain.STS.Rule.Bupi + , Byron.Spec.Chain.STS.Rule.Chain + , Byron.Spec.Chain.STS.Rule.Epoch + , Byron.Spec.Chain.STS.Rule.Pbft + , Byron.Spec.Chain.STS.Rule.SigCnt + + hs-source-dirs: src + build-depends: bimap >=0.4 && <0.5 + , bytestring + , cardano-data + , containers + , byron-spec-ledger + , goblins + , hashable + , hedgehog >= 1.0.4 && < 1.3 + , microlens + , microlens-th + , small-steps + , small-steps-test + +test-suite chain-rules-test + import: base, project-config + + hs-source-dirs: test + main-is: Main.hs + other-modules: Test.Byron.Spec.Chain.STS.Properties + , Test.Byron.AbstractSize.Properties + type: exitcode-stdio-1.0 + default-language: Haskell2010 + build-depends: containers + , cardano-data + , data-ordlist + , hedgehog >= 1.0.4 && < 1.3 + , microlens + , tasty + , tasty-hedgehog + , tasty-hunit + -- local deps + , byron-spec-chain + , byron-spec-ledger + , small-steps + , small-steps-test + + -- See `byron-spec-ledger.cabal` for an explanation of the options below. + ghc-options: "-with-rtsopts=-K4m -M300m" diff --git a/_sources/cardano-api/8.13.0.0/meta.toml b/_sources/cardano-api/8.13.0.0/meta.toml new file mode 100644 index 000000000..caabbd9c0 --- /dev/null +++ b/_sources/cardano-api/8.13.0.0/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2023-08-11T16:23:05Z +github = { repo = "input-output-hk/cardano-api", rev = "54296fbc814732dbca4fd15a43b286f2c4ca3d7d" } +subdir = 'cardano-api' diff --git a/_sources/cardano-api/8.13.1.0/meta.toml b/_sources/cardano-api/8.13.1.0/meta.toml new file mode 100644 index 000000000..c3f29e25a --- /dev/null +++ b/_sources/cardano-api/8.13.1.0/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2023-08-14T11:23:43Z +github = { repo = "input-output-hk/cardano-api", rev = "3c2c27069ef97715ec813cc6b5bf1cabe72bc708" } +subdir = 'cardano-api' diff --git a/_sources/cardano-client/0.3.0.0/meta.toml b/_sources/cardano-client/0.3.0.0/meta.toml new file mode 100644 index 000000000..9f7b3e5e5 --- /dev/null +++ b/_sources/cardano-client/0.3.0.0/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2023-08-10T19:35:43Z +github = { repo = "input-output-hk/ouroboros-network", rev = "cd8ceb8d89feac5603952db70dff644f12b0db64" } +subdir = 'cardano-client' diff --git a/_sources/cardano-git-rev/0.1.2.0/meta.toml b/_sources/cardano-git-rev/0.1.2.0/meta.toml new file mode 100644 index 000000000..87750fd23 --- /dev/null +++ b/_sources/cardano-git-rev/0.1.2.0/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2023-08-08T21:04:17Z +github = { repo = "input-output-hk/cardano-node", rev = "892b6202eafef2c0c66b1e6d51d8fc1b8d5d7619" } +subdir = 'cardano-git-rev' diff --git a/_sources/cardano-ping/0.2.0.6/meta.toml b/_sources/cardano-ping/0.2.0.6/meta.toml new file mode 100644 index 000000000..e44e87653 --- /dev/null +++ b/_sources/cardano-ping/0.2.0.6/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2023-08-10T19:35:44Z +github = { repo = "input-output-hk/ouroboros-network", rev = "cd8ceb8d89feac5603952db70dff644f12b0db64" } +subdir = 'cardano-ping' diff --git a/_sources/marlowe-cardano/0.1.2.0/meta.toml b/_sources/marlowe-cardano/0.1.2.0/meta.toml new file mode 100644 index 000000000..762f9d92a --- /dev/null +++ b/_sources/marlowe-cardano/0.1.2.0/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2023-08-14T16:15:22Z +github = { repo = "input-output-hk/marlowe-cardano", rev = "e5ac319e7e5dcc3768bba5714487c7c7ca40cb30" } +subdir = 'marlowe' diff --git a/_sources/marlowe-chain-sync/0.0.4/meta.toml b/_sources/marlowe-chain-sync/0.0.4/meta.toml new file mode 100644 index 000000000..c875746bb --- /dev/null +++ b/_sources/marlowe-chain-sync/0.0.4/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2023-08-14T16:15:22Z +github = { repo = "input-output-hk/marlowe-cardano", rev = "addc170fecf45c48a9e728b791217879969d0876" } +subdir = 'marlowe-chain-sync' diff --git a/_sources/marlowe-client/0.0.4/meta.toml b/_sources/marlowe-client/0.0.4/meta.toml new file mode 100644 index 000000000..fce1d09cb --- /dev/null +++ b/_sources/marlowe-client/0.0.4/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2023-08-14T16:15:22Z +github = { repo = "input-output-hk/marlowe-cardano", rev = "addc170fecf45c48a9e728b791217879969d0876" } +subdir = 'marlowe-client' diff --git a/_sources/marlowe-object/0.1.0.0/meta.toml b/_sources/marlowe-object/0.1.0.0/meta.toml new file mode 100644 index 000000000..0863442db --- /dev/null +++ b/_sources/marlowe-object/0.1.0.0/meta.toml @@ -0,0 +1,7 @@ +timestamp = 2023-08-14T16:15:22Z +github = { repo = "input-output-hk/marlowe-cardano", rev = "addc170fecf45c48a9e728b791217879969d0876" } +subdir = 'marlowe-object' + +[[revisions]] +number = 1 +timestamp = 2023-08-14T16:21:23Z diff --git a/_sources/marlowe-object/0.1.0.0/revisions/1.cabal b/_sources/marlowe-object/0.1.0.0/revisions/1.cabal new file mode 100644 index 000000000..52e50e77b --- /dev/null +++ b/_sources/marlowe-object/0.1.0.0/revisions/1.cabal @@ -0,0 +1,122 @@ +cabal-version: 3.0 +name: marlowe-object +version: 0.1.0.0 +synopsis: Object format for Marlowe contracts. +bug-reports: https://github.com/input-output-hk/marlowe-marlowe/issues +license: Apache-2.0 +author: Jamie Bertram +maintainer: jamie.bertram@iohk.io +stability: experimental +category: Language +license-files: + LICENSE + NOTICE + +source-repository head + type: git + location: https://github.com/input-output-hk/marlowe-cardano + subdir: marlowe-object + +common lang + default-language: Haskell2010 + default-extensions: + BlockArguments + DeriveAnyClass + DeriveFoldable + DeriveFunctor + DeriveGeneric + DeriveLift + DeriveTraversable + DerivingStrategies + DerivingVia + EmptyCase + ExplicitForAll + GeneralizedNewtypeDeriving + LambdaCase + NamedFieldPuns + NumericUnderscores + OverloadedStrings + RecordWildCards + ScopedTypeVariables + StandaloneDeriving + TupleSections + TypeApplications + + ghc-options: + -Wall -Wnoncanonical-monad-instances -Wunused-packages + -Wincomplete-uni-patterns -Wincomplete-record-updates + -Wredundant-constraints -Widentities + +library + import: lang + hs-source-dirs: src + exposed-modules: + Language.Marlowe.Object.Archive + Language.Marlowe.Object.Bundler + Language.Marlowe.Object.Link + Language.Marlowe.Object.Types + + build-depends: + , aeson >=2 && <3 + , aeson-record ==0.1.0.0 + , base >=4.9 && <5 + , base16 ^>=0.3.2 + , binary ^>=0.8.8 + , bytestring >=0.10.12 && <0.12 + , cardano-api ==1.35.4 + , cardano-ledger-core ==0.1.0.0 + , dlist ^>=1.0 + , filepath ^>=1.4 + , hashable >=1.3 && <2 + , lens >=5.2 && <6 + , marlowe-cardano ==0.1.2.0 + , marlowe-protocols ==0.2.0.0 + , mtl >=2.2 && <3 + , pipes ^>=4.3.16 + , plutus-ledger-api ==1.0.0.1 + , text >=1.2.4 && <2 + , time >=1.9 && <2 + , transformers ^>=0.5.6 + , unliftio ^>=0.2.1 + , unordered-containers ^>=0.2.19 + , zip ^>=1.7.2 + +library gen + import: lang + hs-source-dirs: gen + exposed-modules: Language.Marlowe.Object.Gen + build-depends: + , base >=4.9 && <5 + , bytestring >=0.10.12 && <0.12 + , cardano-api:gen ==1.35.4 + , hedgehog-quickcheck ^>=0.1 + , lens >=5.2 && <6 + , marlowe-object ==0.1.0.0 + , marlowe-test ==0.1.3.0 + , QuickCheck >=2.14 && <3 + , quickcheck-instances ^>=0.3.29 + + visibility: public + +test-suite marlowe-object-test + import: lang + hs-source-dirs: test + type: exitcode-stdio-1.0 + main-is: Spec.hs + other-modules: + Language.Marlowe.Object.BundlerSpec + Language.Marlowe.Object.LinkSpec + Language.Marlowe.Object.TypesSpec + + build-depends: + , aeson >=2 && <3 + , base >=4.9 && <5 + , binary ^>=0.8.8 + , hspec + , marlowe-object:{marlowe-object, gen} + , QuickCheck >=2.14 && <3 + , quickcheck-classes + , unordered-containers ^>=0.2.19 + + build-tool-depends: hspec-discover:hspec-discover + ghc-options: -threaded diff --git a/_sources/marlowe-protocols/0.2.0.0/meta.toml b/_sources/marlowe-protocols/0.2.0.0/meta.toml new file mode 100644 index 000000000..13d24ebf1 --- /dev/null +++ b/_sources/marlowe-protocols/0.2.0.0/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2023-08-14T16:15:22Z +github = { repo = "input-output-hk/marlowe-cardano", rev = "addc170fecf45c48a9e728b791217879969d0876" } +subdir = 'marlowe-protocols' diff --git a/_sources/marlowe-runtime-web/0.0.4/meta.toml b/_sources/marlowe-runtime-web/0.0.4/meta.toml new file mode 100644 index 000000000..fde94ce37 --- /dev/null +++ b/_sources/marlowe-runtime-web/0.0.4/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2023-08-14T16:15:22Z +github = { repo = "input-output-hk/marlowe-cardano", rev = "addc170fecf45c48a9e728b791217879969d0876" } +subdir = 'marlowe-runtime-web' diff --git a/_sources/marlowe-runtime/0.0.4/meta.toml b/_sources/marlowe-runtime/0.0.4/meta.toml new file mode 100644 index 000000000..9b3a7e8c2 --- /dev/null +++ b/_sources/marlowe-runtime/0.0.4/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2023-08-14T16:15:22Z +github = { repo = "input-output-hk/marlowe-cardano", rev = "addc170fecf45c48a9e728b791217879969d0876" } +subdir = 'marlowe-runtime' diff --git a/_sources/marlowe-test/0.1.3.0/meta.toml b/_sources/marlowe-test/0.1.3.0/meta.toml new file mode 100644 index 000000000..c115d5b3c --- /dev/null +++ b/_sources/marlowe-test/0.1.3.0/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2023-08-14T16:15:22Z +github = { repo = "input-output-hk/marlowe-cardano", rev = "addc170fecf45c48a9e728b791217879969d0876" } +subdir = 'marlowe-test' diff --git a/_sources/network-mux/0.4.0.0/meta.toml b/_sources/network-mux/0.4.0.0/meta.toml index 43f07ffbb..4aed8f769 100644 --- a/_sources/network-mux/0.4.0.0/meta.toml +++ b/_sources/network-mux/0.4.0.0/meta.toml @@ -1,3 +1,7 @@ timestamp = 2023-04-28T17:49:47Z github = { repo = "input-output-hk/ouroboros-network", rev = "b9f3907c508829b1751c3fb1d811a139d5efc826" } subdir = 'network-mux' + +[[revisions]] +number = 1 +timestamp = 2023-08-10T19:37:56Z diff --git a/_sources/network-mux/0.4.0.0/revisions/1.cabal b/_sources/network-mux/0.4.0.0/revisions/1.cabal new file mode 100644 index 000000000..560da9b19 --- /dev/null +++ b/_sources/network-mux/0.4.0.0/revisions/1.cabal @@ -0,0 +1,184 @@ +cabal-version: 3.0 + +name: network-mux +version: 0.4.0.0 +synopsis: Multiplexing library +description: Multiplexing library. +license: Apache-2.0 +license-files: LICENSE + NOTICE +copyright: 2019-2023 Input Output Global Inc (IOG) +author: Duncan Coutts, Marc Fontaine, Karl Knutsson, Marcin Szamotulski, Alexander Vieth, Neil Davies +maintainer: marcin.szamotulski@iohk.io +category: Network +build-type: Simple +extra-source-files: CHANGELOG.md + +flag asserts + description: Enable assertions + manual: False + default: False + +Flag ipv6 + Description: Enable IPv6 test cases + Manual: True + -- Default to False since travis lacks IPv6 support + Default: False + +Flag tracetcpinfo + Description: Enable costly Linux only tracing of the kernel's tcpinfo + Manual: True + Default: False + +common demo-deps + default-language: Haskell2010 + ghc-options: -threaded + -Wall + -fno-ignore-asserts + -Wcompat + -Wincomplete-uni-patterns + -Wincomplete-record-updates + -Wpartial-fields + -Widentities + -Wredundant-constraints + -Wunused-packages + +library + build-depends: base >=4.14 && <4.19, + io-classes >=1.1 && <1.3, + strict-stm, + si-timers, + contra-tracer >=0.1 && <0.2, + monoidal-synchronisation + >=0.1 && <0.2, + + array >=0.5 && <0.6, + binary >=0.8 && <0.11, + bytestring >=0.10 && <0.12, + containers >=0.5 && <0.7, + -- The Windows version of network-3.1.2 is missing + -- functions, see + -- https://github.com/haskell/network/issues/484 + network >=3.1.2.2 && <3.2, + process >=1.6 && <1.7, + statistics-linreg + >=0.3 && <0.4, + vector >=0.12 && <0.13, + time >=1.9.1 && <1.14, + quiet + + if os(windows) + build-depends: Win32 >= 2.5.4.1 && <3.0, + Win32-network >=0.1 && <0.2 + + if flag(asserts) + ghc-options: -fno-ignore-asserts + + if flag(tracetcpinfo) + cpp-options: -DMUX_TRACE_TCPINFO + hs-source-dirs: src + exposed-modules: Network.Mux + Network.Mux.Channel + Network.Mux.Codec + Network.Mux.Compat + Network.Mux.Egress + Network.Mux.Ingress + Network.Mux.Time + Network.Mux.Timeout + Network.Mux.Types + Network.Mux.Trace + Network.Mux.Bearer + Network.Mux.Bearer.AttenuatedChannel + Network.Mux.Bearer.Pipe + Network.Mux.Bearer.Queues + Network.Mux.Bearer.Socket + Network.Mux.DeltaQ.TraceStats + Network.Mux.DeltaQ.TraceStatsSupport + Network.Mux.DeltaQ.TraceTransformer + Network.Mux.DeltaQ.TraceTypes + Network.Mux.TCPInfo + Control.Concurrent.JobPool + + if os(linux) + other-modules: Network.Mux.TCPInfo.Linux + + if os(windows) + exposed-modules: + Network.Mux.Bearer.NamedPipe + default-language: Haskell2010 + ghc-options: -Wall + -Wcompat + -Widentities + -Wincomplete-record-updates + -Wincomplete-uni-patterns + -Wno-unticked-promoted-constructors + -Wpartial-fields + -Wredundant-constraints + -Wunused-packages + +test-suite test + type: exitcode-stdio-1.0 + hs-source-dirs: test + main-is: Main.hs + other-modules: Test.Mux + Test.Mux.ReqResp + Test.Mux.Timeout + default-language: Haskell2010 + build-depends: base >=4.14 && <4.19, + io-classes, + si-timers, + strict-stm, + io-sim, + contra-tracer, + network-mux, + Win32-network, + + binary, + bytestring, + cborg, + containers, + network, + QuickCheck, + splitmix, + serialise, + tasty, + tasty-quickcheck, + + if os(windows) + build-depends: Win32 >= 2.5.4.1 && <3.0, + else + build-depends: process + ghc-options: -threaded + -Wall + -fno-ignore-asserts + -Wcompat + -Wincomplete-uni-patterns + -Wincomplete-record-updates + -Wpartial-fields + -Widentities + -Wredundant-constraints + -Wno-unticked-promoted-constructors + -Wunused-packages + if flag(ipv6) + cpp-options: -DOUROBOROS_NETWORK_IPV6 + +executable mux-demo + import: demo-deps + hs-source-dirs: demo, test + main-is: mux-demo.hs + other-modules: Test.Mux.ReqResp + build-depends: base >=4.14 && <4.19, + network-mux, + io-classes, + contra-tracer, + stm, + + bytestring, + cborg, + serialise + if os(windows) + build-depends: Win32, + Win32-network + else + build-depends: directory, + network diff --git a/_sources/ouroboros-network-api/0.5.1.0/meta.toml b/_sources/ouroboros-network-api/0.5.1.0/meta.toml new file mode 100644 index 000000000..61145f4dd --- /dev/null +++ b/_sources/ouroboros-network-api/0.5.1.0/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2023-08-10T19:35:46Z +github = { repo = "input-output-hk/ouroboros-network", rev = "cd8ceb8d89feac5603952db70dff644f12b0db64" } +subdir = 'ouroboros-network-api' diff --git a/_sources/ouroboros-network-framework/0.8.0.0/meta.toml b/_sources/ouroboros-network-framework/0.8.0.0/meta.toml new file mode 100644 index 000000000..af099f8f9 --- /dev/null +++ b/_sources/ouroboros-network-framework/0.8.0.0/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2023-08-10T19:35:46Z +github = { repo = "input-output-hk/ouroboros-network", rev = "cd8ceb8d89feac5603952db70dff644f12b0db64" } +subdir = 'ouroboros-network-framework' diff --git a/_sources/ouroboros-network-protocols/0.5.2.0/meta.toml b/_sources/ouroboros-network-protocols/0.5.2.0/meta.toml new file mode 100644 index 000000000..2225971cb --- /dev/null +++ b/_sources/ouroboros-network-protocols/0.5.2.0/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2023-08-10T19:35:47Z +github = { repo = "input-output-hk/ouroboros-network", rev = "cd8ceb8d89feac5603952db70dff644f12b0db64" } +subdir = 'ouroboros-network-protocols' diff --git a/_sources/ouroboros-network-testing/0.3.1.0/meta.toml b/_sources/ouroboros-network-testing/0.3.1.0/meta.toml new file mode 100644 index 000000000..13820d29c --- /dev/null +++ b/_sources/ouroboros-network-testing/0.3.1.0/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2023-08-10T19:35:48Z +github = { repo = "input-output-hk/ouroboros-network", rev = "cd8ceb8d89feac5603952db70dff644f12b0db64" } +subdir = 'ouroboros-network-testing' diff --git a/_sources/ouroboros-network/0.9.0.0/meta.toml b/_sources/ouroboros-network/0.9.0.0/meta.toml new file mode 100644 index 000000000..74d510678 --- /dev/null +++ b/_sources/ouroboros-network/0.9.0.0/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2023-08-10T19:35:45Z +github = { repo = "input-output-hk/ouroboros-network", rev = "cd8ceb8d89feac5603952db70dff644f12b0db64" } +subdir = 'ouroboros-network' diff --git a/_sources/plutus-core/1.10.0.0/meta.toml b/_sources/plutus-core/1.10.0.0/meta.toml new file mode 100644 index 000000000..c77d35298 --- /dev/null +++ b/_sources/plutus-core/1.10.0.0/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2023-08-09T14:21:51Z +github = { repo = "input-output-hk/plutus", rev = "24399d7c134f981ef00b74bbfe905b7980583e24" } +subdir = 'plutus-core' diff --git a/_sources/plutus-ledger-api/1.10.0.0/meta.toml b/_sources/plutus-ledger-api/1.10.0.0/meta.toml new file mode 100644 index 000000000..845bdcfa2 --- /dev/null +++ b/_sources/plutus-ledger-api/1.10.0.0/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2023-08-09T14:21:51Z +github = { repo = "input-output-hk/plutus", rev = "24399d7c134f981ef00b74bbfe905b7980583e24" } +subdir = 'plutus-ledger-api' diff --git a/_sources/plutus-tx-plugin/1.10.0.0/meta.toml b/_sources/plutus-tx-plugin/1.10.0.0/meta.toml new file mode 100644 index 000000000..8a7f205fe --- /dev/null +++ b/_sources/plutus-tx-plugin/1.10.0.0/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2023-08-09T14:21:51Z +github = { repo = "input-output-hk/plutus", rev = "24399d7c134f981ef00b74bbfe905b7980583e24" } +subdir = 'plutus-tx-plugin' diff --git a/_sources/plutus-tx/1.10.0.0/meta.toml b/_sources/plutus-tx/1.10.0.0/meta.toml new file mode 100644 index 000000000..79b87b604 --- /dev/null +++ b/_sources/plutus-tx/1.10.0.0/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2023-08-09T14:21:51Z +github = { repo = "input-output-hk/plutus", rev = "24399d7c134f981ef00b74bbfe905b7980583e24" } +subdir = 'plutus-tx' diff --git a/_sources/prettyprinter-configurable/1.10.0.0/meta.toml b/_sources/prettyprinter-configurable/1.10.0.0/meta.toml new file mode 100644 index 000000000..d74bc026f --- /dev/null +++ b/_sources/prettyprinter-configurable/1.10.0.0/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2023-08-09T14:21:51Z +github = { repo = "input-output-hk/plutus", rev = "24399d7c134f981ef00b74bbfe905b7980583e24" } +subdir = 'prettyprinter-configurable' diff --git a/flake.lock b/flake.lock index c322ded4a..8570d5d54 100644 --- a/flake.lock +++ b/flake.lock @@ -3,11 +3,11 @@ "CHaP": { "flake": false, "locked": { - "lastModified": 1690483556, - "narHash": "sha256-UOIamXYb+xLDrTYs41BaaCun2C3P/cscH4jQ+/1R3w0=", + "lastModified": 1691169578, + "narHash": "sha256-XtSSU0RI4c/BbUM80Z/3qZCOMriSqUwvJvjBU+g7YdI=", "owner": "input-output-hk", "repo": "cardano-haskell-packages", - "rev": "290243bf6425a011825ce4afa79d05b4bf1c6024", + "rev": "3615dfca0ee10cb5e66f0524725c4c775a2b7f83", "type": "github" }, "original": { @@ -199,11 +199,11 @@ "hackage-nix": { "flake": false, "locked": { - "lastModified": 1690590252, - "narHash": "sha256-t63nPpZ0CaICHuHv+L1UBbyN1fPIEmfIdu/ldoc+f5Y=", + "lastModified": 1691195156, + "narHash": "sha256-cy5qo3aE/a6lymbzOAcxdW9ZLGRCnanDuu/xQL2dQo8=", "owner": "input-output-hk", "repo": "hackage.nix", - "rev": "141d926c879e60c62abdad4d5c11db1c13f57984", + "rev": "4dcf5a4a045945aa55c1f2be9d2dadce968488fa", "type": "github" }, "original": { diff --git a/flake.nix b/flake.nix index f2916cbc8..89e9a05dc 100644 --- a/flake.nix +++ b/flake.nix @@ -81,6 +81,7 @@ (lib.setAttrByPath [ "ghc927" "marlowe-runtime" ] null) (lib.setAttrByPath [ "ghc927" "marlowe-runtime-web" ] null) (lib.setAttrByPath [ "ghc927" "marlowe-test" ] null) + (lib.setAttrByPath [ "ghc927" "marlowe-object" ] null) (lib.setAttrByPath [ "ghc927" "quickcheck-contractmodel" ] null) ]; filtered = builtins.foldl' lib.recursiveUpdate perCompilerDerivations toRemove;