Should the opam package install the bytecode plugin?

[MSoegtropIMC]

I came into a situation where I want to run coqtop.byte in ocamldebug to analyze some runtime behavior. From those plugins which I use from the Coq Platform, the Bignums syntax plugin is the only one which does not install the bytecode plugin (.cmo) file. When I do a make byte; make install-byte for Bignums, I can run my code in coqtop.byte.

Since this the only missing basic plugin, I would suggest that the opam package also installs the bytecode plugin.

[ejgallego]

That's the correct thing to do indeed for opam packages.