Resolve "INSTALL.md: Update due to Debian package now available" (!46) · Merge requests · jvoisin / mat2 · GitLab

Snippets Groups Projects

Merged georg requested to merge 76-install-update-debian-status into master 5 years ago

Jul 13, 2019
- Update INSTALL.md · a879ce40
  Julien (jvoisin) Voisin authored 5 years ago
  
  a879ce40
- Update INSTALL.md · 3927a9ee
  Julien (jvoisin) Voisin authored 5 years ago
  
  3927a9ee
- INSTALL: Update Debian package status · 9736b938
  georg authored 5 years ago and jvoisin committed 5 years ago
  
  Also, make the note generic, to omit the need to update it "constantly". Closes #76
  9736b938
- INSTALL: Sort distributions alphabetically · 09f2eee4
  georg authored 5 years ago and jvoisin committed 5 years ago
  
  09f2eee4