Skip to content
This repository has been archived by the owner on Oct 25, 2024. It is now read-only.

Commit

Permalink
Update for compatibility with juvix 0.6.0 (#11)
Browse files Browse the repository at this point in the history
  • Loading branch information
paulcadman authored Mar 5, 2024
1 parent 471fa23 commit 4a4fd42
Show file tree
Hide file tree
Showing 4 changed files with 13 additions and 13 deletions.
4 changes: 2 additions & 2 deletions Package.juvix
Original file line number Diff line number Diff line change
Expand Up @@ -5,5 +5,5 @@ import PackageDescription.V2 open;
package : Package :=
defaultPackage
{name := "containers";
version := mkVersion 0 9 0;
dependencies := [github "anoma" "juvix-stdlib" "v0.1.0"]};
version := mkVersion 0 10 0;
dependencies := [github "anoma" "juvix-stdlib" "v0.2.0"]};
6 changes: 3 additions & 3 deletions juvix.lock.yaml
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
# This file was autogenerated by Juvix version 0.5.4.
# This file was autogenerated by Juvix version 0.6.0.
# Do not edit this file manually.

version: 2
checksum: fa591889966c8c48ba4f7528645bf526750780d41cb9ec603d473a020f6f58cd
checksum: 2427d29ec99cc5ef24b9ab6f0395c9255bed29cb598f610935e555500aeb7019
dependencies:
- git:
name: anoma_juvix-stdlib
ref: 183d4e9329a648b339ebecf2122b3e9621c99ee8
ref: e2efe4e6fe8e8bf1766050a7fa7ad8ff4e8c69fc
url: https://github.com/anoma/juvix-stdlib
dependencies: []
4 changes: 2 additions & 2 deletions test/Package.juvix
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ package : Package :=
defaultPackage
{name := "containers-tests";
main := just "Main.juvix";
dependencies := [ github "anoma" "juvix-stdlib" "v0.1.0"
; github "anoma" "juvix-test" "v0.8.0"
dependencies := [ github "anoma" "juvix-stdlib" "v0.2.0"
; github "anoma" "juvix-test" "v0.9.0"
; path "../"
]};
12 changes: 6 additions & 6 deletions test/juvix.lock.yaml
Original file line number Diff line number Diff line change
@@ -1,28 +1,28 @@
# This file was autogenerated by Juvix version 0.5.4.
# This file was autogenerated by Juvix version 0.6.0.
# Do not edit this file manually.

version: 2
checksum: 9c99d2249f3a436551c361e1eb5bdec14679659d0773f19b5ff134a59e40dddc
checksum: df02f0de613b73eb33ade5e798d2d1ea4758a94908bd0af43cc7ce04bab0dac0
dependencies:
- git:
name: anoma_juvix-stdlib
ref: 183d4e9329a648b339ebecf2122b3e9621c99ee8
ref: e2efe4e6fe8e8bf1766050a7fa7ad8ff4e8c69fc
url: https://github.com/anoma/juvix-stdlib
dependencies: []
- git:
name: anoma_juvix-test
ref: 61c5404bddd04b5d768739192a25f1c3a6bce9eb
ref: 341fc7f67f1290f0af5007e2fb1375770761fe29
url: https://github.com/anoma/juvix-test
dependencies:
- git:
name: anoma_juvix-stdlib
ref: 183d4e9329a648b339ebecf2122b3e9621c99ee8
ref: e2efe4e6fe8e8bf1766050a7fa7ad8ff4e8c69fc
url: https://github.com/anoma/juvix-stdlib
dependencies: []
- path: ../
dependencies:
- git:
name: anoma_juvix-stdlib
ref: 183d4e9329a648b339ebecf2122b3e9621c99ee8
ref: e2efe4e6fe8e8bf1766050a7fa7ad8ff4e8c69fc
url: https://github.com/anoma/juvix-stdlib
dependencies: []

0 comments on commit 4a4fd42

Please sign in to comment.