diff options
author | Michael Mair-Keimberger <mmk@levelnine.at> | 2022-07-26 21:38:11 +0200 |
---|---|---|
committer | Alfredo Tupone <tupone@gentoo.org> | 2022-07-26 21:54:10 +0200 |
commit | 5c16384ca80bcca7f7bf0b7d5926e8ef5d3867d9 (patch) | |
tree | 63ebdb21c2e416fc3f4ad6adf2171a721dd81a64 /app-backup/vzdump | |
parent | opam.eclass: add EAPI 8 (diff) | |
download | gentoo-5c16384ca80bcca7f7bf0b7d5926e8ef5d3867d9.tar.gz gentoo-5c16384ca80bcca7f7bf0b7d5926e8ef5d3867d9.tar.bz2 gentoo-5c16384ca80bcca7f7bf0b7d5926e8ef5d3867d9.zip |
sci-mathematics/why3: use https
Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at>
Portage 3.0.34 / pkgdev 0.2.1 / pkgcheck 0.10.11
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'app-backup/vzdump')
0 files changed, 0 insertions, 0 deletions