Opened 5 years ago

Closed 5 years ago

#22725 closed enhancement (fixed)

polymake: Update discussion of recommended packages in SPKG.txt

Reported by: mkoeppe Owned by:
Priority: major Milestone: sage-8.0
Component: packages: experimental Keywords: polymake
Cc: vdelecroix, dimpase, jdemeyer, tscrim, jipilab Merged in:
Authors: Matthias Koeppe Reviewers: Travis Scrimshaw
Report Upstream: N/A Work issues:
Branch: da7c969 (Commits, GitHub, GitLab) Commit: da7c96924915ddc3fb817ffe7bb3c15976edfa13
Dependencies: Stopgaps:

Status badges


Several of the recommended packages are now available as new-style packages. Update the discussion in SPKG.txt.

(This applies to both polymake 3.0r2 and 3.1, so it is independent of #22513.)

See also:

  • #22710: Meta-ticket: polymake
  • #21700: Packages with "optional" dependencies (a package manager's suggested/recommended packages)

Change History (8)

comment:1 Changed 5 years ago by mkoeppe

  • Branch set to u/mkoeppe/polymake__update_discussion_of_recommended_packages_in_spkg_txt

comment:2 Changed 5 years ago by mkoeppe

  • Cc vdelecroix dimpase jdemeyer added
  • Commit set to da7c96924915ddc3fb817ffe7bb3c15976edfa13
  • Keywords polymake added
  • Status changed from new to needs_review

New commits:

da7c969polymake: Update discussion of recommended packages

comment:3 Changed 5 years ago by mkoeppe

  • Cc tscrim added

comment:4 Changed 5 years ago by mkoeppe

  • Cc jipilab added

comment:5 Changed 5 years ago by tscrim

Since there is a bliss optional spkg, do you want to still mention that somewhere?

comment:6 Changed 5 years ago by mkoeppe

bliss is listed in the dependencies file (along with several other packages); I don't think it's necessary to duplicate this information in SPKG.txt

comment:7 Changed 5 years ago by tscrim

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

Ah, right. Positive review.

comment:8 Changed 5 years ago by vbraun

  • Branch changed from u/mkoeppe/polymake__update_discussion_of_recommended_packages_in_spkg_txt to da7c96924915ddc3fb817ffe7bb3c15976edfa13
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.