dev-lang/

boogie

Dependencies Reverse-Dependencies

• 3.5.3

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

• 3.5.2

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

• 3.5.1

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