OLD/Package: libcoq-hott
OLD/Version: 9.0-1+b4
OLD/Architecture: amd64
OLD/Installed-Size: 62773
NEW/Package: libcoq-hott
NEW/Version: 9.0-1+b5
NEW/Architecture: amd64
NEW/Installed-Size: 62773
OLD/Size: 14692520
NEW/Size: 14691184
NEW/MD5sum: 36f0c6dcb39aa67bb45c9e0c85169d2a
old-data-tree
old-control-tree
needs-xdelta3-fifo
needs-xz
NEW/control.tar: c9e6a7bd5ec304fab7ee8b98dcbf4bb4 225280
NEW/data.tar: 4992cfed01c250179a8d37dc051d9765 64860160
DeltaTime: 13.87
Ratio: 0.0107
ServerID: 8cbb8e58e86e2532554e74ad62089746
ServerBogomips: 4792.79
PatchTime: 14.19
