diff options
| author | J0WI <J0WI@users.noreply.github.com> | 2023-05-04 15:40:21 +0200 |
|---|---|---|
| committer | alice <alice@ayaya.dev> | 2023-05-05 02:07:49 +0000 |
| commit | e87405a42b6ea3f42c8c643f22153a5fddd0751c (patch) | |
| tree | ec370117664a9f63e292aa4ccf6ec36c699a2d1c | |
| parent | 23412725e50620a37c9b701919d207c219eebf93 (diff) | |
testing/vera++: update url to https
| -rw-r--r-- | testing/vera++/APKBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testing/vera++/APKBUILD b/testing/vera++/APKBUILD index 6f6ae02a609..b5625f712c8 100644 --- a/testing/vera++/APKBUILD +++ b/testing/vera++/APKBUILD @@ -2,9 +2,9 @@ # Maintainer: Marian Buschsieweke <marian.buschsieweke@ovgu.de> pkgname=vera++ pkgver=1.3.0 -pkgrel=7 +pkgrel=8 pkgdesc="tool for verification, analysis and transformation of C++ source code" -url="http://bitbucket.org/verateam/vera" +url="https://bitbucket.org/verateam/vera" arch="all" license="BSL-1.0" makedepends="cmake ninja tcl-dev tk-dev python3-dev boost-dev lua-dev" |