OLD/Package: libcoq-core-ocaml-dev
OLD/Version: 8.20.1+dfsg-1+b3
OLD/Architecture: amd64
OLD/Installed-Size: 225959
NEW/Package: libcoq-core-ocaml-dev
NEW/Version: 8.20.1+dfsg-1+b4
NEW/Architecture: amd64
NEW/Installed-Size: 225959
OLD/Size: 52008056
NEW/Size: 52003544
NEW/MD5sum: 14266dad186d06a831df996b3ef00d74
old-data-tree
old-control-tree
needs-xdelta3-fifo
needs-xz
NEW/control.tar: 616ec738d9e3fd61975464fb12d3458c 348160
NEW/data.tar: 02c2bf07bd1ca31f0ab120e035c694ce 232273920
DeltaTime: 46.94
Ratio: 0.0102
ServerID: 8cbb8e58e86e2532554e74ad62089746
ServerBogomips: 4792.79
PatchTime: 41.34
