Bug 745411

Summary:	sci-libs/cudd: new package (unbundled from sci-libs/brial)
Product:	Gentoo Linux	Reporter:	Michael Orlitzky <mjo>
Component:	New packages	Assignee:	Michael Orlitzky <mjo>
Status:	RESOLVED CANTFIX
Severity:	normal	CC:	frp.bissey, proxy-maint, sci
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---

Description Michael Orlitzky gentoo-dev

2020-09-29 14:07:53 UTC

Now that sci-libs/brial-1.2.9 can use an external copy of CUDD, we should eventually unbundle the copy that ships with brial. At the moment only the older cudd-2.5.x series is usable from within brial.

No rush here, everything still works in the meantime.

Comment 1 Michael Orlitzky gentoo-dev

2021-08-07 13:12:20 UTC

Closing for now in light of https://github.com/BRiAl/BRiAl/commit/67a0ce71efe89372418eef74a0984ac97011eda5