SourceForge has at least 4.5.4. Not sure if this is the latest version, or maybe it has moved? You probably know better. Thanks!
Created attachment 195496 [details] Update Seems that 4.5.4 is the latest. It either is the last version of gringo(possibly) or it changed name after that?
Committed with additions. Thank you for the patch!
A commit references this bug: Author: yuri Date: Fri Jul 27 04:37:41 UTC 2018 New revision: 475409 URL: https://svnweb.freebsd.org/changeset/ports/475409 Log: math/gringo: Update 4.5.2 -> 4.5.4 Port changes: * Maintainer reset based on 6.5 months timeout * Use DISTVERSION * Add LICENSE_FILE * Add USES=python:2.7 * Remove '+' from '+=' where they aren't needed * Update WWW to anew address PR: 225131 Submitted by: Nathan <ndowens.fbsd@yandex.com> Approved by: vsevolod@FreeBSD.org (maintainer's timeout 6.5 months) Changes: head/math/gringo/Makefile head/math/gringo/distinfo head/math/gringo/pkg-descr