Our apologies, but the repository "maghoff/prog" has been deleted.
It now lives at https://github.com/maghoff/prog.