OLD/Package: libcoq-stdlib
OLD/Version: 9.1.0-2
OLD/Architecture: amd64
OLD/Installed-Size: 70705
NEW/Package: libcoq-stdlib
NEW/Version: 9.2.0-1
NEW/Architecture: amd64
NEW/Installed-Size: 70603
OLD/Size: 20078312
NEW/Size: 20085824
NEW/MD5sum: 4d7dac36564e0af920349e9098811196
old-data-tree
old-control-tree
needs-xdelta3-fifo
needs-xz
NEW/control.tar: e869398274cd0025305fa290b04e7ace 215040
NEW/data.tar: 33b3940190d6f4e630ab8ac82e45c502 72724480
DeltaTime: 18.96
Ratio: 0.0367
ServerID: 8cbb8e58e86e2532554e74ad62089746
ServerBogomips: 4792.79
PatchTime: 18.49
