OLD/Package: libcoq-stdlib
OLD/Version: 9.1.0-3
OLD/Architecture: amd64
OLD/Installed-Size: 70705
NEW/Package: libcoq-stdlib
NEW/Version: 9.2.0-1+b1
NEW/Architecture: amd64
NEW/Installed-Size: 70604
OLD/Size: 20077904
NEW/Size: 20085576
NEW/MD5sum: 7fe95c16511474aaee8ef0b3e07279d0
old-data-tree
old-control-tree
needs-xdelta3-fifo
needs-xz
NEW/control.tar: a818b6950da99c9ac7400444ecb40f5d 215040
NEW/data.tar: ae894fb1143eac2280319afa56c7edf8 72724480
DeltaTime: 18.81
Ratio: 0.0367
ServerID: 8cbb8e58e86e2532554e74ad62089746
ServerBogomips: 4792.79
PatchTime: 18.64
