From e5e4c2aff562e5c01fefb808d1d68a40f29c9cc5 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 8 Apr 2022 01:49:29 -0400
Subject: Can now deploy releases with Aedifex.

---
 stdlib/source/program/aedifex/profile.lux | 7 +++++--
 1 file changed, 5 insertions(+), 2 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 8fca5dffa..39f788b4b 100644
--- a/stdlib/source/program/aedifex/profile.lux
+++ b/stdlib/source/program/aedifex/profile.lux
@@ -108,7 +108,8 @@
 
 (type: .public Info
   (Record
-   [#url (Maybe URL)
+   [#name (Maybe Text)
+    #url (Maybe URL)
     #scm (Maybe SCM)
     #description (Maybe Text)
     #licenses (List License)
@@ -122,6 +123,7 @@
       (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)
@@ -129,7 +131,8 @@
 
 (def: .public default_info
   Info
-  [#url {.#None}
+  [#name {.#None}
+   #url {.#None}
    #scm {.#None}
    #description {.#None}
    #licenses (list)
-- 
cgit v1.2.3