>>> Printing information for: portage://sci-mathematics/acl2-8.5_p20240307-r1


----------------------------------------------------------------------------------------------------------------------------------------------------------------
description : 
   Industrial strength theorem prover, logic and programming language
homepage : 
   https://www.cs.utexas.edu/users/moore/acl2/ https://github.com/acl2/acl2/
maintainer : 
   sci-mathematics@gentoo.org
license : 
   BSD
eapi : 
   8
slot : 
   0
subslot : 
   [not set]

----------------------------------------------------------------------------------------------------------------------------------------------------------------
iuse : 
   doc
   emacs
required_use : 
   use emacs
      doc
keywords : 
   unstable(amd64)
   unstable(x86)
properties : 
   [not set]
eclasses : 
   elisp-common
defined_phases : 
   compile
   install
   postinst
   postrm
   prepare
installed : 
   [not set]

----------------------------------------------------------------------------------------------------------------------------------------------------------------
src_uri : 
   acl2-8.5_p20240307.tar.gz

----------------------------------------------------------------------------------------------------------------------------------------------------------------
bdepend : 
   dev-lisp/sbcl:=
   use emacs
      >=app-editors/emacs-25:*
   use doc
      dev-lang/perl

depend : 
   [not set]

idepend : 
   [not set]

rdepend : 
   dev-lisp/sbcl:=
   use emacs
      >=app-editors/emacs-25:*

pdepend : 
   [not set]