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

ocamlPackages.cohttp: 0.99 => 1.0.0 #31807

Closed
wants to merge 1 commit into from
Closed

Conversation

leenaars
Copy link
Contributor

Motivation for this change

Version bump to official 1.0.0 release.

Things done
  • Tested using sandboxing (nix.useSandbox on NixOS, or option build-use-sandbox in nix.conf on non-NixOS)
  • Built on platform(s)
    • NixOS
    • macOS
    • other Linux distributions
  • Tested via one or more NixOS test(s) if existing and applicable for the change (look inside nixos/tests)
  • Tested compilation of all pkgs that depend on this change using nix-shell -p nox --run "nox-review wip"
  • Tested execution of all binary files (usually in ./result/bin/)
  • Fits CONTRIBUTING.md.

@vbgl
Copy link
Contributor

vbgl commented Nov 19, 2017

This breaks git-http:

File "src/git-http/git_http.mli", line 47, characters 14-29:
Error: Unbound module Cohttp_lwt_s

@leenaars
Copy link
Contributor Author

Hi @vbgl , you maintain that package, right? This release is the 1.0 release of cohttp, so I would expect it to be stable compared to the previous 0.99 version. Is this something we can fix by updating git-http?

@leenaars
Copy link
Contributor Author

Or should we isolate the 0.99 version for git-http and upgrade the main package to the 1.0.0 first major release?

@vbgl
Copy link
Contributor

vbgl commented Nov 21, 2017

Do you know what are the upstream plans? Will they update ocaml-git to be compatible with cohttp 1.0?

@leenaars
Copy link
Contributor Author

@vbgl
Copy link
Contributor

vbgl commented Dec 16, 2017

Merged in b2d90f1.
I also marked git-http as broken: to be fixed when a new release of ocaml-git is available.

@vbgl vbgl closed this Dec 16, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants