diff --git a/devel/devhelp/Makefile b/devel/devhelp/Makefile index bcab99c7012fb..0a75d9aed5ac4 100644 --- a/devel/devhelp/Makefile +++ b/devel/devhelp/Makefile @@ -1,7 +1,7 @@ # Created by: Adam Weinberger PORTNAME= devhelp -PORTVERSION= 41.1 +PORTVERSION= 41.2 CATEGORIES= devel gnome MASTER_SITES= GNOME/sources/${PORTNAME}/${PORTVERSION:C/^([0-9]+)\..*/\1/} DIST_SUBDIR= gnome diff --git a/devel/devhelp/distinfo b/devel/devhelp/distinfo index fee96b9fdd5c9..28f26aca40ff9 100644 --- a/devel/devhelp/distinfo +++ b/devel/devhelp/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1632351592 -SHA256 (gnome/devhelp-41.1.tar.xz) = 46ea4f8752c22442e0f14be10387a4e8a3872680c3f04882aabeac7daea22e4b -SIZE (gnome/devhelp-41.1.tar.xz) = 1455656 +TIMESTAMP = 1633280533 +SHA256 (gnome/devhelp-41.2.tar.xz) = ecaa90b0f4daa8fb2030f6dc690bf533ff99a773437fe0e18acfe82d997f60d2 +SIZE (gnome/devhelp-41.2.tar.xz) = 1455736