Opened 22 months ago

Last modified 4 weeks ago

#29413 new enhancement

Upgrade cddlib, fix cddlib header search for packages latte_int, gfan, topcom — at Version 5

Reported by: mkoeppe Owned by:
Priority: major Milestone: sage-9.6
Component: packages: optional Keywords: upgrade, cddlib
Cc: mjo, dimpase, saraedum, slelievre, arojas, fbissey, gh-kliem Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description (last modified by mkoeppe)

Follow up from #28905.

Change History (5)

comment:1 Changed 21 months ago by mkoeppe

  • Milestone changed from sage-9.1 to sage-9.2

comment:2 Changed 17 months ago by mkoeppe

  • Milestone changed from sage-9.2 to sage-9.3

comment:3 Changed 16 months ago by slelievre

  • Cc slelievre added
  • Keywords upgrade cddlib added

New: cddlib 0.94k was released on 2020-09-15.

Last edited 16 months ago by slelievre (previous) (diff)

comment:4 Changed 13 months ago by dimpase

a newer cdd 0.94m fixing #30319 has been released

Last edited 13 months ago by dimpase (previous) (diff)

comment:5 Changed 11 months ago by mkoeppe

  • Cc arojas fbissey gh-kliem added
  • Description modified (diff)

Are there already patches around for the cdd header file locations for gfan and topcom?

Note: See TracTickets for help on using tickets.