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.

Sign up for GitHub

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

Jump to bottom

Breaking changes in Coq 8.5~beta3 #14

Closed
clarus opened this issue Nov 6, 2015 · 3 comments
Closed

Breaking changes in Coq 8.5~beta3 #14

clarus opened this issue Nov 6, 2015 · 3 comments

Comments

@clarus
Copy link
Contributor

clarus commented Nov 6, 2015

The package coq:ext-lib.1.0.0~beta2 does not compile anymore with Coq 8.5~beta3. See bench error. I updated the dependencies in ebb5b6b830a0addb21b9c2ad4f5afd98cf12d9e6.
@gmalecha
Copy link
Collaborator

gmalecha commented Nov 6, 2015

Thanks.

There isn't an official beta3 tarball yet. Do I just build it against the 8.5 branch to see these errors?

@clarus
Copy link
Contributor Author

clarus commented Nov 6, 2015

The website of Coq is not updated yet, but there is an OPAM package coq.8.5~beta3 (in the released repository, will soon be moved to core-dev). The tarballs will arrive by a few days, I guess. Else the 8.5 branch should be pretty close to the beta3.

@gmalecha
Copy link
Collaborator

gmalecha commented Dec 5, 2015

This is fixed now with a new release.

@gmalecha gmalecha closed this as completed Dec 5, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@gmalecha @clarus