33 Closed: Addition of a new mirror

by jgoetz

38 php72 zmq problem

by Supergoof

42 Closed: PHP 7.2.17 problème avec composer


44 Closed: Possible Missing Dependency

by wbailey

46 jemalloc 5.1.0

by KleisAuke

54 Closed: phpmyadmin avec php 7.1

by jdefaver

57 PHP 7.3 issue

by Claudius

59 Closed: Update php-redis to recent version

by thedotedge