| Commit message (Collapse) | Author | Age | Files | Lines |
| |
|
|
|
|
| |
- Remove DISTNAME
- Pet portlint: fix diff header of patch files
- Remove Author line
|
| | |
|
| |
|
|
|
|
|
|
|
| |
The referenced PR was implemented, and then augmented with stage
support from pkgsrc. The unique license was also documented.
PR: ports/176067
Submitted by: maintainer (Jaap Boender)
Stage support: Taken from pkgsrc
|
| |
|
|
|
| |
PR: 163409
Submitted by: Jaap Boender <jaapb@kerguelen.org> (maintainer)
|
| |
|
|
|
|
|
|
| |
- Sign up a new maintainer
PR: ports/122856
Submitted by: Jaap Boender <jaapb@kerguelen.org>
Approved by: Meikel Brandmeyer <mb@kotka.de> (maintainer)
|
|
|
PR: ports/93920
Submitted by: Meikel Brandmeyer <ocaml-sqlite3-port@kotka.de>
|