OLD/Package: libcoq-quickchick
OLD/Version: 2.2.0-2+b1
OLD/Architecture: amd64
OLD/Installed-Size: 14691
NEW/Package: libcoq-quickchick
NEW/Version: 2.2.0-3
NEW/Architecture: amd64
NEW/Installed-Size: 14690
OLD/Size: 3499172
NEW/Size: 3498580
NEW/MD5sum: 5b3678249b53f9b1b8220ad931aadede
old-data-tree
old-control-tree
needs-xdelta3-fifo
needs-xz
NEW/control.tar: ca0afd782b60a7937aed6c3c83c706eb 30720
NEW/data.tar: f4fcd6d4a5b66198cccc9e7067624630 15104000
DeltaTime: 4.69
Ratio: 0.0041
ServerID: 8cbb8e58e86e2532554e74ad62089746
ServerBogomips: 4792.79
PatchTime: 4.32
