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

Package pycosat #26334

Closed
sagetrac-tmonteil mannequin opened this issue Sep 21, 2018 · 6 comments
Closed

Package pycosat #26334

sagetrac-tmonteil mannequin opened this issue Sep 21, 2018 · 6 comments
Labels
c: packages: optional p: major / 3 t: enhancement
Milestone
sage-8.4

Comments

@sagetrac-tmonteil
Copy link
Mannequin

sagetrac-tmonteil mannequin commented Sep 21, 2018

Tarball : https://github.com/ContinuumIO/pycosat/archive/0.6.3.tar.gz

Component: packages: optional

Author: Thierry Monteil

Branch/Commit: 3e44773

Reviewer: Travis Scrimshaw

Issue created by migration from https://trac.sagemath.org/ticket/26334
@sagetrac-tmonteil sagetrac-tmonteil mannequin added this to the sage-8.4 milestone Sep 21, 2018
@sagetrac-tmonteil
Copy link
Mannequin Author

sagetrac-tmonteil mannequin commented Sep 21, 2018

Branch: u/tmonteil/package_pycosat

@sagetrac-tmonteil
Copy link
Mannequin Author

sagetrac-tmonteil mannequin commented Sep 21, 2018

New commits:

3e44773#26334 : package pycosat

@sagetrac-tmonteil
Copy link
Mannequin Author

sagetrac-tmonteil mannequin commented Sep 21, 2018

Commit: 3e44773

@tscrim
Copy link
Collaborator

tscrim commented Sep 22, 2018

Reviewer: Travis Scrimshaw

@tscrim
Copy link
Collaborator

tscrim commented Sep 22, 2018

comment:3

LGTM.

@vbraun
Copy link
Member

vbraun commented Sep 23, 2018

Changed branch from u/tmonteil/package_pycosat to 3e44773

@vbraun vbraun closed this as completed in df44cb2 Sep 23, 2018
@sagetrac-tmonteil sagetrac-tmonteil mannequin mentioned this issue Sep 23, 2018
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
c: packages: optional p: major / 3 t: enhancement
Projects
None yet
Milestone
sage-8.4
Development

No branches or pull requests
2 participants
@vbraun @tscrim