Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
coqPackages.interval: Add bignums, now a required dependency
- Loading branch information
Showing
1 changed file
with
2 additions
and
2 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
9ea242c
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This does not properly fix
coqPackages_8_7.interval
:The
bignum
library should be propagated.It works with Coq 8.6.1; by accident I guess.
This breaks
coqPackages_8_5.interval
:This breaks
coqPackages_8_4.interval
:9ea242c
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks for catching this @vbgl, I'll work on a fix today.
9ea242c
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think these issues have been addressed by 985cfa7 and d7e8415.
Going through a pull-request is a good way to avoid pushing breaking commits to master.