vmpk 0.7.2 -> 0.8.0
vmpk 0.7.2 -> 0.8.1
vmpk 0.7.2 -> 0.8.2
vmpk 0.7.2 -> 0.8.3
vmpk 0.7.2 -> 0.8.4
vmpk 0.7.2 -> 0.8.5
vmpk 0.7.2 -> 0.8.6
vmpk 0.7.2 -> 0.8.7
vmpk 0.7.2 -> 0.8.8