aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex/profile.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/program/aedifex/profile.lux')
-rw-r--r--stdlib/source/program/aedifex/profile.lux7
1 files changed, 2 insertions, 5 deletions
diff --git a/stdlib/source/program/aedifex/profile.lux b/stdlib/source/program/aedifex/profile.lux
index e887160b5..674865cdd 100644
--- a/stdlib/source/program/aedifex/profile.lux
+++ b/stdlib/source/program/aedifex/profile.lux
@@ -107,8 +107,7 @@
(type .public Info
(Record
- [#name (Maybe Text)
- #url (Maybe URL)
+ [#url (Maybe URL)
#scm (Maybe SCM)
#description (Maybe Text)
#licenses (List License)
@@ -122,7 +121,6 @@
(maybe.equivalence text.equivalence)
(maybe.equivalence text.equivalence)
(maybe.equivalence text.equivalence)
- (maybe.equivalence text.equivalence)
(list.equivalence ..license_equivalence)
(maybe.equivalence ..organization_equivalence)
(list.equivalence ..developer_equivalence)
@@ -130,8 +128,7 @@
(def .public default_info
Info
- [#name {.#None}
- #url {.#None}
+ [#url {.#None}
#scm {.#None}
#description {.#None}
#licenses (list)