Metapackages

Metapackage By 6yearold@gmail.com Spread Newest Outdated Ignored
cryptominisat 5.0.1 7 5.6.32 5.6.1 5.0.14 4.5.32 2.9.113 2.9.8
python:cryptominisat 5.0.0 1 5.6.1
stp 1436 8 20150306 2.3.12 2.2 2.2.02 2.1.22 0.1392
z3 4.6.0 16 4.7.17 4.6.04 4.5.08 4.4.13 4.4.0 4.3.2 4.5.0.r1325.g05c4ea82 4.7.1.20180617

Legend: