projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 595f2ed) | patch
sci-mathematics/prover9: use HTTPS
authorMichael Mair-Keimberger <m.mairkeimberger@gmail.com>
Mon, 29 Apr 2019 10:47:19 +0000 (12:47 +0200)
committerAaron Bauman <bman@gentoo.org>
Fri, 3 May 2019 01:03:50 +0000 (21:03 -0400)
commit9313279243fd73849c246068197b916292a87b45
treeedee8e28962792b81f373d04194e5d6f6f6211d1tree | snapshot
parent595f2ed23557752144263ebee8d1f05ce0c72deacommit | diff
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>
sci-mathematics/prover9/prover9-2009.11a.ebuild diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.