Package: eliom

"eliom" package binaries on Debian:

/usr/bin/eliomc /usr/bin/eliomcp /usr/bin/eliomdep /usr/bin/eliom-distillery /usr/bin/eliomdoc /usr/bin/eliomopt /usr/bin/eliompp /usr/bin/js_of_eliom

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