>>> Printing information for: portage://dev-ada/AdaSAT-25.0.0


----------------------------------------------------------------------------------------------------------------------------------------------------------------
description : 
   Implementation of a DPLL-based SAT solver in Ada
homepage : 
   https://github.com/AdaCore/AdaSAT
maintainer : 
   ada@gentoo.org
license : 
   Apache-2.0
eapi : 
   8
slot : 
   0
subslot : 
   [not set]

----------------------------------------------------------------------------------------------------------------------------------------------------------------
iuse : 
   +shared
   static-libs
   static-pic
   test
   ada_target_gcc_12
   ada_target_gcc_13
   ada_target_gcc_14
   ada_target_gcc_15
   ada_target_gcc_16
required_use : 
   one 
      ada_target_gcc_12
      ada_target_gcc_13
      ada_target_gcc_14
      ada_target_gcc_15
      ada_target_gcc_16
   any 
      shared
      static-libs
      static-pic
   use test
      static-libs
keywords : 
   stable(amd64)
   unstable(arm64)
   stable(x86)
properties : 
   [not set]
eclasses : 
   toolchain-funcs
   flag-o-matic
   ada
   eapi9-pipestatus
   multiprocessing
   python-utils-r1
   python-any-r1
defined_phases : 
   compile
   install
   setup
   test
installed : 
   [not set]

----------------------------------------------------------------------------------------------------------------------------------------------------------------
src_uri : 
   AdaSAT-25.0.0.tar.gz

----------------------------------------------------------------------------------------------------------------------------------------------------------------
bdepend : 
   use test
      any 
         all 
            dev-lang/python:3.14
            dev-ada/e3-testsuite [ python_targets_python3_14(-) ]
         all 
            dev-lang/python:3.13
            dev-ada/e3-testsuite [ python_targets_python3_13(-) ]
         all 
            dev-lang/python:3.12
            dev-ada/e3-testsuite [ python_targets_python3_12(-) ]

depend : 
   dev-ada/gprbuild [ ada_target_gcc_12(-)? ada_target_gcc_13(-)? ada_target_gcc_14(-)? ada_target_gcc_15(-)? ada_target_gcc_16(-)? ]

idepend : 
   [not set]

rdepend : 
   [not set]

pdepend : 
   [not set]