OLD/Package: fricas-hypertex-data
OLD/Version: 1.3.12-2
OLD/Architecture: all
OLD/Installed-Size: 5510
NEW/Package: fricas-hypertex-data
NEW/Version: 1.3.13-1
NEW/Architecture: all
NEW/Installed-Size: 5510
OLD/Size: 743000
NEW/Size: 744584
NEW/MD5sum: 9eae5efe369e3a667d98cebb7945b1d4
old-data-tree
old-control-tree
needs-xdelta3-fifo
needs-xz
NEW/control.tar: 94a5067c860ca58f26c3593e5b3d0652 61440
NEW/data.tar: 573c0123eea60309115add3b68d222da 5744640
needs-lzma
DeltaTime: 2.00
Ratio: 0.0464
ServerID: 8cbb8e58e86e2532554e74ad62089746
ServerBogomips: 4792.79
PatchTime: 2.31
