Package: aghermann

"aghermann" package binaries on Debian:

/usr/bin/aghermann /usr/bin/agh-profile-gen /usr/bin/edfcat /usr/bin/edfhed /usr/bin/edfhed-gtk

You may install this package on Debian with apt-get install aghermann