OLD/Package: libcoq-coqprime
OLD/Version: 8.20.1-3+b1
OLD/Architecture: amd64
OLD/Installed-Size: 6655
NEW/Package: libcoq-coqprime
NEW/Version: 8.20.1-4
NEW/Architecture: amd64
NEW/Installed-Size: 5606
OLD/Size: 1787948
NEW/Size: 1770148
NEW/MD5sum: 07005a9821aa7f50f4f9909908c1eeab
old-data-tree
old-control-tree
needs-xdelta3-fifo
needs-xz
NEW/control.tar: 5e4c0c5a1bd2a6bfb0bb98a33f5ffb22 20480
NEW/data.tar: 7a3057884edc3136177ef4a8163b994d 5765120
DeltaTime: 2.46
Ratio: 0.3210
ServerID: 8cbb8e58e86e2532554e74ad62089746
ServerBogomips: 4792.79
PatchTime: 1.84
