sci-mathematics/vampire-5.0.1 — Execution Plan

portage-ng / portage / sci-mathematics / vampire / 5.0.1

portage-ng gantt

USE ▶ -test +z3

Package

Step 1

Step 2

Step 3

Step 4

Step 5

▶sci-mathematics/z3-5.3.1

download

install

run

USE

-doc -examples +gmp -isabelle -java +python

z3-5.3.1.tar.gz

7.5 MB

fetch

▶sci-mathematics/vampire-5.0.1

download

install

run

USE

-test +z3

vampire-5.0.1.tar.gz

2.5 MB

fetch

download

install / :update / :reinstall / :downgrade

run

unmask

keyword

useflag

BDEPEND

DEPEND

RDEPEND

RDEPEND (ignored)

PDEPEND

IDEPEND

same pkg