OLD/Package: libcoq-micromega-plugin
OLD/Version: 1.1.1-1+b1
OLD/Architecture: amd64
OLD/Installed-Size: 17386
NEW/Package: libcoq-micromega-plugin
NEW/Version: 1.1.1-2
NEW/Architecture: amd64
NEW/Installed-Size: 17385
OLD/Size: 3856456
NEW/Size: 3856820
NEW/MD5sum: 180a1c532e48c56f437081875904875a
old-data-tree
old-control-tree
needs-xdelta3-fifo
needs-xz
NEW/control.tar: 40a546b52778e67dc6e2dab57bca0309 30720
NEW/data.tar: 4491accce102b6caa0f255d10d6a945c 17879040
DeltaTime: 5.68
Ratio: 0.0047
ServerID: 8cbb8e58e86e2532554e74ad62089746
ServerBogomips: 4792.79
PatchTime: 5.14
