php.net |  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login

go to bug id or search bugs for

Doc Bug #47333 GMP download links change
Submitted: 2009-02-07 04:39 UTC Modified: 2009-02-12 09:14 UTC
From: mccbala at gmail dot com Assigned:
Status: Closed Package: Documentation problem
PHP Version: Irrelevant OS:
Private report: No CVE-ID: None
View Developer Edit
 [2009-02-07 04:39 UTC] mccbala at gmail dot com 
Description:
------------
New links for GMP library download (Choose any one):

http://ftp.sunet.se/pub/gnu/gmp/gmp-4.2.4.tar.bz2
http://ftp.sunet.se/pub/gnu/gmp/gmp-4.2.4.tar.gz
ftp://ftp.gnu.org/gnu/gmp/gmp-4.2.4.tar.bz2
ftp://ftp.gnu.org/gnu/gmp/gmp-4.2.4.tar.gz

Please update them in the online manual

Regards
Balasubramanian

Patches

Pull Requests

History

AllCommentsChangesGit/SVN commitsRelated reports
 [2009-02-11 17:03 UTC] kalle@php.net 
On which page are you referering to in paticular?
 [2009-02-11 17:07 UTC] danbrown@php.net 
Kalle,

This resulted from a user note I rejected the other day, and the poster followed up properly through here.  The on which the note was submitted is:

http://php.net/manual/en/gmp.requirements.php
 [2009-02-11 17:13 UTC] philip@php.net 
We try not to link to specific versions as they become outdated (the manual is meant to stand the test of time) so I suppose we could just change the link to:

http://ftp.sunet.se/pub/gnu/gmp/
 [2009-02-11 17:20 UTC] philip@php.net 
Actually:

http://gmplib.org/#DOWNLOAD
 [2009-02-12 09:14 UTC] rquadling@php.net 
This bug has been fixed in the documentation's XML sources. Since the
online and downloadable versions of the documentation need some time
to get updated, we would like to ask you to be a bit patient.

Thank you for the report, and for helping us make our documentation better.
 [2020-02-07 07:30 UTC] phpdocbot@php.net 
Automatic comment on behalf of rquadling
Revision: http://git.php.net/?p=doc/base.git;a=commit;h=02e21d6dba0873b10269d78f245163e03c04df6f
Log: GMP download URL changed. Fix #47333
 
PHP Copyright © 2001-2026 The PHP Group
All rights reserved. 		Last updated: Mon Oct 05 23:00:01 2026 UTC