Opened 7 months ago
Closed 7 months ago
#32727 closed defect (fixed)
complete mpir deletion
Reported by: | dimpase | Owned by: | |
---|---|---|---|
Priority: | blocker | Milestone: | sage-9.5 |
Component: | build: configure | Keywords: | |
Cc: | mkoeppe, vbraun | Merged in: | |
Authors: | Dima Pasechnik | Reviewers: | Matthias Koeppe |
Report Upstream: | N/A | Work issues: | |
Branch: | a650a7d (Commits, GitHub, GitLab) | Commit: | a650a7da01550aa179490bf2fe5ebb1d806eba75 |
Dependencies: | Stopgaps: |
Description
there are leftovers:
build/pkgs/mpir/distros/void.txt
, and in the list of deps in build/pkgs/4ti2/spkg-configure.m4
Change History (3)
comment:1 Changed 7 months ago by
- Status changed from new to needs_review
comment:2 Changed 7 months ago by
- Reviewers set to Matthias Koeppe
- Status changed from needs_review to positive_review
comment:3 Changed 7 months ago by
- Branch changed from u/dimpase/packages/mpir/deldel to a650a7da01550aa179490bf2fe5ebb1d806eba75
- Resolution set to fixed
- Status changed from positive_review to closed
Note: See
TracTickets for help on using
tickets.
also few changes MPIR->GMP in docs