10cdd1 correct pmtools obs_ver (and also marked pmtools a dead.package)

Authored and Committed by Michael Schwendt 8 years ago
    correct pmtools obs_ver (and also marked pmtools a dead.package)
    
        
file modified
+5 -2