Number of commits found: 4
editors/gummi: Reintroduce port and update to 0.8.1 - Update entry in MOVED PR: 250913 Approved by: lwhsu (mentor)
- Stage support [1] - Use option helpers [1] - Deprecate, resulting software is unusable PR: ports/186337 [1] Submitted by: maintainer
- Remove manual creation and removal of share/applications, as it's now in the mtree (categories starting with [bce]) Approved by: portmgr (bdrewery)
Gummi is a LaTeX editor. It was designed with simplicity in mind. WWW: http://gummi.midnightcoding.org/ PR: 179191 Submitted by: Hakisho Nukama <nukama@gmail.com>
Servers and bandwidth provided by New York Internet, iXsystems, and RootBSD
14 vulnerabilities affecting 149 ports have been reported in the past 14 days
* - modified, not new
All vulnerabilities
Last processed:2023-09-29 23:31:07 UTC