The PostgreSQL 9.4.25 sources can be obtained from the download section of our website: https://www.postgresql.org/download/. You should get a file named postgresql-9.4.25.tar.gz or postgresql-9.4.25.tar.bz2. After you have obtained the file, unpack it:
gunzip postgresql-9.4.25.tar.gz tar xf postgresql-9.4.25.tar
(Use bunzip2 instead of gunzip if you have the .bz2 file.) This will create a directory postgresql-9.4.25 under the current directory with the PostgreSQL sources. Change into that directory for the rest of the installation procedure.
You can also get the source directly from the version control repository, see Appendix I.
If you see anything in the documentation that is not correct, does not match your experience with the particular feature or requires further clarification, please use this form to report a documentation issue.