[packages/mpfr] Deleted branch DEVEL-4.0

qboosh qboosh at pld-linux.org
Fri Jul 27 17:23:40 CEST 2018


The branch 'DEVEL-4.0' was deleted at ca577b00ffb677127d69d7702c2c084829716b4f.


More information about the pld-cvs-commit mailing list