Opened 8 years ago

Closed 8 years ago

#15723 closed enhancement (fixed)

move CryptoMiniSat SPKG to build/pkgs

Reported by: malb Owned by:
Priority: minor Milestone: sage-6.2
Component: packages: optional Keywords:
Cc: Merged in:
Authors: Martin Albrecht Reviewers: Nathann Cohen
Report Upstream: N/A Work issues:
Branch: e9b47aa (Commits, GitHub, GitLab) Commit: e9b47aac79b7f20af9bfdae89aa99175fd7773d1
Dependencies: Stopgaps:

Status badges

Description (last modified by malb)

CryptoMiniSat? is currently still in "legacy SPKG" format. We should move it to build/pkgs.

Here's the upstream tarball:

Change History (6)

comment:1 Changed 8 years ago by malb

  • Status changed from new to needs_review

The branch is ticket-15674-cryptominisat which points to #15674 which aims to update CryptoMiniSat? to a newer version. However, this is currently waiting for an upstream update. Hence, the transition to build/pkg was moved to its own ticket.

comment:2 Changed 8 years ago by vbraun_spam

  • Milestone changed from sage-6.1 to sage-6.2

comment:3 Changed 8 years ago by git

  • Commit changed from a19676ff338523cb17e9f46f3797e48baf562683 to e9b47aac79b7f20af9bfdae89aa99175fd7773d1

Branch pushed to git repo; I updated commit sha1. New commits:

d19d095adding cryptominisat 2.9.6 to build/pkgs
85f4b71removing changelog from SPKG.txt, using upstream tarball directly
791530fcmsat-VERSION -> cryptominisat-VERSION
e9b47aaMerge branch 'u/malb/ticket-15674-cryptominisat' of into cryptominisat

comment:4 Changed 8 years ago by malb

  • Description modified (diff)

comment:5 Changed 8 years ago by ncohen

  • Reviewers set to Nathann Cohen
  • Status changed from needs_review to positive_review

Almost no difference with the SPKG.txt and spkg-install contained in the current .spkg file. Good to go !


comment:6 Changed 8 years ago by vbraun

  • Branch changed from u/malb/ticket-15674-cryptominisat to e9b47aac79b7f20af9bfdae89aa99175fd7773d1
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.