dev-lang/

boogie

Dependencies Reverse-Dependencies

• 3.4.1

  Version	RDEPEND	DEPEND	BDEPEND	IDEPEND	PDEPEND
  dev-dotnet/csharp-gentoodotnetinfo
  dev-python/OutputCheck
  dev-python/lit
  dev-python/psutil
  sci-mathematics/z3
  virtual/dotnet-sdk

• 3.3.3

  Version	RDEPEND	DEPEND	BDEPEND	IDEPEND	PDEPEND
  dev-dotnet/csharp-gentoodotnetinfo
  dev-python/OutputCheck
  dev-python/lit
  dev-python/psutil
  sci-mathematics/z3
  virtual/dotnet-sdk

• 3.2.5

  Version	RDEPEND	DEPEND	BDEPEND	IDEPEND	PDEPEND
  dev-dotnet/csharp-gentoodotnetinfo
  dev-python/OutputCheck
  dev-python/lit
  dev-python/psutil
  sci-mathematics/z3
  virtual/dotnet-sdk