Closed vicbm closed 5 years ago
(section "Compilation environment using OPAM", fichier "INSTALL.md")
Commit directly integrated in master.
apt-get git m4 libkrb5-dev pkg-config zlib1g-dev libgmp-dev --> # apt-get install git m4 libkrb5-dev pkg-config zlib1g-dev libgmp-dev
(section "Compilation environment using OPAM", fichier "INSTALL.md")