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.

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

Fix build/pkgs/libhomfly/distros/debian.txt #30626

Closed
mkoeppe opened this issue Sep 21, 2020 · 8 comments
Closed

Fix build/pkgs/libhomfly/distros/debian.txt #30626

mkoeppe opened this issue Sep 21, 2020 · 8 comments

Comments

@mkoeppe
Copy link
Member

mkoeppe commented Sep 21, 2020

Follow-up from #30338.

Changing it to libhomfly-dev, which is available on both Debian (https://packages.debian.org/sid/libhomfly-dev) and Ubuntu (https://ubuntu.pkgs.org/20.04/ubuntu-universe-amd64/libhomfly-dev_1.02r5-1_amd64.deb.html)

CC: @slel @dimpase @tscrim @tobiasdiez

Component: porting

Author: Matthias Koeppe

Branch/Commit: 7ec2c3d

Reviewer: Dima Pasechnik

Issue created by migration from https://trac.sagemath.org/ticket/30626

@mkoeppe mkoeppe added this to the sage-9.2 milestone Sep 21, 2020
@mkoeppe
Copy link
Member Author

mkoeppe commented Sep 21, 2020

@mkoeppe
Copy link
Member Author

mkoeppe commented Sep 21, 2020

Commit: 7ec2c3d

@mkoeppe
Copy link
Member Author

mkoeppe commented Sep 21, 2020

New commits:

7ec2c3dbuild/pkgs/libhomfly/distros/debian.txt: Use libhomfly-dev

@mkoeppe
Copy link
Member Author

mkoeppe commented Sep 21, 2020

Author: Matthias Koeppe

@dimpase
Copy link
Member

dimpase commented Sep 21, 2020

Reviewer: Dima Pasechnik

@dimpase
Copy link
Member

dimpase commented Sep 21, 2020

comment:3

lgtm

@mkoeppe
Copy link
Member Author

mkoeppe commented Sep 21, 2020

comment:4

Thanks

@mkoeppe mkoeppe modified the milestones: sage-9.2, sage-9.3 Oct 24, 2020
@vbraun
Copy link
Member

vbraun commented Nov 7, 2020

Changed branch from u/mkoeppe/fix_build_pkgs_libhomfly_distros_debian_txt to 7ec2c3d

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

3 participants