pkgs.loginroot.com
Home
Packages
Binaries
Package: camlp5
"
camlp5
" package binaries on
Debian
:
/usr/bin/camlp5
/usr/bin/camlp5o
/usr/bin/camlp5o.opt
/usr/bin/camlp5r
/usr/bin/camlp5r.opt
/usr/bin/camlp5sch
/usr/bin/mkcamlp5
/usr/bin/mkcamlp5.opt
/usr/bin/ocpp5
You may install this package on Debian with
apt-get install camlp5