diff options
| author | Dima Panov <fluffy@FreeBSD.org> | 2023-02-01 19:26:32 +0000 |
|---|---|---|
| committer | Dima Panov <fluffy@FreeBSD.org> | 2023-02-01 19:36:35 +0000 |
| commit | d175c33935a0eabe5466f392241f4db5459e297d (patch) | |
| tree | 6e2c7f31b7c7a4c6d86f965c0171b6789f7f2e93 | |
| parent | 932fe4437b4cb1724d40cfdd10d6a0089c6aad4b (diff) | |
ports-mgmt/synth: update to 2.13 release (+)
* Control the port scan environment (#212)
* Adjust umount to prevent ccache directory from getting wiped out (#199)
Release notes: https://github.com/jrmarino/synth/releases/tag/v2.13
| -rw-r--r-- | ports-mgmt/synth/Makefile | 3 | ||||
| -rw-r--r-- | ports-mgmt/synth/distinfo | 6 |
2 files changed, 4 insertions, 5 deletions
diff --git a/ports-mgmt/synth/Makefile b/ports-mgmt/synth/Makefile index 5555ad62f08c..45d89403fcca 100644 --- a/ports-mgmt/synth/Makefile +++ b/ports-mgmt/synth/Makefile @@ -1,7 +1,6 @@ PORTNAME= synth DISTVERSIONPREFIX= v -DISTVERSION= 2.12 -PORTREVISION= 1 +DISTVERSION= 2.13 CATEGORIES= ports-mgmt MAINTAINER= fluffy@FreeBSD.org diff --git a/ports-mgmt/synth/distinfo b/ports-mgmt/synth/distinfo index c197f0649961..b344fafc2a3d 100644 --- a/ports-mgmt/synth/distinfo +++ b/ports-mgmt/synth/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1627166929 -SHA256 (jrmarino-synth-v2.12_GH0.tar.gz) = eab5a3375f0b52f2a6ee835ba9e343120379d190ee8de21a2716b675eddceb32 -SIZE (jrmarino-synth-v2.12_GH0.tar.gz) = 172039 +TIMESTAMP = 1675279152 +SHA256 (jrmarino-synth-v2.13_GH0.tar.gz) = 96ccab38d6a0bd10f4b408a4eb3e3aa3fc34a0c426957b14257e8dd59957592b +SIZE (jrmarino-synth-v2.13_GH0.tar.gz) = 172031 |