This will install the RPM using the standard Mageia repositories configured on your system.
Prerequisites:
- Distribution: Mageia 8.
- Media: core-release, active and up to date.
- Architecture: armv7hl.
- The media containing dependencies for ocaml-dose3-devel-5.0.1-4.20180821git.11.mga8.armv7hl.rpm must be active and up to date.
Install ocaml-dose3-devel-5.0.1-4.20180821git.11.mga8.armv7hl.rpm
It doesn't work? Click here to check a few things.
- Check the prerequisites again.
- To configure or update the installation sources, run the drakrpm-edit-media tool as root.
- Add: to add the online installation media, click the "Add" button (needed only once and only if they are not present already).
- Activate: click the checkboxes to activate the needed media.
- Update: select "File">"Update" in the menu to update the media.
- Don't forget to deactivate media afterwards if you don't want to keep them activated (such as backports media).
- For chromium users: if the file doesn't open, right-click the filename in the download bar and choose to always open that kind of file.