Moved "lux/data/number" to "lux/math/number".

1 files changed, 8 insertions, 6 deletions

diff --git a/stdlib/source/program/aedifex/dependency/resolution.lux b/stdlib/source/program/aedifex/dependency/resolution.lux
index e9d457ac9..1b40a3004 100644
--- a/stdlib/source/program/aedifex/dependency/resolution.lux
+++ b/stdlib/source/program/aedifex/dependency/resolution.lux
@@ -19,14 +19,15 @@
     [text
      ["%" format (#+ format)]
      ["." encoding]]
-    [number
-     ["." i64]
-     ["n" nat]]
     [format
      ["." xml (#+ Tag XML)]]
     [collection
      ["." dictionary (#+ Dictionary)]
      ["." set]]]
+   [math
+    [number
+     ["n" nat]
+     ["." i64]]]
    [world
     [net (#+ URL)
      ["." uri]]]]
@@ -39,7 +40,8 @@
     ["#." package (#+ Package)]
     ["#." artifact (#+ Artifact)
      ["#/." extension (#+ Extension)]]
-    ["#." repository (#+ Address Repository)
+    ["#." repository (#+ Repository)
+     ["#/." remote (#+ Address)]
      ["#/." origin (#+ Origin)]]]])
 
 (template [<name>]
@@ -60,7 +62,7 @@
         (Exception [Artifact Extension Text])
         (Promise (Try (Hash h)))))
   (do (try.with promise.monad)
-    [actual (\ repository download (///repository.uri artifact extension))]
+    [actual (\ repository download (///repository/remote.uri artifact extension))]
     (\ promise.monad wrap
        (do try.monad
          [output (\ encoding.utf8 decode actual)
@@ -72,7 +74,7 @@
 (def: (hashed repository artifact extension)
   (-> (Repository Promise) Artifact Extension (Promise (Try [Binary Status])))
   (do (try.with promise.monad)
-    [data (\ repository download (///repository.uri artifact extension))
+    [data (\ repository download (///repository/remote.uri artifact extension))
      sha-1 (..verified_hash data
                             repository artifact (format extension ///artifact/extension.sha-1)
                             ///hash.sha-1 ///hash.sha-1_codec ..sha-1_does_not_match)