From 0f9bc13a34b729d9ae9db31276feb2a66785d06b Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 14 Aug 2022 21:02:22 -0400
Subject: Documentation changes for v0.7.0

---
 stdlib/source/program/aedifex/profile.lux | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

(limited to 'stdlib/source/program/aedifex/profile.lux')

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)
-- 
cgit v1.2.3