2021-07-16 22:38:16 +02:00
|
|
|
index-state: 2021-07-07T00:00:00Z
|
|
|
|
|
|
|
|
|
|
packages: ./.
|
|
|
|
|
|
|
|
|
|
-- You never, ever, want this.
|
|
|
|
|
write-ghc-environment-files: never
|
|
|
|
|
|
|
|
|
|
-- Always build tests and benchmarks.
|
|
|
|
|
tests: true
|
|
|
|
|
benchmarks: true
|
|
|
|
|
|
|
|
|
|
source-repository-package
|
|
|
|
|
type: git
|
|
|
|
|
location: https://github.com/input-output-hk/plutus.git
|
|
|
|
|
subdir:
|
|
|
|
|
freer-extras
|
|
|
|
|
playground-common
|
|
|
|
|
plutus-chain-index
|
|
|
|
|
plutus-core
|
|
|
|
|
plutus-contract
|
|
|
|
|
plutus-ledger
|
|
|
|
|
plutus-ledger-api
|
|
|
|
|
plutus-tx
|
|
|
|
|
plutus-tx-plugin
|
|
|
|
|
prettyprinter-configurable
|
|
|
|
|
quickcheck-dynamic
|
|
|
|
|
word-array
|
2021-07-20 23:36:09 +02:00
|
|
|
tag: 2fbb7abb22138a434bb6c4f663a81e9b9dc51e98
|
2021-07-16 22:38:16 +02:00
|
|
|
|
|
|
|
|
-- The following sections are copied from the 'plutus' repository cabal.project at the revision
|
|
|
|
|
-- given above.
|
|
|
|
|
-- This is necessary because the 'plutus' libraries depend on a number of other libraries which are
|
|
|
|
|
-- not on Hackage, and so need to be pulled in as `source-repository-package`s themselves. Make sure to
|
|
|
|
|
-- re-update this section from the template when you do an upgrade.
|
|
|
|
|
|
|
|
|
|
-- This is also needed so evenful-sql-common will build with a
|
|
|
|
|
-- newer version of persistent. See stack.yaml for the mirrored
|
|
|
|
|
-- configuration.
|
|
|
|
|
package eventful-sql-common
|
|
|
|
|
ghc-options: -XDerivingStrategies -XStandaloneDeriving -XUndecidableInstances -XDataKinds -XFlexibleInstances -XMultiParamTypeClasses
|
|
|
|
|
|
|
|
|
|
allow-newer:
|
|
|
|
|
-- Pins to an old version of Template Haskell, unclear if/when it will be updated
|
|
|
|
|
size-based:template-haskell
|
|
|
|
|
|
|
|
|
|
-- The following two dependencies are needed by plutus.
|
|
|
|
|
, eventful-sql-common:persistent
|
|
|
|
|
, eventful-sql-common:persistent-template
|
|
|
|
|
, ouroboros-consensus-byron:formatting
|
|
|
|
|
, beam-core:aeson
|
|
|
|
|
, beam-sqlite:aeson
|
|
|
|
|
, beam-sqlite:dlist
|
|
|
|
|
, beam-migrate:aeson
|
|
|
|
|
|
|
|
|
|
constraints:
|
|
|
|
|
-- big breaking change here, inline-r doens't have an upper bound
|
|
|
|
|
singletons < 3.0
|
|
|
|
|
-- breaks eventful even more than it already was
|
|
|
|
|
, persistent-template < 2.12
|
|
|
|
|
-- bizarre issue: in earlier versions they define their own 'GEq', in newer
|
|
|
|
|
-- ones they reuse the one from 'some', but there isn't e.g. a proper version
|
|
|
|
|
-- constraint from dependent-sum-template (which is the library we actually use).
|
|
|
|
|
, dependent-sum > 0.6.2.0
|
|
|
|
|
|
|
|
|
|
-- See the note on nix/pkgs/default.nix:agdaPackages for why this is here.
|
|
|
|
|
-- (NOTE this will change to ieee754 in newer versions of nixpkgs).
|
|
|
|
|
extra-packages: ieee, filemanip
|
|
|
|
|
|
|
|
|
|
-- Drops an instance breaking our code. Should be released to Hackage eventually.
|
|
|
|
|
source-repository-package
|
|
|
|
|
type: git
|
|
|
|
|
location: https://github.com/Quid2/flat.git
|
|
|
|
|
tag: 95e5d7488451e43062ca84d5376b3adcc465f1cd
|
|
|
|
|
|
|
|
|
|
-- Needs some patches, but upstream seems to be fairly dead (no activity in > 1 year)
|
|
|
|
|
source-repository-package
|
|
|
|
|
type: git
|
|
|
|
|
location: https://github.com/shmish111/purescript-bridge.git
|
|
|
|
|
tag: 6a92d7853ea514be8b70bab5e72077bf5a510596
|
|
|
|
|
|
|
|
|
|
source-repository-package
|
|
|
|
|
type: git
|
|
|
|
|
location: https://github.com/shmish111/servant-purescript.git
|
|
|
|
|
tag: a76104490499aa72d40c2790d10e9383e0dbde63
|
|
|
|
|
|
|
|
|
|
source-repository-package
|
|
|
|
|
type: git
|
|
|
|
|
location: https://github.com/input-output-hk/cardano-crypto.git
|
|
|
|
|
tag: ce8f1934e4b6252084710975bd9bbc0a4648ece4
|
|
|
|
|
|
|
|
|
|
source-repository-package
|
|
|
|
|
type: git
|
|
|
|
|
location: https://github.com/input-output-hk/cardano-base
|
|
|
|
|
tag: a715c7f420770b70bbe95ca51d3dec83866cb1bd
|
|
|
|
|
subdir:
|
|
|
|
|
binary
|
|
|
|
|
binary/test
|
|
|
|
|
slotting
|
|
|
|
|
cardano-crypto-class
|
|
|
|
|
cardano-crypto-praos
|
|
|
|
|
cardano-crypto-tests
|
|
|
|
|
strict-containers
|
|
|
|
|
|
|
|
|
|
source-repository-package
|
|
|
|
|
type: git
|
|
|
|
|
location: https://github.com/input-output-hk/cardano-prelude
|
|
|
|
|
tag: fd773f7a58412131512b9f694ab95653ac430852
|
|
|
|
|
subdir:
|
|
|
|
|
cardano-prelude
|
|
|
|
|
cardano-prelude-test
|
|
|
|
|
|
|
|
|
|
source-repository-package
|
|
|
|
|
type: git
|
|
|
|
|
location: https://github.com/input-output-hk/ouroboros-network
|
|
|
|
|
tag: e338f2cf8e1078fbda9555dd2b169c6737ef6774
|
|
|
|
|
subdir:
|
|
|
|
|
monoidal-synchronisation
|
|
|
|
|
typed-protocols
|
|
|
|
|
typed-protocols-examples
|
|
|
|
|
ouroboros-network
|
|
|
|
|
ouroboros-network-testing
|
|
|
|
|
ouroboros-network-framework
|
|
|
|
|
ouroboros-consensus
|
|
|
|
|
ouroboros-consensus-byron
|
|
|
|
|
ouroboros-consensus-cardano
|
|
|
|
|
ouroboros-consensus-shelley
|
|
|
|
|
io-sim
|
|
|
|
|
io-classes
|
|
|
|
|
network-mux
|
|
|
|
|
|
|
|
|
|
source-repository-package
|
|
|
|
|
type: git
|
|
|
|
|
location: https://github.com/input-output-hk/iohk-monitoring-framework
|
|
|
|
|
tag: 34abfb7f4f5610cabb45396e0496472446a0b2ca
|
|
|
|
|
subdir:
|
|
|
|
|
iohk-monitoring
|
|
|
|
|
tracer-transformers
|
|
|
|
|
contra-tracer
|
|
|
|
|
plugins/backend-aggregation
|
|
|
|
|
plugins/backend-ekg
|
|
|
|
|
plugins/backend-monitoring
|
|
|
|
|
plugins/backend-trace-forwarder
|
|
|
|
|
plugins/scribe-systemd
|
|
|
|
|
|
|
|
|
|
source-repository-package
|
|
|
|
|
type: git
|
|
|
|
|
location: https://github.com/input-output-hk/cardano-ledger-specs
|
|
|
|
|
tag: ad951f017b5da37a622fb91b2ee2954d5eba201d
|
|
|
|
|
subdir:
|
|
|
|
|
byron/chain/executable-spec
|
|
|
|
|
byron/crypto
|
|
|
|
|
byron/crypto/test
|
|
|
|
|
byron/ledger/executable-spec
|
|
|
|
|
byron/ledger/impl
|
|
|
|
|
byron/ledger/impl/test
|
|
|
|
|
semantics/executable-spec
|
|
|
|
|
semantics/small-steps-test
|
|
|
|
|
shelley/chain-and-ledger/dependencies/non-integer
|
|
|
|
|
shelley/chain-and-ledger/executable-spec
|
|
|
|
|
shelley/chain-and-ledger/shelley-spec-ledger-test
|
|
|
|
|
shelley-ma/impl
|
|
|
|
|
cardano-ledger-core
|
|
|
|
|
alonzo/impl
|
|
|
|
|
|
|
|
|
|
-- A lot of plutus dependencies have to be synchronized with the dependencies of
|
|
|
|
|
-- cardano-node. If you update cardano-node, please make sure that all dependencies
|
|
|
|
|
-- of cardano-node are also updated.
|
|
|
|
|
source-repository-package
|
|
|
|
|
type: git
|
|
|
|
|
location: https://github.com/input-output-hk/cardano-node.git
|
|
|
|
|
tag: f3ef4ed72894499160f2330b91572a159005c148
|
|
|
|
|
subdir:
|
|
|
|
|
cardano-api
|
|
|
|
|
cardano-node
|
|
|
|
|
cardano-cli
|
|
|
|
|
cardano-config
|
|
|
|
|
|
|
|
|
|
source-repository-package
|
|
|
|
|
type: git
|
|
|
|
|
location: https://github.com/input-output-hk/Win32-network
|
|
|
|
|
tag: 94153b676617f8f33abe8d8182c37377d2784bd1
|
|
|
|
|
|
|
|
|
|
source-repository-package
|
|
|
|
|
type: git
|
|
|
|
|
location: https://github.com/input-output-hk/hedgehog-extras
|
|
|
|
|
tag: 8bcd3c9dc22cc44f9fcfe161f4638a384fc7a187
|
|
|
|
|
|
|
|
|
|
-- The following dependencies are not mirrored in the
|
|
|
|
|
-- stack.yaml file, but they are needed regardless by cabal.
|
|
|
|
|
source-repository-package
|
|
|
|
|
type: git
|
|
|
|
|
location: https://github.com/input-output-hk/goblins
|
|
|
|
|
tag: cde90a2b27f79187ca8310b6549331e59595e7ba
|
