portage-ng --info
>>> Printing information for: portage://dev-lang/boogie-3.5.7
----------------------------------------------------------------------------------------------------------------------------------------------------------------
description :
SMT-based program verifier
homepage :
https://github.com/boogie-org/boogie/
maintainer :
dotnet@gentoo.org
license :
MIT
eapi :
8
slot :
0
subslot :
[not set]
----------------------------------------------------------------------------------------------------------------------------------------------------------------
iuse :
test
debug
required_use :
[not set]
keywords :
stable(amd64)
properties :
[not set]
eclasses :
check-reqs
edob
edo
multiprocessing
nuget
dotnet-pkg-base
dotnet-pkg
defined_phases :
compile
configure
install
prepare
pretend
setup
test
unpack
installed :
[not set]
----------------------------------------------------------------------------------------------------------------------------------------------------------------
src_uri :
boogie-3.5.7.gh.tar.gz
microsoft.bcl.asyncinterfaces.6.0.0.nupkg
microsoft.codecoverage.16.2.0.nupkg
microsoft.csharp.4.0.1.nupkg
microsoft.dotnet.internalabstractions.1.0.0.nupkg
microsoft.net.test.sdk.16.2.0.nupkg
microsoft.netcore.platforms.1.0.1.nupkg
microsoft.netcore.platforms.1.1.0.nupkg
microsoft.netcore.targets.1.0.1.nupkg
microsoft.netcore.targets.1.1.0.nupkg
microsoft.testplatform.objectmodel.16.2.0.nupkg
microsoft.testplatform.testhost.16.2.0.nupkg
microsoft.win32.primitives.4.3.0.nupkg
microsoft.win32.registry.4.3.0.nupkg
microsoft.win32.systemevents.6.0.0.nupkg
netstandard.library.1.6.0.nupkg
netstandard.library.2.0.0.nupkg
newtonsoft.json.9.0.1.nupkg
nunit3testadapter.3.15.1.nupkg
nunit.3.12.0.nupkg
runtime.any.system.collections.4.3.0.nupkg
runtime.any.system.diagnostics.tools.4.3.0.nupkg
runtime.any.system.diagnostics.tracing.4.3.0.nupkg
runtime.any.system.globalization.4.3.0.nupkg
runtime.any.system.io.4.3.0.nupkg
runtime.any.system.reflection.extensions.4.3.0.nupkg
runtime.any.system.reflection.primitives.4.3.0.nupkg
runtime.any.system.reflection.4.3.0.nupkg
runtime.any.system.resources.resourcemanager.4.3.0.nupkg
runtime.any.system.runtime.handles.4.3.0.nupkg
runtime.any.system.runtime.interopservices.4.3.0.nupkg
runtime.any.system.runtime.4.3.0.nupkg
runtime.any.system.text.encoding.extensions.4.3.0.nupkg
runtime.any.system.text.encoding.4.3.0.nupkg
runtime.any.system.threading.tasks.4.3.0.nupkg
runtime.debian.8-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg
runtime.fedora.23-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg
runtime.fedora.24-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg
runtime.native.system.security.cryptography.openssl.4.3.0.nupkg
runtime.native.system.4.0.0.nupkg
runtime.native.system.4.3.0.nupkg
runtime.opensuse.13.2-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg
runtime.opensuse.42.1-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg
runtime.osx.10.10-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg
runtime.rhel.7-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg
runtime.ubuntu.14.04-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg
runtime.ubuntu.16.04-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg
runtime.ubuntu.16.10-x64.runtime.native.system.security.cryptography.openssl.4.3.0.nupkg
runtime.unix.microsoft.win32.primitives.4.3.0.nupkg
runtime.unix.system.diagnostics.debug.4.3.0.nupkg
runtime.unix.system.io.filesystem.4.3.0.nupkg
runtime.unix.system.private.uri.4.3.0.nupkg
runtime.unix.system.runtime.extensions.4.3.0.nupkg
system.appcontext.4.1.0.nupkg
system.buffers.4.3.0.nupkg
system.collections.concurrent.4.0.12.nupkg
system.collections.immutable.1.2.0.nupkg
system.collections.nongeneric.4.3.0.nupkg
system.collections.specialized.4.3.0.nupkg
system.collections.4.0.11.nupkg
system.collections.4.3.0.nupkg
system.componentmodel.eventbasedasync.4.0.11.nupkg
system.componentmodel.eventbasedasync.4.3.0.nupkg
system.componentmodel.primitives.4.3.0.nupkg
system.componentmodel.typeconverter.4.1.0.nupkg
system.componentmodel.typeconverter.4.3.0.nupkg
system.componentmodel.4.3.0.nupkg
system.configuration.configurationmanager.6.0.0.nupkg
system.diagnostics.debug.4.0.11.nupkg
system.diagnostics.debug.4.3.0.nupkg
system.diagnostics.process.4.1.0.nupkg
system.diagnostics.process.4.3.0.nupkg
system.diagnostics.textwritertracelistener.4.0.0.nupkg
system.diagnostics.tools.4.0.1.nupkg
system.diagnostics.tracesource.4.0.0.nupkg
system.diagnostics.tracing.4.1.0.nupkg
system.diagnostics.tracing.4.3.0.nupkg
system.drawing.common.6.0.0.nupkg
system.dynamic.runtime.4.0.11.nupkg
system.globalization.extensions.4.3.0.nupkg
system.globalization.4.0.11.nupkg
system.globalization.4.3.0.nupkg
system.io.filesystem.primitives.4.0.1.nupkg
system.io.filesystem.primitives.4.3.0.nupkg
system.io.filesystem.4.0.1.nupkg
system.io.filesystem.4.3.0.nupkg
system.io.4.1.0.nupkg
system.io.4.3.0.nupkg
system.linq.async.6.0.1.nupkg
system.linq.expressions.4.1.0.nupkg
system.linq.4.1.0.nupkg
system.linq.4.3.0.nupkg
system.objectmodel.4.0.12.nupkg
system.private.datacontractserialization.4.1.1.nupkg
system.private.uri.4.3.0.nupkg
system.reactive.4.4.1.nupkg
system.reflection.emit.ilgeneration.4.0.1.nupkg
system.reflection.emit.lightweight.4.0.1.nupkg
system.reflection.emit.4.0.1.nupkg
system.reflection.extensions.4.0.1.nupkg
system.reflection.extensions.4.3.0.nupkg
system.reflection.metadata.1.3.0.nupkg
system.reflection.primitives.4.0.1.nupkg
system.reflection.primitives.4.3.0.nupkg
system.reflection.typeextensions.4.1.0.nupkg
system.reflection.typeextensions.4.3.0.nupkg
system.reflection.4.1.0.nupkg
system.reflection.4.3.0.nupkg
system.resources.resourcemanager.4.0.1.nupkg
system.resources.resourcemanager.4.3.0.nupkg
system.runtime.caching.6.0.0.nupkg
system.runtime.extensions.4.1.0.nupkg
system.runtime.extensions.4.3.0.nupkg
system.runtime.handles.4.0.1.nupkg
system.runtime.handles.4.3.0.nupkg
system.runtime.interopservices.runtimeinformation.4.0.0.nupkg
system.runtime.interopservices.runtimeinformation.4.3.0.nupkg
system.runtime.interopservices.4.1.0.nupkg
system.runtime.interopservices.4.3.0.nupkg
system.runtime.loader.4.0.0.nupkg
system.runtime.serialization.json.4.0.2.nupkg
system.runtime.serialization.primitives.4.1.1.nupkg
system.runtime.4.1.0.nupkg
system.runtime.4.3.0.nupkg
system.security.accesscontrol.6.0.0.nupkg
system.security.cryptography.protecteddata.6.0.0.nupkg
system.security.permissions.6.0.0.nupkg
system.text.encoding.extensions.4.0.11.nupkg
system.text.encoding.extensions.4.3.0.nupkg
system.text.encoding.4.0.11.nupkg
system.text.encoding.4.3.0.nupkg
system.text.regularexpressions.4.1.0.nupkg
system.text.regularexpressions.4.3.0.nupkg
system.threading.tasks.extensions.4.3.0.nupkg
system.threading.tasks.4.0.11.nupkg
system.threading.tasks.4.3.0.nupkg
system.threading.thread.4.0.0.nupkg
system.threading.thread.4.3.0.nupkg
system.threading.threadpool.4.3.0.nupkg
system.threading.4.0.11.nupkg
system.threading.4.3.0.nupkg
system.windows.extensions.6.0.0.nupkg
system.xml.readerwriter.4.0.11.nupkg
system.xml.readerwriter.4.3.0.nupkg
system.xml.xdocument.4.0.11.nupkg
system.xml.xmldocument.4.0.1.nupkg
system.xml.xmldocument.4.3.0.nupkg
system.xml.xmlserializer.4.0.11.nupkg
system.xml.xpath.xmldocument.4.0.1.nupkg
system.xml.xpath.xmldocument.4.3.0.nupkg
system.xml.xpath.4.3.0.nupkg
----------------------------------------------------------------------------------------------------------------------------------------------------------------
bdepend :
sci-mathematics/z3
use test
dev-python/outputcheck
dev-python/lit
dev-python/psutil
virtual/dotnet-sdk:10.0
dev-dotnet/csharp-gentoodotnetinfo
depend :
[not set]
idepend :
[not set]
rdepend :
sci-mathematics/z3
virtual/dotnet-sdk:10.0
pdepend :
[not set]