libedit: 20100424-3.0 -> 20130712-3.1
pythonPackages.substanced: specify sha256