cannot install PHP 7.1.26

[fritzmg]

Due to a project requirement, I need to install PHP 7.1.*, instead of the latest version. Since #1332 this should be possible - however in this case the installation fails:

scoop install [email protected]
WARN  Given version (7.1.26) does not match manifest (7.3.2)
WARN  Attempting to generate manifest for 'php' (7.1.26)
Autoupdating php
Searching hash for php-7.1.26-Win32-VC15-x86.zip in https://windows.php.net/downloads/releases/sha256sum.txt
Could not find hash in https://windows.php.net/downloads/releases/sha256sum.txt
Downloading php-7.1.26-Win32-VC15-x86.zip to compute hashes!
Der Remoteserver hat einen Fehler zurückgegeben: (404) Nicht gefunden.
URL https://windows.php.net/downloads/releases/php-7.1.26-Win32-VC15-x86.zip is not valid
Could not find hash!
Could not install [email protected]

The problem is the VC15 in the URL. For PHP 7.1, the URL is

https://windows.php.net/downloads/releases/php-7.1.26-Win32-VC14-x86.zip

(with VC14).

Not sure if this can be remedied at all.

[Ash258]

Install php71 from versions bucket.

[fritzmg]

Ah, this problem is already mentioned in #3045 (comment)

@Ash258 thx, I'll try that