Skip to content

add x-maintenance-intent to opam files#52

Merged
dinosaure merged 1 commit intomirage:mainfrom
hannesm:add-maint
Apr 23, 2025
Merged

add x-maintenance-intent to opam files#52
dinosaure merged 1 commit intomirage:mainfrom
hannesm:add-maint

Conversation

@hannesm
Copy link
Copy Markdown
Member

@hannesm hannesm commented Mar 5, 2025

No description provided.

@dinosaure
Copy link
Copy Markdown
Member

Thanks!

@dinosaure dinosaure merged commit d1c0bc5 into mirage:main Apr 23, 2025
1 check passed
dinosaure added a commit to dinosaure/opam-repository that referenced this pull request Apr 28, 2025
CHANGES:

- Fix unknown tag (@dinosaure, mirage/ocaml-dkim#46)
- Remove the high-kinded polymorphism (@dinosaure, mirage/ocaml-dkim#47)
- Expose useful functions (@dinosaure, mirage/ocaml-dkim#48, mirage/ocaml-dkim#53, mirage/ocaml-dkim#55)
- Fix generated signature (@dinosaure, mirage/ocaml-dkim#49)
- Export the `Decoder` module (@dinosaure, mirage/ocaml-dkim#50)
- Lint dependencies for the mirage-layer (@hannesm, mirage/ocaml-dkim#51)
- Factorize the way we digest things (@dinosaure, mirage/ocaml-dkim#54)
- Be compatible with `X509.Public_key.t` (@dinosaure, mirage/ocaml-dkim#56)
- Add `x-maintenance-intent` (@dinosaure, mirage/ocaml-dkim#52)
dinosaure added a commit to dinosaure/opam-repository that referenced this pull request Apr 28, 2025
CHANGES:

- Fix unknown tag (@dinosaure, mirage/ocaml-dkim#46)
- Remove the high-kinded polymorphism (@dinosaure, mirage/ocaml-dkim#47)
- Expose useful functions (@dinosaure, mirage/ocaml-dkim#48, mirage/ocaml-dkim#53, mirage/ocaml-dkim#55)
- Fix generated signature (@dinosaure, mirage/ocaml-dkim#49)
- Export the `Decoder` module (@dinosaure, mirage/ocaml-dkim#50)
- Lint dependencies for the mirage-layer (@hannesm, mirage/ocaml-dkim#51)
- Factorize the way we digest things (@dinosaure, mirage/ocaml-dkim#54)
- Be compatible with `X509.Public_key.t` (@dinosaure, mirage/ocaml-dkim#56)
- Add `x-maintenance-intent` (@dinosaure, mirage/ocaml-dkim#52)
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