Bug related to dependencies

[janmasrovira]

Steps to reproduce (might not be minimal):

mkdir A B C
cd A
juvix init
cd ../B
juvix init
# replace Package.juvix with contents below
cd ../C
mkdir T
cd T
juvix init
# replace Package.juvix with contents below
juvix dependencies update
juvix typecheck

> /home/jan/projects/bug/B/Package.juvix:1:1: error:
The dependency ../A is declared in the package's juvix.yaml but is not declared in the lockfile: /home/jan/projects/bug/C/T/juvix.lock.yaml
Try running the following command:
juvix dependencies update

1- B/Package.juvix:

module Package;

import PackageDescription.V2 open;

package : Package :=
  defaultPackage@{
    name := "b";
    dependencies := [path "../A"];
  };

2- C/T/Package.juvix:

module Package;

import PackageDescription.V2 open;

package : Package :=
  defaultPackage@{
    name := "t";
    dependencies := [path "../../A"; path "../../B"];
  };