of the Package Manager is 3.5.4.0 [...] 3.5.7.0 [...] 3.5.13.0
of the installation program is 3.4.1.0 [...] Manager 3.5.7.0 [...] > are each numbers between 0