Skip to content

awa, dkim, paf-le: restrict to domain-name that depend on astring#19886

Merged
mseri merged 3 commits into
ocaml:masterfrom
hannesm:awa-bounds
Oct 27, 2021
Merged

awa, dkim, paf-le: restrict to domain-name that depend on astring#19886
mseri merged 3 commits into
ocaml:masterfrom
hannesm:awa-bounds

Conversation

@hannesm
Copy link
Copy Markdown
Member

@hannesm hannesm commented Oct 27, 2021

//cc @mseri as discussed in #19881

@hannesm hannesm changed the title awa: restrict to domain-name that depend on astring awa, dkim: restrict to domain-name that depend on astring Oct 27, 2021
@hannesm
Copy link
Copy Markdown
Member Author

hannesm commented Oct 27, 2021

//cc @dinosaure dkim uses Astring without declaring that as dependency -- here I restrict it to domain-name before domain-name removed nearly all dependencies ;)

@hannesm hannesm changed the title awa, dkim: restrict to domain-name that depend on astring awa, dkim, paf-le: restrict to domain-name that depend on astring Oct 27, 2021
@hannesm
Copy link
Copy Markdown
Member Author

hannesm commented Oct 27, 2021

/cc @dinosaure for paf-le (0.0.6) -- also has an implicit astring dependency

@hannesm
Copy link
Copy Markdown
Member Author

hannesm commented Oct 27, 2021

this looks good to be merged.

@mseri mseri merged commit abfba34 into ocaml:master Oct 27, 2021
@hannesm hannesm deleted the awa-bounds branch October 27, 2021 21:12
"base64" {>= "3.0.0"}
"hacl_x25519" {>= "0.2.0"}
"zarith"
"domain-name" {< "0.3.1"}
Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

why has domain-name been added here? I'm not seeing it in the explicit dependencies

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

would instead a conflicts: domain-name >= 0.3.1 suit you better? I can open a PR if you like.

Copy link
Copy Markdown
Member Author

@hannesm hannesm Oct 29, 2021

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

see #19902 - applying conflict instead of a dependency with an upper bound

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.

3 participants