Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update to stdlib v0.8.0 #15

Merged
merged 1 commit into from
Nov 7, 2024
Merged

Update to stdlib v0.8.0 #15

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions Package.juvix
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,6 @@ import PackageDescription.V2 open;
package : Package :=
defaultPackage@?{
name := "test";
version := mkVersion 0 15 0;
dependencies := [github "anoma" "juvix-stdlib" "1e581bb8fb8a6a9198ad927d1611d280ad5789a6"]
version := mkVersion 0 16 0;
dependencies := [github "anoma" "juvix-stdlib" "v0.8.0"];
};
6 changes: 3 additions & 3 deletions juvix.lock.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
# This file was autogenerated by Juvix version 0.6.6.
# This file was autogenerated by Juvix version 0.6.7.
# Do not edit this file manually.

version: 2
checksum: fef1674b71262a9e9aac055eed7453421e4fbc0db21b18ef568b2ee80ea68677
checksum: 23a0f87e39f0f9ccd59b37ed7bbcae0aaccb570430cefb42bc543699546dbac8
dependencies:
- git:
name: anoma_juvix-stdlib
ref: 1e581bb8fb8a6a9198ad927d1611d280ad5789a6
ref: 0080b1183ab55e5180e69bfc3987e4cd6edbc230
url: https://github.com/anoma/juvix-stdlib
dependencies: []
Loading