OLD/Package: libcoq-stdlib
OLD/Version: 9.1.0-1
OLD/Architecture: i386
OLD/Installed-Size: 79333
NEW/Package: libcoq-stdlib
NEW/Version: 9.1.0-1+b1
NEW/Architecture: i386
NEW/Installed-Size: 70664
OLD/Size: 20270608
NEW/Size: 20075848
NEW/MD5sum: 5c29f429bfeafaa4c7c087c7aaa61736
old-data-tree
old-control-tree
needs-xdelta3-fifo
needs-xz
NEW/control.tar: 479f4650b3707080d6c1bb24a5c2c07b 215040
NEW/data.tar: bc4f375dd5aee011bed62048a9ae2fe5 72775680
DeltaTime: 21.83
Ratio: 0.4118
ServerID: 8cbb8e58e86e2532554e74ad62089746
ServerBogomips: 4792.79
PatchTime: 17.93
