diff options
| author | Gleb Popov <arrowd@FreeBSD.org> | 2022-04-05 11:55:19 +0000 |
|---|---|---|
| committer | Gleb Popov <arrowd@FreeBSD.org> | 2022-04-05 11:57:03 +0000 |
| commit | 32f067c7574ec918a9abd66dea8eebea443df968 (patch) | |
| tree | 5ca6a6cff5dc4f40d5774d2e439e036b3c1e372a | |
| parent | 848dbd4db28a8332af97534eb6200344a8e51328 (diff) | |
| download | ports-32f067c7574ec918a9abd66dea8eebea443df968.tar.gz ports-32f067c7574ec918a9abd66dea8eebea443df968.zip | |
security/klee: Update to 2.3
| -rw-r--r-- | security/klee/Makefile | 2 | ||||
| -rw-r--r-- | security/klee/distinfo | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/security/klee/Makefile b/security/klee/Makefile index b6d4bc471324..effce070f48e 100644 --- a/security/klee/Makefile +++ b/security/klee/Makefile @@ -1,6 +1,6 @@ PORTNAME= klee DISTVERSIONPREFIX= v -DISTVERSION= 2.2 +DISTVERSION= 2.3 CATEGORIES= security devel MAINTAINER= arrowd@FreeBSD.org diff --git a/security/klee/distinfo b/security/klee/distinfo index e90ab046cf09..90fd56b0e51c 100644 --- a/security/klee/distinfo +++ b/security/klee/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1607522464 -SHA256 (klee-klee-v2.2_GH0.tar.gz) = 1ff2e37ed3128e005b89920fad7bcf98c7792a11a589dd443186658f5eb91362 -SIZE (klee-klee-v2.2_GH0.tar.gz) = 1073138 +TIMESTAMP = 1649151525 +SHA256 (klee-klee-v2.3_GH0.tar.gz) = 6155fcaa4e86e7af8a73e8e4b63102abaea3a62d17e4021beeec47b0a3a6eff9 +SIZE (klee-klee-v2.3_GH0.tar.gz) = 1075895 |