OLD/Package: libcoq-stdlib
OLD/Version: 9.0.0-3+b1
OLD/Architecture: i386
OLD/Installed-Size: 76552
NEW/Package: libcoq-stdlib
NEW/Version: 9.1.0-1
NEW/Architecture: i386
NEW/Installed-Size: 79333
OLD/Size: 19527552
NEW/Size: 20270608
NEW/MD5sum: b0ac8492e25ba5768d892aac734dc065
old-data-tree
old-control-tree
needs-xdelta3-fifo
needs-xz
NEW/control.tar: e08913a0e7580e68e7a3ff6af7635739 215040
NEW/data.tar: c4706a13b32caddbf317e726071b3ac3 81633280
DeltaTime: 25.20
Ratio: 0.4230
ServerID: 8cbb8e58e86e2532554e74ad62089746
ServerBogomips: 4792.79
PatchTime: 17.36
