Sulkta-Coop/agora
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

get rid of plutarch-safe-money; bump lpe

Browse source
This commit is contained in:
Hongrui Fang 2022-10-19 22:46:50 +08:00
parent 49ac5e2419
commit 25c6d9a1ae
No known key found for this signature in database
GPG key ID: F10AB2CCE24113DD
3 changed files with 1468 additions and 5549 deletions
Download patch file Download diff file Expand all files Collapse all files

3
flake.nix
View file

@ -25,8 +25,6 @@
plutarch-numeric.url =
"github:Liqwid-Labs/plutarch-numeric?ref=main";
plutarch-safe-money.url =
"github:Liqwid-Labs/plutarch-safe-money?ref=main";
liqwid-plutarch-extra.url =
"github:Liqwid-Labs/liqwid-plutarch-extra?ref=main";
plutarch-quickcheck.url =
@ -81,7 +79,6 @@
liqwid-nix.plutarchProject
(liqwid-nix.addDependencies [
"${inputs.plutarch-numeric}"
"${inputs.plutarch-safe-money}"
"${inputs.plutarch-quickcheck}"
"${inputs.plutarch-context-builder}"
"${inputs.liqwid-plutarch-extra}"