Opened 10 years ago
Closed 10 years ago
#44007 closed update (duplicate)
New cudd 2.5.0 is available: please update libcudd
| Reported by: | rpgoldman | Owned by: | macports-tickets@… |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | |
| Keywords: | Cc: | mij@… | |
| Port: | libcudd |
Description
Somenzi has released CUDD 2.4.2 and now 2.5.0 since the libcudd port has been updated (it's at 2.4.1). Would it be possible to update the port? Thanks!
Change History (1)
comment:1 Changed 10 years ago by mf2k (Frank Schima)
| Resolution: | → duplicate |
|---|---|
| Status: | new → closed |
| Type: | request → update |
| Version: | 2.3.0 |
Note: See
TracTickets for help on using
tickets.
Duplicate of #27726.