# Source: eprover
# Package: eprover
# Versions: eprover (2.6+ds-2), eprover (2.6+ds-3), eprover (3.0.03+ds-1), eprover (3.1.0+ds-1), eprover (3.1.0+ds-2), eprover (3.2.0+ds-1), eprover (3.2.5+ds-1), eprover (3.5.1+ds-1), eprover (3.5.1+ds-1+b1)
# This Description is active
# This Description is owned
# Prioritize: 47
Description: Equational theorem prover
 This package provides tools to prove equational theorems:
 from a mathematical specification in many-sorted first-order
 logic with equality and an hypothesis/conjecture, it
 will look for a proof.
Description-de: <trans>
 <trans>

# other Descriptions of the eprover package with a translation in de:
# 
# Description-id: 57519 https://ddtp.debian.org/ddt.cgi?desc_id=57519
# patch https://ddtp.debian.org/ddt.cgi?diff1=57519&diff2=292308&language=de
# This Description was in sid from 2009-03-30 to 2011-12-15;
# This Description was in lenny from 2009-10-02 to 2009-10-06;
#