diff options
| author |   Michael Mair-Keimberger <m.mairkeimberger@gmail.com> | 2019-04-29 12:47:19 +0200 |
|---|---|---|
| committer |   Aaron Bauman <bman@gentoo.org> | 2019-05-02 21:03:50 -0400 |
| commit | 9313279243fd73849c246068197b916292a87b45 (patch) | |
| tree | edee8e28962792b81f373d04194e5d6f6f6211d1 /sci-mathematics/prover9/Manifest | |
| parent | app-vim/vim-jsonnet: New package (diff) | |
| download | gentoo-9313279243fd73849c246068197b916292a87b45.tar.gz gentoo-9313279243fd73849c246068197b916292a87b45.tar.bz2 gentoo-9313279243fd73849c246068197b916292a87b45.zip | |
sci-mathematics/prover9: use HTTPS
Signed-off-by: Michael Mair-Keimberger <m.mairkeimberger@gmail.com>
Closes: https://github.com/gentoo/gentoo/pull/11860
Signed-off-by: Aaron Bauman <bman@gentoo.org>
Diffstat (limited to 'sci-mathematics/prover9/Manifest')
0 files changed, 0 insertions, 0 deletions