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

Remove released packages #354

Merged
merged 1 commit into from
Oct 12, 2021
Merged

Remove released packages #354

merged 1 commit into from
Oct 12, 2021

Conversation

samoht
Copy link
Member

@samoht samoht commented Oct 12, 2021

No description provided.

@TheLortex
Copy link
Member

  • For base-bytes, I don't remember why it's here.
  • For gmp, the required patches are not yet released ([release] gmp.6.2.1-1 ocaml/opam-repository#19745)
  • For mirage-crypto-pk, it's still useful to have it because it has the following constraint:
    • (("mirage-no-solo5" & "mirage-no-xen") | "zarith-freestanding" | "mirage" {>= "4.0.0"})

@dinosaure
Copy link
Member

@TheLortex is faster than me 💯

@samoht
Copy link
Member Author

samoht commented Oct 12, 2021

Ha yes, let me update ocaml/opam-repository#19754 with the fix for mirage-crypto-pk. Do we need it for both 0.10 and 0.9 or just 0.10?

@dinosaure
Copy link
Member

We should waiting @hannesm specially for mirage-crypto-pk I'm not sure that he agreed such update.

@dinosaure dinosaure merged commit a49319f into mirage:master Oct 12, 2021
@samoht samoht deleted the cldeanups branch October 13, 2021 06:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@samoht @TheLortex @dinosaure