Ensure the right versions of packages are used when simulating pinning #4127

Job	Run time
Analyse	4s
Test-macOS (4.14.2)	13m 4s
Build-Linux (4.08.1)	2m 22s
Test-macOS (5.3.0)	23s
Cygwin	3s
Build-macOS (4.14.2)	2m 48s
Build-Linux (4.09.1)	2m 21s
Build-macOS (5.3.0)	2m 50s
Build-Linux (4.10.2)	2m 19s
Hygiene	24s
Build-Linux (4.11.2)	3m 15s
Build-Linux (4.12.1)	2m 30s
Build-Linux (4.13.1)	3m 24s
Build-Linux (5.0.0)	2m 30s
Build-Linux (5.1.1)	3m 26s
Build-Linux (5.2.1)	3m 22s
Build-Linux (4.14.2)	2m 20s
Build-Linux (5.3.0)	3m 52s
Build-Windows (x86_64-pc-cygwin, x86_64-pc-cygwin, 4.14.2)	35m 9s
Build-Windows (i686-w64-mingw32, x86_64-pc-cygwin, 4.14.2)	39m 15s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 4.14.2)	40m 25s
Build-Windows (i686-pc-windows, x86_64-pc-cygwin, 4.14.2)	43m 16s
Build-Windows (x86_64-pc-windows, x86_64-pc-cygwin, 4.14.2)	45m 41s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 5.3.0)	39m 12s
Build-Windows (x86_64-pc-windows, x86_64-pc-cygwin, 5.3.0)	40m 30s
Cold-Linux	6m 25s
Test-Linux (4.14.2)	7m 32s
Doc-Linux (4.14.2)	1m 14s
Solvers-Linux (z3, 4.14.2)	52s
Test-Linux (5.3.0)	7m 34s
Doc-Linux (5.3.0)	1m 20s
Solvers-Linux (z3, 5.3.0)	54s
Upgrade-Linux (4.14.2)	1m 18s
Solvers-Linux (0install, 4.14.2)	2m 44s
Upgrade-Linux (5.3.0)	1m 16s
Solvers-Linux (0install, 5.3.0)	1m 26s
Upgrade-macOS (4.14.2)	2m 35s
Upgrade-macOS (5.3.0)	1m 59s
Solvers-macOS (z3, 4.14.2)	1m 7s
Solvers-macOS (z3, 5.3.0)	1m 25s
Solvers-macOS (0install, 4.14.2)	1m 24s
Solvers-macOS (0install, 5.3.0)	1m 9s
	6h 16m 59s

Provide feedback