Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
belenios
belenios
Repository
f723f67536d0f2aa73bd13e8cf7a2ed53672e3a1
Switch branch/tag
belenios
INSTALL.md
Find file
Blame
History
Permalink
Update INSTALL
· f723f675
Stephane Glondu
authored
Jan 08, 2014
* more comprehensive list of system prerequisites * update opam-bootstrap.sh documentation
f723f675