claudiomaradonna/plutus-pioneer-program
1
0
Fork 0
mirror of https://github.com/FiloSpaTeam/plutus-pioneer-program.git synced 2024-11-21 22:32:00 +01:00
Code Issues Projects Releases Packages Wiki Activity

bumped Plutus version

Browse source
This commit is contained in:
Lars Brünjes 2021-07-14 17:38:09 +02:00
parent 840d80a585
commit 28bf438c67
No known key found for this signature in database
GPG key ID: B488B9045DC1A087
1 changed files with 7 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
code/week03/cabal.project
View file

@ -1,4 +1,4 @@
index-state: 2021-06-10T00:00:00Z index-state: 2021-07-07T00:00:00Z
packages: ./. packages: ./.
@ -25,7 +25,7 @@ source-repository-package
prettyprinter-configurable prettyprinter-configurable
quickcheck-dynamic quickcheck-dynamic
word-array word-array
tag: 08260fab8e1e695b288637c32a2248cdd7d264d4 tag: 219992289c6615e197069d022735cb4059d43229
-- The following sections are copied from the 'plutus' repository cabal.project at the revision -- The following sections are copied from the 'plutus' repository cabal.project at the revision
-- given above. -- given above.
@ -112,8 +112,9 @@ source-repository-package
source-repository-package source-repository-package
type: git type: git
location: https://github.com/input-output-hk/ouroboros-network location: https://github.com/input-output-hk/ouroboros-network
tag: e50613562d6d4a0f933741fcf590b0f69a1eda67 tag: e338f2cf8e1078fbda9555dd2b169c6737ef6774
subdir: subdir:
monoidal-synchronisation
typed-protocols typed-protocols
typed-protocols-examples typed-protocols-examples
ouroboros-network ouroboros-network
@ -124,7 +125,7 @@ source-repository-package
ouroboros-consensus-cardano ouroboros-consensus-cardano
ouroboros-consensus-shelley ouroboros-consensus-shelley
io-sim io-sim
io-sim-classes io-classes
network-mux network-mux
source-repository-package source-repository-package
@ -144,7 +145,7 @@ source-repository-package
source-repository-package source-repository-package
type: git type: git
location: https://github.com/input-output-hk/cardano-ledger-specs location: https://github.com/input-output-hk/cardano-ledger-specs
tag: a3ef848542961079b7cd53d599e5385198a3035c tag: b8f1ebb46a91f1c634e616feb89ae34de5937e17
subdir: subdir:
byron/chain/executable-spec byron/chain/executable-spec
byron/crypto byron/crypto
@ -167,9 +168,8 @@ source-repository-package
source-repository-package source-repository-package
type: git type: git
location: https://github.com/input-output-hk/cardano-node.git location: https://github.com/input-output-hk/cardano-node.git
tag: b3cabae6b3bf30a0b1b4e78bc4b67282dabad0a6 tag: f3ef4ed72894499160f2330b91572a159005c148
subdir: subdir:
cardano-api/test
cardano-api cardano-api
cardano-node cardano-node
cardano-cli cardano-cli