-
François Bobot authored
- update and upgrade before any apt-get installation (the cache make that lines could be executed month apart) - use depext in opam to check that all the needed debian packages are installed
8f818201
- update and upgrade before any apt-get installation (the cache make that lines could be executed month apart) - use depext in opam to check that all the needed debian packages are installed