OLD/Package: libcoq-ext-lib
OLD/Version: 0.13.0-3+b1
OLD/Architecture: amd64
OLD/Installed-Size: 2860
NEW/Package: libcoq-ext-lib
NEW/Version: 0.13.1-1
NEW/Architecture: amd64
NEW/Installed-Size: 2793
OLD/Size: 774516
NEW/Size: 772108
NEW/MD5sum: bb2d16d6326823d7e2f154751430fe74
old-data-tree
old-control-tree
needs-xdelta3-fifo
needs-xz
NEW/control.tar: 4bb219e9d270bb0b7b147baf93626202 51200
NEW/data.tar: 51901270a0b327797c59e69843fe3eef 2938880
DeltaTime: 1.37
Ratio: 0.4287
ServerID: 8cbb8e58e86e2532554e74ad62089746
ServerBogomips: 4792.79
PatchTime: 1.36
