| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | security/klee: arrowd@FreeBSD.org takes maintainership | yuri | 2018-07-23 | 1 | -4/+4 |
| | | | | | | | | | | The original submitter gave up on the klee port. Also update COMMENT and move -DFREEBSD_STP_STATIC_LIBRARY to the STP option section. PR: 219150 Requested by: arrowd (maintainership change) | ||||
| * | New port: security/klee: Symbolic virtual machine built on top of the LLVM | yuri | 2018-07-23 | 7 | -0/+115 |
| PR: 219150 Submitted by: larca <itbot@list.ru> | |||||
 |
index : freebsd-ports-gnome | |
| FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome) |
| aboutsummaryrefslogtreecommitdiffstats |