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

bump LPE/PCB

Browse source
This commit is contained in:
Hongrui Fang 2022-08-15 16:24:27 +08:00
parent a6ad4c7f5f
commit 70e88a18be
No known key found for this signature in database
GPG key ID: F10AB2CCE24113DD
2 changed files with 2463 additions and 351 deletions
Download patch file Download diff file Expand all files Collapse all files

2810
flake.lock generated
View file

File diff suppressed because it is too large Load diff

4
flake.nix
View file

@ -28,11 +28,11 @@
plutarch-safe-money.url =
"github:Liqwid-Labs/plutarch-safe-money?ref=main";
liqwid-plutarch-extra.url =
"github:Liqwid-Labs/liqwid-plutarch-extra?ref=plutus-v1";
"github:Liqwid-Labs/liqwid-plutarch-extra?ref=main";
plutarch-quickcheck.url =
"github:liqwid-labs/plutarch-quickcheck?ref=staging";
plutarch-context-builder.url =
"github:Liqwid-Labs/plutarch-context-builder?ref=plutus-v1";
"github:Liqwid-Labs/plutarch-context-builder?ref=staging";
plutarch-script-export.url =
"github:Liqwid-Labs/plutarch-script-export?ref=main";