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

Please replace deprecated 'peano' package #6935

Closed
iliastsi opened this issue Oct 21, 2023 · 2 comments
Closed

Please replace deprecated 'peano' package #6935

iliastsi opened this issue Oct 21, 2023 · 2 comments
Assignees
@andreasabel
Labels
dependencies Pull requests that update a dependency file hackage Agda's Haskell dependencies and its presence on Hackage not-in-changelog This issue should not be listed in the changelog.
Milestone
2.6.4.1

Comments

@iliastsi
Copy link

Commit dd89d48 introduced a dependency on the peano Haskell package (https://hackage.haskell.org/package/peano). This package is deprecated, and I would like to avoid packaging it in Debian. Please consider replacing the peano package with another maintained package.

Thanks!
@andreasabel
Copy link
Member

@iliastsi : Thanks for the alert. I will try to take over this package and undeprecate it.

@andreasabel andreasabel added hackage Agda's Haskell dependencies and its presence on Hackage dependencies Pull requests that update a dependency file labels Oct 21, 2023
@andreasabel andreasabel added this to the 2.6.4.1 milestone Oct 21, 2023
@andreasabel andreasabel added the not-in-changelog This issue should not be listed in the changelog. label Oct 23, 2023
@andreasabel andreasabel self-assigned this Oct 23, 2023
@andreasabel
Copy link
Member

I took over this package, this should fix this issue.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@andreasabel andreasabel

Labels
dependencies Pull requests that update a dependency file hackage Agda's Haskell dependencies and its presence on Hackage not-in-changelog This issue should not be listed in the changelog.
Projects
None yet
Milestone
2.6.4.1
Development

No branches or pull requests
2 participants
@andreasabel @iliastsi