AUR (en) - Packages

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

1 package found. Page 1 of 1.

Name	Version	Votes	Popularity^?	Description	Maintainer	Last Updated
ttt2-hg	1.20.1.r2116.7c846900def0-1	0	0.00	An automatic termination prover for term rewrite systems (TRSs) (mercurial version)	ruffy	2020-07-07 08:29 (UTC)

1 package found. Page 1 of 1.