GNU PGE

Obtaining PGE

Assuming that you are using Debian Stretch you could obtain pge adding these entries to your /etc/apt/sources.list.

deb http://floppsie.comp.glam.ac.uk/debian/ stretch main
deb-src http://floppsie.comp.glam.ac.uk/debian/ stretch main

Now they can be installed by using the following commands:

$ sudo apt-get update
$ sudo apt-get install dselect
$ sudo dselect

In dselect you should choose option 1 update and then choose option 2 and select the package pge. Then you should press Q and then select option 3 install.