bootstrap: Simplify by using new options of "sage -package list"
in this ticket, we simplify bootstrap
using the new options of sage -package list
introduced in #30865.
The simplifications are similar to those done in #30947 for src/doc/bootstrap
.
Change History (6)
Branch: |
→ u/mkoeppe/bootstrap__simplify_by_using_new_options_of__sage__package_list_
|
Authors: |
→ Matthias Koeppe
|
Commit: |
→ f1109160be53197c5275f8822907097c42dae785
|
Keywords: |
sd111 added
|
Status: |
new →
needs_review
|
Reviewers: |
→ Sébastien Labbé
|
Status: |
needs_review →
positive_review
|
Branch: |
u/mkoeppe/bootstrap__simplify_by_using_new_options_of__sage__package_list_ →
f1109160be53197c5275f8822907097c42dae785
|
Resolution: |
→ fixed
|
Status: |
positive_review →
closed
|
New commits:
bootstrap: Simplify code using 'sage --package list'