OLD/Package: libcoq-core-ocaml
OLD/Version: 9.1.0+dfsg-3+b2
OLD/Architecture: amd64
OLD/Installed-Size: 91228
NEW/Package: libcoq-core-ocaml
NEW/Version: 9.1.0+dfsg-3+b3
NEW/Architecture: amd64
NEW/Installed-Size: 91225
OLD/Size: 24973964
NEW/Size: 24975464
NEW/MD5sum: 8aaf212583eb3855f92a11ee9e2ecc95
old-data-tree
old-control-tree
needs-xdelta3-fifo
needs-xz
NEW/control.tar: 2461561632e14677fb7bae1faad0c943 20480
NEW/data.tar: abc7d3c21a84b2edab93938602aab39f 93419520
needs-lzma
DeltaTime: 19.56
Ratio: 0.0074
ServerID: 8cbb8e58e86e2532554e74ad62089746
ServerBogomips: 4792.79
PatchTime: 16.22
