OLD/Package: libcoq-core
OLD/Version: 9.2.0+dfsg-3
OLD/Architecture: amd64
OLD/Installed-Size: 5685
NEW/Package: libcoq-core
NEW/Version: 9.2.0+dfsg-3+b1
NEW/Architecture: amd64
NEW/Installed-Size: 5686
OLD/Size: 1152632
NEW/Size: 1154548
NEW/MD5sum: ab78b1441f37fa238e08c0acaadbe740
old-data-tree
old-control-tree
needs-xdelta3-fifo
needs-xz
NEW/control.tar: 7586070340293c43dfcbbba69ce408b1 40960
NEW/data.tar: 4d9dafc7680dec216f9bc670d8c257ed 5888000
DeltaTime: 1.70
Ratio: 0.0207
ServerID: 8cbb8e58e86e2532554e74ad62089746
ServerBogomips: 4792.79
PatchTime: 1.85
