OLD/Package: libcoq-elpi
OLD/Version: 3.5.0-2+b1
OLD/Architecture: amd64
OLD/Installed-Size: 77882
NEW/Package: libcoq-elpi
NEW/Version: 3.5.0-3+b1
NEW/Architecture: amd64
NEW/Installed-Size: 77854
OLD/Size: 12842096
NEW/Size: 12851212
NEW/MD5sum: e1b92db9a308c4b5a3d2bda5eae8fe55
old-data-tree
old-control-tree
needs-xdelta3-fifo
needs-xz
NEW/control.tar: c9a5ae28c53ee7700d95eb5a0c8fc563 61440
NEW/data.tar: abb3dcb5a5a1f407cd0db30a6ee68fa0 79820800
DeltaTime: 16.29
Ratio: 0.1135
ServerID: 8cbb8e58e86e2532554e74ad62089746
ServerBogomips: 4792.79
PatchTime: 13.70
