mathlib3
Debian install
#974
Merged
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Overview
Commits
4
Changes
View On
GitHub
Debian install
#974
cipher1024
merged 4 commits into
master
from
debian
feat(docs/install_debian): Debian startup guide
9aee161e
feat(scripts/install_debian): One-line install for Debian [ci skip]
c2804702
PatrickMassot
requested a review
6 years ago
jcommelin
commented on 2019-05-03
fix(docs/install_debian*): Typos pointed out by Johan
21d31496
cipher1024
approved these changes on 2019-05-03
cipher1024
added
ready-to-merge
Merge branch 'master' into 'debian'
13b6b4b2
cipher1024
merged
f2db6369
into master
6 years ago
Login to write a write a comment.
Login via GitHub
Reviewers
cipher1024
jcommelin
Assignees
No one assigned
Labels
ready-to-merge
Milestone
No milestone
Login to write a write a comment.
Login via GitHub