summaryrefslogtreecommitdiff
path: root/INSTALL.md
AgeCommit message (Expand)Author
2020-11-19Specifically note that Ubuntu 18.04 needs a new opamBrian Campbell
2020-10-29Update INSTALL.mdAlasdair Armstrong
2020-08-01tweak overview picpes20
2020-06-16Update INSTALL.mdAlasdair Armstrong
2020-04-01Update INSTALL.mdAlasdair Armstrong
2020-02-12made list of required ubuntu packages completejp
2019-12-18Update INSTALL.md with feedback from Patrick Taylor on MacOSRobert Norton
2019-12-11Add github actions to build on macOS and ubuntuAlasdair Armstrong
2019-12-04Another word.Robert Norton
2019-12-04Re-direct building link.Robert Norton
2019-12-04Move building from source instructions from wiki into repo and update links. ...Robert Norton
2019-12-04Make INSTALL.md in repo canonical and make some tweaks (will now redirect the...Robert Norton
2019-05-22Use opam instructions in INSTALL.mdAlasdair Armstrong
2019-05-22Fix: Update INSTALL.md with opam switch instructionsAlasdair Armstrong
2019-01-21Fix typo in install instructionsAlasdair Armstrong
2018-11-29Update install instructions.Prashanth Mundkur
2018-07-28Update INSTALL.mdhirataqdees
2018-07-24Fix a tiny typo in INSTALL.mdGeorgy Lukyanov
2018-05-30Fix typo in install instructionsAlasdair Armstrong
2018-05-30Update INSTALL.mdAlasdair Armstrong
2018-02-17Add a note detailing hopefully up-to-date install processAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 11:01:22 +0000