OLD/Package: storm-lang-doc
OLD/Version: 0.7.9+dfsg-2
OLD/Architecture: all
OLD/Installed-Size: 6431
NEW/Package: storm-lang-doc
NEW/Version: 0.8.0+dfsg-1
NEW/Architecture: all
NEW/Installed-Size: 7077
OLD/Size: 407580
NEW/Size: 433208
NEW/MD5sum: 6162a4ec054138d58e3812ad4c7bedd5
old-data-tree
old-control-tree
needs-xdelta3-fifo
needs-xz
NEW/control.tar: 7014a17214306bc5f18e667e3a75214c 30720
NEW/data.tar: c44b2daa94c86ed552ba1704e8a02768 7301120
needs-lzma
DeltaTime: 1.51
Ratio: 0.1305
ServerID: 8cbb8e58e86e2532554e74ad62089746
ServerBogomips: 4792.79
PatchTime: 1.30
