Skip to content

Commit

Permalink
Update for applicative branch
Browse files Browse the repository at this point in the history
  • Loading branch information
paulcadman committed Aug 21, 2024
1 parent 72a517d commit 104c749
Show file tree
Hide file tree
Showing 2 changed files with 1 addition and 12 deletions.
2 changes: 1 addition & 1 deletion Package.juvix
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,6 @@ package : Package :=
defaultPackage@?{
name := "quickcheck";
version := mkVersion 0 14 0;
dependencies := [github "anoma" "juvix-stdlib" "v0.6.0"];
dependencies := [github "anoma" "juvix-stdlib" "0ca2d5181e7c98eceace5c12bfd0a8cfb3d4d132"];
main := just "Example.juvix"
};
11 changes: 0 additions & 11 deletions juvix.lock.yaml

This file was deleted.

0 comments on commit 104c749

Please sign in to comment.