OLD/Package: libcoq-stdpp
OLD/Version: 1.11.0-1+b8
OLD/Architecture: amd64
OLD/Installed-Size: 17026
NEW/Package: libcoq-stdpp
NEW/Version: 1.11.0-1+b9
NEW/Architecture: amd64
NEW/Installed-Size: 17026
OLD/Size: 4871472
NEW/Size: 4873852
NEW/MD5sum: f7beb884baf5b040aa715018d39a4067
old-data-tree
old-control-tree
needs-xdelta3-fifo
needs-xz
NEW/control.tar: 2fafe3ed357e7be7e5ea72535b0efa39 30720
NEW/data.tar: 2588a40568e0a5ed19c53fa794e2db89 17479680
DeltaTime: 6.14
Ratio: 0.0035
ServerID: 8cbb8e58e86e2532554e74ad62089746
ServerBogomips: 4792.79
PatchTime: 5.46
