portage-ng --info
>>> Printing information for: portage://dev-lang/dafny-4.11.0
----------------------------------------------------------------------------------------------------------------------------------------------------------------
description :
Dafny is a verification-aware programming language
homepage :
https://dafny.org/ https://github.com/dafny-lang/dafny/
maintainer :
dotnet@gentoo.org
license :
Apache-2.0
BSD-2
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
java-utils-2
java-pkg-2
eapi9-pipestatus
toolchain-funcs
python-utils-r1
python-any-r1
optfeature
defined_phases :
compile
configure
install
postinst
preinst
prepare
pretend
setup
test
unpack
installed :
[not set]
----------------------------------------------------------------------------------------------------------------------------------------------------------------
src_uri :
dafny-4.11.0.gh.tar.gz
boogie.abstractinterpretation.3.5.5.nupkg
boogie.basetypes.3.5.5.nupkg
boogie.codecontractsextender.3.5.5.nupkg
boogie.concurrency.3.5.5.nupkg
boogie.core.3.5.5.nupkg
boogie.executionengine.3.5.5.nupkg
boogie.graph.3.5.5.nupkg
boogie.houdini.3.5.5.nupkg
boogie.model.3.5.5.nupkg
boogie.provers.leanauto.3.5.5.nupkg
boogie.provers.smtlib.3.5.5.nupkg
boogie.vcexpr.3.5.5.nupkg
boogie.vcgeneration.3.5.5.nupkg
castle.core.4.4.0.nupkg
commandlineparser.2.8.0.nupkg
commandlineparser.2.9.1.nupkg
coverlet.collector.3.2.0.nupkg
diffplex.1.7.0.nupkg
humanizer.core.2.14.1.nupkg
humanizer.core.2.2.0.nupkg
jetbrains.annotations.2021.1.0.nupkg
mediatr.8.1.0.nupkg
microsoft.bcl.asyncinterfaces.1.1.1.nupkg
microsoft.bcl.asyncinterfaces.5.0.0.nupkg
microsoft.bcl.asyncinterfaces.6.0.0.nupkg
microsoft.bcl.asyncinterfaces.8.0.0.nupkg
microsoft.bcl.cryptography.9.0.0.nupkg
microsoft.build.framework.17.14.7.nupkg
microsoft.build.locator.1.4.1.nupkg
microsoft.build.tasks.core.17.14.7.nupkg
microsoft.build.utilities.core.17.14.7.nupkg
microsoft.build.17.0.0.nupkg
microsoft.codeanalysis.analyzers.3.0.0.nupkg
microsoft.codeanalysis.analyzers.3.3.2.nupkg
microsoft.codeanalysis.analyzers.3.3.4.nupkg
microsoft.codeanalysis.common.3.7.0.nupkg
microsoft.codeanalysis.common.4.0.1.nupkg
microsoft.codeanalysis.common.4.12.0.nupkg
microsoft.codeanalysis.csharp.workspaces.4.0.1.nupkg
microsoft.codeanalysis.csharp.workspaces.4.12.0.nupkg
microsoft.codeanalysis.csharp.3.7.0.nupkg
microsoft.codeanalysis.csharp.4.0.1.nupkg
microsoft.codeanalysis.csharp.4.12.0.nupkg
microsoft.codeanalysis.visualbasic.workspaces.4.0.1.nupkg
microsoft.codeanalysis.visualbasic.workspaces.4.12.0.nupkg
microsoft.codeanalysis.visualbasic.4.0.1.nupkg
microsoft.codeanalysis.visualbasic.4.12.0.nupkg
microsoft.codeanalysis.workspaces.common.4.0.1.nupkg
microsoft.codeanalysis.workspaces.common.4.12.0.nupkg
microsoft.codeanalysis.workspaces.msbuild.4.0.1.nupkg
microsoft.codeanalysis.4.0.1.nupkg
microsoft.codeanalysis.4.12.0.nupkg
microsoft.codecoverage.16.11.0.nupkg
microsoft.codecoverage.16.9.4.nupkg
microsoft.codecoverage.17.1.0.nupkg
microsoft.csharp.4.0.1.nupkg
microsoft.dotnet.platformabstractions.2.0.4.nupkg
microsoft.extensions.configuration.abstractions.2.0.0.nupkg
microsoft.extensions.configuration.abstractions.5.0.0.nupkg
microsoft.extensions.configuration.binder.2.0.0.nupkg
microsoft.extensions.configuration.binder.5.0.0.nupkg
microsoft.extensions.configuration.commandline.5.0.0.nupkg
microsoft.extensions.configuration.fileextensions.5.0.0.nupkg
microsoft.extensions.configuration.json.5.0.0.nupkg
microsoft.extensions.configuration.2.0.0.nupkg
microsoft.extensions.configuration.5.0.0.nupkg
microsoft.extensions.dependencyinjection.abstractions.2.0.0.nupkg
microsoft.extensions.dependencyinjection.abstractions.5.0.0.nupkg
microsoft.extensions.dependencyinjection.2.0.0.nupkg
microsoft.extensions.dependencyinjection.5.0.0.nupkg
microsoft.extensions.dependencymodel.2.0.4.nupkg
microsoft.extensions.fileproviders.abstractions.5.0.0.nupkg
microsoft.extensions.fileproviders.physical.5.0.0.nupkg
microsoft.extensions.filesystemglobbing.5.0.0.nupkg
microsoft.extensions.logging.abstractions.2.0.0.nupkg
microsoft.extensions.logging.abstractions.5.0.0.nupkg
microsoft.extensions.logging.configuration.5.0.0.nupkg
microsoft.extensions.logging.console.5.0.0.nupkg
microsoft.extensions.logging.2.0.0.nupkg
microsoft.extensions.logging.5.0.0.nupkg
microsoft.extensions.options.configurationextensions.2.0.0.nupkg
microsoft.extensions.options.configurationextensions.5.0.0.nupkg
microsoft.extensions.options.2.0.0.nupkg
microsoft.extensions.options.5.0.0.nupkg
microsoft.extensions.primitives.2.0.0.nupkg
microsoft.extensions.primitives.5.0.0.nupkg
microsoft.net.stringtools.1.0.0.nupkg
microsoft.net.stringtools.17.14.7.nupkg
microsoft.net.test.sdk.16.11.0.nupkg
microsoft.net.test.sdk.16.9.4.nupkg
microsoft.net.test.sdk.17.1.0.nupkg
microsoft.netcore.platforms.1.0.1.nupkg
microsoft.netcore.platforms.1.1.0.nupkg
microsoft.netcore.platforms.2.1.2.nupkg
microsoft.netcore.platforms.3.0.0.nupkg
microsoft.netcore.platforms.3.1.0.nupkg
microsoft.netcore.platforms.5.0.0.nupkg
microsoft.netcore.targets.1.0.1.nupkg
microsoft.netcore.targets.1.1.0.nupkg
microsoft.netframework.referenceassemblies.net452.1.0.3.nupkg
microsoft.netframework.referenceassemblies.1.0.3.nupkg
microsoft.testplatform.extensions.trxlogger.17.9.0.nupkg
microsoft.testplatform.objectmodel.16.11.0.nupkg
microsoft.testplatform.objectmodel.16.9.4.nupkg
microsoft.testplatform.objectmodel.17.1.0.nupkg
microsoft.testplatform.objectmodel.17.9.0.nupkg
microsoft.testplatform.testhost.16.11.0.nupkg
microsoft.testplatform.testhost.16.9.4.nupkg
microsoft.testplatform.testhost.17.1.0.nupkg
microsoft.testplatform.testhost.17.9.0.nupkg
microsoft.visualstudio.threading.analyzers.16.7.56.nupkg
microsoft.visualstudio.threading.16.7.56.nupkg
microsoft.visualstudio.validation.15.5.31.nupkg
microsoft.win32.primitives.4.3.0.nupkg
microsoft.win32.registry.4.3.0.nupkg
microsoft.win32.registry.4.6.0.nupkg
microsoft.win32.registry.5.0.0.nupkg
microsoft.win32.systemevents.4.7.0.nupkg
microsoft.win32.systemevents.6.0.0.nupkg
moq.4.16.1.nupkg
namotion.reflection.3.2.0.nupkg
nerdbank.streams.2.6.81.nupkg
netstandard.library.1.6.1.nupkg
netstandard.library.2.0.3.nupkg
newtonsoft.json.11.0.2.nupkg
newtonsoft.json.13.0.3.nupkg
newtonsoft.json.9.0.1.nupkg
njsonschema.annotations.11.1.0.nupkg
njsonschema.11.1.0.nupkg
nuget.frameworks.5.0.0.nupkg
nuget.frameworks.5.11.0.nupkg
omnisharp.extensions.jsonrpc.generators.0.19.5.nupkg
omnisharp.extensions.jsonrpc.testing.0.19.5.nupkg
omnisharp.extensions.jsonrpc.0.19.5.nupkg
omnisharp.extensions.languageclient.0.19.5.nupkg
omnisharp.extensions.languageprotocol.testing.0.19.5.nupkg
omnisharp.extensions.languageprotocol.0.19.5.nupkg
omnisharp.extensions.languageserver.shared.0.19.5.nupkg
omnisharp.extensions.languageserver.0.19.5.nupkg
rangetree.3.0.1.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.calendars.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.any.system.threading.timer.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.io.compression.4.3.0.nupkg
runtime.native.system.net.http.4.3.0.nupkg
runtime.native.system.security.cryptography.apple.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.apple.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.console.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.net.primitives.4.3.0.nupkg
runtime.unix.system.net.sockets.4.3.0.nupkg
runtime.unix.system.private.uri.4.3.0.nupkg
runtime.unix.system.runtime.extensions.4.3.0.nupkg
serilog.extensions.logging.3.0.1.nupkg
serilog.settings.configuration.3.1.0.nupkg
serilog.sinks.debug.2.0.0.nupkg
serilog.sinks.file.5.0.0.nupkg
serilog.sinks.inmemory.0.11.0.nupkg
serilog.2.12.0.nupkg
system.appcontext.4.1.0.nupkg
system.appcontext.4.3.0.nupkg
system.buffers.4.3.0.nupkg
system.buffers.4.4.0.nupkg
system.buffers.4.5.1.nupkg
system.codedom.9.0.0.nupkg
system.collections.concurrent.4.3.0.nupkg
system.collections.immutable.1.5.0.nupkg
system.collections.immutable.1.7.0.nupkg
system.collections.immutable.1.7.1.nupkg
system.collections.immutable.5.0.0.nupkg
system.collections.immutable.8.0.0.nupkg
system.collections.immutable.9.0.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.commandline.2.0.0-beta4.22272.1.nupkg
system.componentmodel.primitives.4.3.0.nupkg
system.componentmodel.typeconverter.4.3.0.nupkg
system.componentmodel.4.3.0.nupkg
system.composition.attributedmodel.1.0.31.nupkg
system.composition.attributedmodel.8.0.0.nupkg
system.composition.convention.1.0.31.nupkg
system.composition.convention.8.0.0.nupkg
system.composition.hosting.1.0.31.nupkg
system.composition.hosting.8.0.0.nupkg
system.composition.runtime.1.0.31.nupkg
system.composition.runtime.8.0.0.nupkg
system.composition.typedparts.1.0.31.nupkg
system.composition.typedparts.8.0.0.nupkg
system.composition.1.0.31.nupkg
system.composition.8.0.0.nupkg
system.configuration.configurationmanager.4.7.0.nupkg
system.configuration.configurationmanager.6.0.0.nupkg
system.configuration.configurationmanager.9.0.0.nupkg
system.console.4.3.0.nupkg
system.diagnostics.debug.4.0.11.nupkg
system.diagnostics.debug.4.3.0.nupkg
system.diagnostics.diagnosticsource.4.3.0.nupkg
system.diagnostics.diagnosticsource.9.0.0.nupkg
system.diagnostics.eventlog.9.0.0.nupkg
system.diagnostics.tools.4.0.1.nupkg
system.diagnostics.tools.4.3.0.nupkg
system.diagnostics.tracesource.4.3.0.nupkg
system.diagnostics.tracing.4.3.0.nupkg
system.drawing.common.4.7.0.nupkg
system.drawing.common.6.0.0.nupkg
system.dynamic.runtime.4.0.11.nupkg
system.dynamic.runtime.4.3.0.nupkg
system.formats.asn1.9.0.0.nupkg
system.formats.nrbf.9.0.0.nupkg
system.globalization.calendars.4.3.0.nupkg
system.globalization.extensions.4.3.0.nupkg
system.globalization.4.0.11.nupkg
system.globalization.4.3.0.nupkg
system.io.compression.zipfile.4.3.0.nupkg
system.io.compression.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.pipelines.4.7.3.nupkg
system.io.pipelines.5.0.1.nupkg
system.io.pipelines.8.0.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.expressions.4.3.0.nupkg
system.linq.4.1.0.nupkg
system.linq.4.3.0.nupkg
system.memory.4.5.3.nupkg
system.memory.4.5.4.nupkg
system.memory.4.5.5.nupkg
system.memory.4.6.0.nupkg
system.net.http.4.3.0.nupkg
system.net.nameresolution.4.3.0.nupkg
system.net.primitives.4.3.0.nupkg
system.net.sockets.4.3.0.nupkg
system.net.websockets.4.3.0.nupkg
system.numerics.vectors.4.4.0.nupkg
system.numerics.vectors.4.5.0.nupkg
system.objectmodel.4.0.12.nupkg
system.objectmodel.4.3.0.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.ilgeneration.4.3.0.nupkg
system.reflection.emit.lightweight.4.0.1.nupkg
system.reflection.emit.lightweight.4.3.0.nupkg
system.reflection.emit.4.0.1.nupkg
system.reflection.emit.4.3.0.nupkg
system.reflection.extensions.4.0.1.nupkg
system.reflection.extensions.4.3.0.nupkg
system.reflection.metadata.1.6.0.nupkg
system.reflection.metadata.5.0.0.nupkg
system.reflection.metadata.8.0.0.nupkg
system.reflection.metadata.9.0.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.extensions.9.0.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.compilerservices.unsafe.4.4.0.nupkg
system.runtime.compilerservices.unsafe.4.5.2.nupkg
system.runtime.compilerservices.unsafe.4.7.0.nupkg
system.runtime.compilerservices.unsafe.4.7.1.nupkg
system.runtime.compilerservices.unsafe.5.0.0.nupkg
system.runtime.compilerservices.unsafe.6.0.0.nupkg
system.runtime.compilerservices.unsafe.6.1.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.numerics.4.3.0.nupkg
system.runtime.serialization.primitives.4.1.1.nupkg
system.runtime.4.1.0.nupkg
system.runtime.4.3.0.nupkg
system.security.accesscontrol.4.6.0.nupkg
system.security.accesscontrol.4.7.0.nupkg
system.security.accesscontrol.5.0.0.nupkg
system.security.accesscontrol.6.0.0.nupkg
system.security.claims.4.3.0.nupkg
system.security.cryptography.algorithms.4.3.0.nupkg
system.security.cryptography.cng.4.3.0.nupkg
system.security.cryptography.csp.4.3.0.nupkg
system.security.cryptography.encoding.4.3.0.nupkg
system.security.cryptography.openssl.4.3.0.nupkg
system.security.cryptography.pkcs.9.0.0.nupkg
system.security.cryptography.primitives.4.3.0.nupkg
system.security.cryptography.protecteddata.4.7.0.nupkg
system.security.cryptography.protecteddata.6.0.0.nupkg
system.security.cryptography.protecteddata.9.0.0.nupkg
system.security.cryptography.x509certificates.4.3.0.nupkg
system.security.cryptography.xml.9.0.0.nupkg
system.security.permissions.4.7.0.nupkg
system.security.permissions.6.0.0.nupkg
system.security.principal.windows.4.3.0.nupkg
system.security.principal.windows.4.6.0.nupkg
system.security.principal.windows.4.7.0.nupkg
system.security.principal.windows.5.0.0.nupkg
system.security.principal.4.3.0.nupkg
system.text.encoding.codepages.4.0.1.nupkg
system.text.encoding.codepages.4.5.1.nupkg
system.text.encoding.codepages.7.0.0.nupkg
system.text.encoding.codepages.9.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.json.4.7.0.nupkg
system.text.json.5.0.2.nupkg
system.text.regularexpressions.4.1.0.nupkg
system.text.regularexpressions.4.3.0.nupkg
system.threading.channels.4.7.1.nupkg
system.threading.channels.7.0.0.nupkg
system.threading.tasks.dataflow.4.9.0.nupkg
system.threading.tasks.dataflow.9.0.0.nupkg
system.threading.tasks.extensions.4.0.0.nupkg
system.threading.tasks.extensions.4.3.0.nupkg
system.threading.tasks.extensions.4.5.3.nupkg
system.threading.tasks.extensions.4.5.4.nupkg
system.threading.tasks.4.0.11.nupkg
system.threading.tasks.4.3.0.nupkg
system.threading.threadpool.4.3.0.nupkg
system.threading.timer.4.3.0.nupkg
system.threading.4.0.11.nupkg
system.threading.4.3.0.nupkg
system.windows.extensions.4.7.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.xdocument.4.3.0.nupkg
system.xml.xmldocument.4.3.0.nupkg
tomlyn.0.17.0.nupkg
validation.2.4.18.nupkg
xunit.abstractions.2.0.2.nupkg
xunit.abstractions.2.0.3.nupkg
xunit.analyzers.0.10.0.nupkg
xunit.analyzers.1.0.0.nupkg
xunit.assert.2.4.1.nupkg
xunit.assert.2.4.2.nupkg
xunit.assertmessages.2.4.0.nupkg
xunit.core.2.4.1.nupkg
xunit.core.2.4.2.nupkg
xunit.extensibility.core.2.4.0.nupkg
xunit.extensibility.core.2.4.1.nupkg
xunit.extensibility.core.2.4.2.nupkg
xunit.extensibility.execution.2.4.0.nupkg
xunit.extensibility.execution.2.4.1.nupkg
xunit.extensibility.execution.2.4.2.nupkg
xunit.runner.visualstudio.2.4.3.nupkg
xunit.runner.visualstudio.2.5.1.nupkg
xunit.skippablefact.1.4.8.nupkg
xunit.2.4.1.nupkg
xunit.2.4.2.nupkg
use test
bignumber.js-9.1.2.tgz
----------------------------------------------------------------------------------------------------------------------------------------------------------------
bdepend :
[weak block] dev-lang/dafny-bin
>=virtual/jre-1.8:*
sci-mathematics/z3
dev-dotnet/coco
use test
any
dev-lang/python:3.14
dev-lang/python:3.13
dev-lang/python:3.12
>=dev-lang/boogie-3.4.3
dev-go/go-tools
dev-lang/go
dev-python/outputcheck
dev-python/lit
dev-python/psutil
net-libs/nodejs [ npm ]
virtual/dotnet-sdk:8.0
dev-dotnet/csharp-gentoodotnetinfo
depend :
>=virtual/jdk-1.8:*
>=dev-java/java-config-2.2.0-r3
idepend :
[not set]
rdepend :
[weak block] dev-lang/dafny-bin
>=virtual/jre-1.8:*
sci-mathematics/z3
virtual/dotnet-sdk:8.0
>=dev-java/java-config-2.2.0-r3
pdepend :
[not set]