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

[new release] digestif (0.7.2) #14154

Merged
merged 2 commits into from
May 20, 2019
Merged

Conversation

dinosaure
Copy link
Contributor

Hashes implementations (SHA*, RIPEMD160, BLAKE2* and MD5)

CHANGES:
  • Add conflict with < mirage-xen-posix.3.1.0 packages (@hannesm)

  • Add a note on README.md about the linking-trick and order of dependencies (@rizo)

  • Use experimental feature of variants with dune (@dinosaure, review @rgrinberg)

    digestif requires at least dune.1.9.2

CHANGES:

- Add conflict with `< mirage-xen-posix.3.1.0` packages (@hannesm)
- Add a note on README.md about the linking-trick and order of dependencies (@rizo)
- Use experimental feature of variants with `dune` (@dinosaure, review @rgrinberg)

  `digestif` requires at least `dune.1.9.2`
@camelus
Copy link
Contributor

camelus commented May 17, 2019

🌤️ opam-lint warnings 4acbc51
  • callipyge.0.2 has some warnings:

    • warning 47: Synopsis should start with a capital and not end with a dot
  • These packages passed lint tests: digestif.0.7.1, digestif.0.7.2, digestif.0.7, noise.0.1.0, noise.0.2.0


☀️ Installability check (11215 → 11216)
  • new installable packages (1): digestif.0.7.2

@mseri
Copy link
Member

mseri commented May 18, 2019

@dinosaure
Copy link
Contributor Author

Error is related to eqaf, I put conflicts to avoid eqaf.0.3 and should fix CI.

@mseri
Copy link
Member

mseri commented May 20, 2019

Thanks!

@mseri mseri merged commit 8aa60ed into ocaml:master May 20, 2019
@hcarty
Copy link
Member

hcarty commented May 20, 2019

@dinosaure Is there a pointer to the eqaf bug in 0.3?

@dinosaure
Copy link
Contributor Author

@hcarty currently, I did the fix here: mirage/eqaf#14

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants