Skip to content

Manually add dependencies

Guedemann, Matthias requested to merge fix/opam_install into master

For whatever reason opam depext does not work and apt requires an interactive interaction.

Merge request reports

LRZ Homepage | Datenschutz | Dokumentation und Betriebsbedingungen | Impressum