There is no more mailman mailing lists server but you can find here archives of the removed public mailing list of AdaCore.
A list of archives is available