summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFabian Groffen <grobian@gentoo.org>2020-11-23 17:14:21 +0100
committerFabian Groffen <grobian@gentoo.org>2020-11-23 17:16:18 +0100
commit5041e4a996b6c5846608895b65ffb17c0bd2c87f (patch)
tree16bc66d1040d800ac876c0b239c531dff306c2fe /sci-mathematics/prover9
parentmedia-video/webcamoid: version bump to 8.7.1 (diff)
downloadgentoo-master.tar.gz
gentoo-master.tar.bz2
gentoo-master.zip
profiles/prefix/darwin/macos: mask also openssh-8.3_p1-r5HEADmaster
Signed-off-by: Fabian Groffen <grobian@gentoo.org>
Diffstat (limited to 'sci-mathematics/prover9')
0 files changed, 0 insertions, 0 deletions