Opened 3 years ago

Closed 3 years ago

#26334 closed enhancement (fixed)

Package pycosat

Reported by: tmonteil Owned by:
Priority: major Milestone: sage-8.4
Component: packages: optional Keywords:
Cc: Merged in:
Authors: Thierry Monteil Reviewers: Travis Scrimshaw
Report Upstream: N/A Work issues:
Branch: 3e44773 (Commits, GitHub, GitLab) Commit: 3e44773b1213c04f1893b2a950ea14cae40cdaf0
Dependencies: Stopgaps:

Status badges

Change History (4)

comment:1 Changed 3 years ago by tmonteil

  • Branch set to u/tmonteil/package_pycosat

comment:2 Changed 3 years ago by tmonteil

  • Commit set to 3e44773b1213c04f1893b2a950ea14cae40cdaf0
  • Status changed from new to needs_review

New commits:

3e44773#26334 : package pycosat

comment:3 Changed 3 years ago by tscrim

  • Reviewers set to Travis Scrimshaw
  • Status changed from needs_review to positive_review

LGTM.

comment:4 Changed 3 years ago by vbraun

  • Branch changed from u/tmonteil/package_pycosat to 3e44773b1213c04f1893b2a950ea14cae40cdaf0
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.