Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

complete mpir deletion #32727

Closed
dimpase opened this issue Oct 20, 2021 · 3 comments
Closed

complete mpir deletion #32727

dimpase opened this issue Oct 20, 2021 · 3 comments
Labels
c: build: configure p: blocker / 1 t: bug
Milestone
sage-9.5

Comments

@dimpase
Copy link
Member

dimpase commented Oct 20, 2021

there are leftovers:
build/pkgs/mpir/distros/void.txt, and in the list of deps in build/pkgs/4ti2/spkg-configure.m4

CC: @mkoeppe @vbraun

Component: build: configure

Author: Dima Pasechnik

Branch/Commit: a650a7d

Reviewer: Matthias Koeppe

Issue created by migration from https://trac.sagemath.org/ticket/32727
@dimpase dimpase added this to the sage-9.5 milestone Oct 20, 2021
@dimpase
Copy link
Member Author

dimpase commented Oct 20, 2021

comment:1

also few changes MPIR->GMP in docs

@mkoeppe
Copy link
Contributor

mkoeppe commented Oct 20, 2021

Reviewer: Matthias Koeppe

@vbraun
Copy link
Member

vbraun commented Oct 23, 2021

Changed branch from u/dimpase/packages/mpir/deldel to a650a7d

@vbraun vbraun closed this as completed in 3c6a07a Oct 23, 2021
@embray embray mentioned this issue Jan 29, 2023
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
c: build: configure p: blocker / 1 t: bug
Projects
None yet
Milestone
sage-9.5
Development

No branches or pull requests
3 participants
@vbraun @dimpase @mkoeppe