Skip to content

Mario/deps update#37

Merged
blamario merged 4 commits into
masterfrom
mario/deps-update
Mar 4, 2022
Merged

Mario/deps update#37
blamario merged 4 commits into
masterfrom
mario/deps-update

Conversation

@blamario
Copy link
Copy Markdown
Contributor

@blamario blamario commented Mar 2, 2022

Updated plutus-extra, plutus-apps`, and all that follows.

@samuelWilliams99
Copy link
Copy Markdown
Contributor

Is there a reason we're change to mlabs plutus-extra over Liqwid?

Comment thread cabal.project Outdated
@blamario
Copy link
Copy Markdown
Contributor Author

blamario commented Mar 4, 2022

Is there a reason we're change to mlabs plutus-extra over Liqwid?

Yes, it's Liqwid-Labs/plutus-extra#192
Once that PR is merged or plutus-extra updated wholesale we can switch back to Liqwid.

@samuelWilliams99
Copy link
Copy Markdown
Contributor

Gotcha, we can merge then but let's get a ticket up to revert to regular plutus-extra once we're able

@blamario blamario merged commit 53b8bbb into master Mar 4, 2022
@blamario blamario deleted the mario/deps-update branch March 4, 2022 16:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants