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

bump lpe

Browse source
This commit is contained in:
Hongrui Fang 2022-11-03 01:54:22 +08:00
parent 626d4896de
commit d921927a2f
No known key found for this signature in database
GPG key ID: F10AB2CCE24113DD
2 changed files with 49 additions and 15 deletions
Download patch file Download diff file Expand all files Collapse all files

2
flake.nix
View file

@ -59,7 +59,7 @@
inputs.ply.follows = "ply";
};
plutarch-quickcheck = {
url = "github:liqwid-labs/plutarch-quickcheck?ref=staging";
url = "github:liqwid-labs/plutarch-quickcheck?ref=main";
inputs.nixpkgs.follows = "nixpkgs";
inputs.nixpkgs-latest.follows = "nixpkgs-latest";
inputs.nixpkgs-2111.follows = "nixpkgs-2111";