Opened 12 years ago
Closed 3 years ago
#38631 closed update (fixed)
boolector: update to 1.5.118
| Reported by: | ryandesign (Ryan Carsten Schmidt) | Owned by: | macports-tickets@… |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | |
| Keywords: | Cc: | ||
| Port: | boolector |
Description
boolector 1.5.118 is out; the port could be updated.
The livecheck should be fixed too.
$ port livecheck boolector Error: cannot check if boolector was updated (regex didn't match)
Change History (3)
comment:1 Changed 8 years ago by kurthindenburg (Kurt Hindenburg)
| Owner: | changed from mww@… to macports-tickets@… |
|---|---|
| Status: | new → assigned |
comment:2 Changed 3 years ago by ryandesign (Ryan Carsten Schmidt)
comment:3 Changed 3 years ago by ryandesign (Ryan Carsten Schmidt)
| Resolution: | → fixed |
|---|---|
| Status: | assigned → closed |
Note: See
TracTickets for help on using
tickets.
In 24a504afb316f5bf2e47d188d5c433b1913860a3/macports-ports (master):