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

4 packages from dx3mod/rpmfile at 0.4.0 #26624

Merged
merged 1 commit into from
Sep 30, 2024

Conversation

dx3mod
Copy link
Contributor

@dx3mod dx3mod commented Sep 26, 2024

This pull-request concerns:

  • rpmfile.0.4.0: RPM package metadata reader
  • rpmfile-cli.0.4.0: CLI utility for reading RPM package information (like
    rpm -qi)
  • rpmfile-eio.0.4.0: RPM package metadata reader (powered by Eio)
  • rpmfile-unix.0.4.0: RPM package metadata reader (powered by Angstrom)


🐫 Pull-request generated by opam-publish v2.4.0

@dx3mod dx3mod force-pushed the opam-publish-rpmfile.0.4.0 branch 3 times, most recently from 4fb0879 to 7dbcca1 Compare September 27, 2024 09:00
@avsm
Copy link
Member

avsm commented Sep 29, 2024

This look good, but rpmfile.0.3.x are now failing due to their versions being incompatible. Pushing upper bounds to those packages would be appreciated. opam admin add-constraint will automate the job here if you'd prefer to do that from the CLI.

@dx3mod dx3mod force-pushed the opam-publish-rpmfile.0.4.0 branch from 7dbcca1 to 1688948 Compare September 29, 2024 14:34
@dx3mod
Copy link
Contributor Author

dx3mod commented Sep 29, 2024

Thanks for the answer! That was indeed my big mistake. I just forgot about the version bounds.

@dx3mod
Copy link
Contributor Author

dx3mod commented Sep 29, 2024

rpmfile-eio.0.4.0 (failed: conf-pkg-config.3 failed to build)

There is this error again, like the last time.

@avsm
Copy link
Member

avsm commented Sep 30, 2024

That's a separate thing we can fix. Thanks for the upper bounds, now merging!

@avsm avsm merged commit f946ad9 into ocaml:master Sep 30, 2024
2 of 3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants