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

Missing dependencies for odd_order and real_closed #9

Closed
clarus opened this issue Oct 23, 2015 · 1 comment
Closed

Missing dependencies for odd_order and real_closed #9

clarus opened this issue Oct 23, 2015 · 1 comment
Assignees
@CohenCyril

Comments

@clarus
Copy link

clarus commented Oct 23, 2015

It seems that some packages do not compile due to missing dependencies:
@CohenCyril CohenCyril self-assigned this Dec 26, 2015
@gares
Copy link
Member

gares commented Feb 2, 2016

I think this bug is no more applicable (eg. the missing dependency on "basic" is not actual, since such package does not exists today)

@gares gares closed this as completed Feb 2, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@CohenCyril CohenCyril

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@CohenCyril @clarus @gares