OLD/Package: libcoq-iris
OLD/Version: 4.3.0-1+b7
OLD/Architecture: amd64
OLD/Installed-Size: 39725
NEW/Package: libcoq-iris
NEW/Version: 4.3.0-1+b8
NEW/Architecture: amd64
NEW/Installed-Size: 39724
OLD/Size: 12606252
NEW/Size: 12605152
NEW/MD5sum: 2e596293bf836d8c373eb03fa20617ae
old-data-tree
old-control-tree
needs-xdelta3-fifo
needs-xz
NEW/control.tar: e9a81035b621ee3193081b8250e75db0 71680
NEW/data.tar: 5a6d941c8df21947255d0149ef09de25 40806400
DeltaTime: 9.86
Ratio: 0.0066
ServerID: 8cbb8e58e86e2532554e74ad62089746
ServerBogomips: 4792.79
PatchTime: 8.89
