What is the mailing list software used by lists.debian.org?

[Brian Nguyen]

I think it's not GNU Mailman. What is the software used for official Debian
mailing lists? Is it free software?