Mailman mailing list system

---

extern val mailmanWebHost : domain -> [Domain]
extern type mailman_node
extern val mailman_node : mailman_node
extern val mailman_node_to_node : mailman_node -> node
extern type mailman_place
extern val mailman_place_default : mailman_node -> mailman_place
extern val mailman_place :
 mailman_node -> your_ip -> your_ipv6 -> mailman_place
extern val mailman_place_to_web_node : mailman_place -> web_node
extern val mailman_place_to_node : mailman_place -> node
extern val mailman_place_to_ip : mailman_place -> ip
extern val mailman_place_to_ipv6 : mailman_place -> ipv6
extern val mailmanVhost :
 host ->
  [Domain]
   {MailmanForceSSL : bool,
     MailmanPlaces : [mailman_place],
      SSL : ssl, ServerAdmin : email, User : your_user}
val mailman :
 host ->
  [Domain]
   {MailmanForceSSL : bool,
     SSL : ssl, ServerAdmin : email, TTL : int, User : your_user}

---

extern val mailmanWebHost : domain -> [Domain]

Set the hostname of the web site for administration of mailing lists for this domain.

extern type mailman_node

Like web_node, but with the possibility of using some additional nodes set by the admins.

extern val mailman_node : mailman_node

The default location for Mailman web interfaces

extern val mailman_node_to_node : mailman_node -> node

extern type mailman_place

extern val mailman_place_default : mailman_node -> mailman_place

extern val mailman_place :
 mailman_node -> your_ip -> your_ipv6 -> mailman_place

extern val mailman_place_to_web_node : mailman_place -> web_node

extern val mailman_place_to_node : mailman_place -> node

extern val mailman_place_to_ip : mailman_place -> ip

extern val mailman_place_to_ipv6 : mailman_place -> ipv6

Analogous to web_place, but based on mailman_nodes

extern val mailmanVhost :
 host ->
  [Domain]
   {MailmanForceSSL : bool,
     MailmanPlaces : [mailman_place],
      SSL : ssl, ServerAdmin : email, User : your_user}

Create an Apache virtual host to serve as the web interface for some Mailman lists.

val mailman :
 host ->
  [Domain]
   {MailmanForceSSL : bool,
     SSL : ssl, ServerAdmin : email, TTL : int, User : your_user}

The most common Mailman config, for when you want to have a virtual host of your domain dedicated to a Mailman interface. Provide the name of that host (e.g., "lists") to this directive, and it will take care of the rest.