Modules in Juvix¶

package : Package :=
  defaultPackage@{
    name := "nspec";
    version := mkVersion 0 1 3;
    dependencies :=
      [github "anoma" "juvix-stdlib" "v0.9.0"]
  };