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:

Status badges

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 dimpase

  • Status changed from new to needs_review

also few changes MPIR->GMP in docs

comment:2 Changed 7 months ago by mkoeppe

  • Reviewers set to Matthias Koeppe
  • Status changed from needs_review to positive_review

comment:3 Changed 7 months ago by vbraun

  • 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.