OLD/Package: libcoq-hott
OLD/Version: 9.1-2+b1
OLD/Architecture: amd64
OLD/Installed-Size: 60226
NEW/Package: libcoq-hott
NEW/Version: 9.1-2+b2
NEW/Architecture: amd64
NEW/Installed-Size: 60226
OLD/Size: 15126576
NEW/Size: 15125684
NEW/MD5sum: 42753069291529352de9a3c201ed6555
old-data-tree
old-control-tree
needs-xdelta3-fifo
needs-xz
NEW/control.tar: 5a004086c3011a358a0c3cba953f7c8f 235520
NEW/data.tar: f25533099150afb1bb2f06a658f82a54 62269440
DeltaTime: 13.34
Ratio: 0.0102
ServerID: 8cbb8e58e86e2532554e74ad62089746
ServerBogomips: 4792.79
PatchTime: 14.28
