complete mpir deletion
dimpase opened this issue · 3 comments
dimpase commented
there are leftovers:
build/pkgs/mpir/distros/void.txt, and in the list of deps in build/pkgs/4ti2/spkg-configure.m4
Component: build: configure
Author: Dima Pasechnik
Branch/Commit: a650a7d
Reviewer: Matthias Koeppe
Issue created by migration from https://trac.sagemath.org/ticket/32727
dimpase commented
comment:1
also few changes MPIR->GMP in docs
mkoeppe commented
Reviewer: Matthias Koeppe
vbraun commented
Changed branch from u/dimpase/packages/mpir/deldel to a650a7d