Debian Description Tracking --- package: eprover

a b c d e f g h i j k l m n o p q r s t u v w x y z

eprover

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)
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.

This Description was in forky from 2025-08-10 to 2026-09-01;
This Description was in trixie from 2023-06-12 to 2026-07-13;
This Description was in bookworm from 2022-07-21 to 2026-07-13;
This Description was in sid from 2022-07-12 to 2026-09-01;

This Description is not yet translated to ar

This Description is not yet translated to bg

This Description is not yet translated to ca

This Description is not yet translated to cs

This Description is translated to da

This Description is not yet translated to de

This Description is not yet translated to de_DE

This Description is not yet translated to el

This Description is not yet translated to eo

This Description is not yet translated to es

This Description is not yet translated to eu

This Description is not yet translated to fi

This Description is not yet translated to fr

This Description is not yet translated to gl

This Description is not yet translated to hr

This Description is not yet translated to hu

This Description is not yet translated to id

This Description is translated to it

This Description is not yet translated to ja

This Description is not yet translated to km

This Description is not yet translated to ko

This Description is not yet translated to ml

This Description is not yet translated to nb

This Description is not yet translated to nl

This Description is translated to pl

This Description is not yet translated to pt

This Description is not yet translated to pt_AO

This Description is not yet translated to pt_BR

This Description is not yet translated to ro

This Description is not yet translated to ru

This Description is not yet translated to sk

This Description is not yet translated to sr

This Description is not yet translated to sv

This Description is not yet translated to tr

This Description is not yet translated to uk

This Description is not yet translated to vi

This Description is not yet translated to zh

This Description is not yet translated to zh_CN

This Description is not yet translated to zh_TW

parts-md5sum:

a676c6493821be557170a4fac717e203 da it pl     
0da2ba913066f3413b47fc981ecd5084 da it pl

other Descriptions of the eprover package:

Description: 57519 patch
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;