63 Closed: Addition of a new mirror

by jgoetz

68 php72 zmq problem

by Supergoof

72 Closed: PHP 7.2.17 problème avec composer

by EFFET B

74 Closed: Possible Missing Dependency

by wbailey

76 jemalloc 5.1.0

by KleisAuke

84 Closed: phpmyadmin avec php 7.1

by jdefaver

87 PHP 7.3 issue

by Claudius

89 Closed: Update php-redis to recent version

by thedotedge