| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Remove WWW entries moved into port Makefiles | Stefan Eßer | 2022-09-07 | 1 | -2/+0 |
| | | | | | | | | | | | Commit b7f05445c00f has added WWW entries to port Makefiles based on WWW: lines in pkg-descr files. This commit removes the WWW: lines of moved-over URLs from these pkg-descr files. Approved by: portmgr (tcberner) | ||||
| * | Bddsolve is a BDD-based tool for solving satisfiability and reachability | Beat Gaetzi | 2010-05-12 | 1 | -0/+4 |
| problems. It uses the BDD package Buddy as a backend. WWW: http://www.win.tue.nl/~wieger/bddsolve/ Submitted by: ed@ Notes: svn path=/head/; revision=254196 | |||||
 |
index : ports | |
| FreeBSD ports tree |
| aboutsummaryrefslogtreecommitdiff |