HomeFreeBSD

net/dico: Update to 2.11/Rename port

Description

net/dico: Update to 2.11/Rename port

  • Rename the port to match upstream naming Change the name from net/gnu-dico to net/dico, prefix gnu- was added to distinguish this port from the port french/dico no longer needed since the port french/dico was removed from ports few years ago
  • Switch to DISTVERSION
  • Strip binaries
  • Add missing dependencies

ChangeLog: https://git.savannah.gnu.org/cgit/dico.git/tree/NEWS
PR: 268796

The prefix gnu was added to distinguish this port from the port french/dico

This is no longer needed since the port french/dico was removed from ports few years ago

Details

Provenance
FreeBSD <info@dikt.tv>Authored on Jun 3 2023, 11:35 AM
eduardoCommitted on Jun 3 2023, 11:46 AM
Parents
R11:a26d38830d99: games/spacezero: Remove expired port
Branches
Unknown
Tags
Unknown