aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex/metadata
diff options
context:
space:
mode:
authorEduardo Julian2022-07-06 17:11:35 -0400
committerEduardo Julian2022-07-06 17:11:35 -0400
commitf7880ce83ba82ada2d04a0c587448446e677d458 (patch)
tree0cdd43e40933906bae8c87681095284e4274d3c6 /stdlib/source/program/aedifex/metadata
parent5270f301eba5237feebc8eca14aee6b7a992a819 (diff)
Moved "lux/time" to "lux/world/time".
Diffstat (limited to 'stdlib/source/program/aedifex/metadata')
-rw-r--r--stdlib/source/program/aedifex/metadata/artifact.lux12
-rw-r--r--stdlib/source/program/aedifex/metadata/snapshot.lux12
2 files changed, 12 insertions, 12 deletions
diff --git a/stdlib/source/program/aedifex/metadata/artifact.lux b/stdlib/source/program/aedifex/metadata/artifact.lux
index 3ddc320b2..5df1ae3a7 100644
--- a/stdlib/source/program/aedifex/metadata/artifact.lux
+++ b/stdlib/source/program/aedifex/metadata/artifact.lux
@@ -25,14 +25,14 @@
[math
[number
["n" nat]]]
- ["[0]" time (.only Time)
- ["[0]" instant (.only Instant)]
- ["[0]" date (.only Date)]
- ["[0]" year]
- ["[0]" month]]
[world
[net
- ["[0]" uri (.only URI)]]]]]
+ ["[0]" uri (.only URI)]]
+ ["[0]" time (.only Time)
+ ["[0]" instant (.only Instant)]
+ ["[0]" date (.only Date)]
+ ["[0]" year]
+ ["[0]" month]]]]]
["[0]" // (.only)
["/[1]" //
[repository (.only Repository)]
diff --git a/stdlib/source/program/aedifex/metadata/snapshot.lux b/stdlib/source/program/aedifex/metadata/snapshot.lux
index 78b0e8c55..7b3e4d5d0 100644
--- a/stdlib/source/program/aedifex/metadata/snapshot.lux
+++ b/stdlib/source/program/aedifex/metadata/snapshot.lux
@@ -25,14 +25,14 @@
[math
[number
["n" nat]]]
- ["[0]" time (.only Time)
- ["[0]" instant (.only Instant)]
- ["[0]" date (.only Date)]
- ["[0]" year]
- ["[0]" month]]
[world
[net
- ["[0]" uri (.only URI)]]]]]
+ ["[0]" uri (.only URI)]]
+ ["[0]" time (.only Time)
+ ["[0]" instant (.only Instant)]
+ ["[0]" date (.only Date)]
+ ["[0]" year]
+ ["[0]" month]]]]]
["[0]" // (.only)
["/[1]" //
[repository (.only Repository)]