PGASetRandomSeed(3) on Linux
The text eabaf9372cc0, as Debian 3.1 (Sarge), Debian 3.0 (Woody), Debian 2.2 (Potato), Debian 2.1 (Slink), Debian 2.0 (Hamm), Debian 1.3 (Bo), Debian 1.2 (Rex) shipped it. The page shows this text now.
set a seed for the random number generator. The default is to use a random seed. Specifying a seed exlicitly allows for reproducibility of runs.