Mpg123 1.30.0 is available for download:
Hobbes: https://hobbes.nmsu.edu/download/pub/incoming/mpg123-1.30.0.zip
"Mpg123, An optimised MPEG Audio Player/decoder. Mpg123 is a console based decoder/player for mono/stereo mpeg audio files. It is focused on speed, higly optimized and very stable: its code has many years of development. Mpg123 can play MPEG1.0/2.0/2.5 layer I, II, II (1, 2, 3) files and VBR and produce output on a number of different ways."
Port: Dave Yeo