# src  : https://buildlogs.pld-linux.org/pld/th/x32/FAIL/command,9abb0d0a-b889-4930-bf4a-31b42b93e8bb.bz2
# date   : 2021/04/03 17:13:21
Loading [rpmdbcache]/var/lib/rpm...
6539 packages loaded
error: php*-devel*: no such package
Begin-PLD-Builder-Info
Build-Time: user:0.28s sys:0.07s real:0.35s (faults io:0 non-io:11044)

End-PLD-Builder-Info