diff options
| -rw-r--r-- | lang/php71/distinfo | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lang/php71/distinfo b/lang/php71/distinfo index f9d408ed82e5..9e36a9f79707 100644 --- a/lang/php71/distinfo +++ b/lang/php71/distinfo @@ -1,3 +1,5 @@ -TIMESTAMP = 1564742330 +TIMESTAMP = 1564859295 SHA256 (php-7.1.31.tar.xz) = 5cb53b63592ec4361f0ab12c684b10430344821a024881a387ead4299df78fa5 SIZE (php-7.1.31.tar.xz) = 12370928 +SHA256 (php-7.1.x-mail-header.patch) = 8f173d89672f7ebfabfcc3c5d7f8dec1c4243aba665db4b4046e67c34d9d4dc7 +SIZE (php-7.1.x-mail-header.patch) = 4504 |