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
stainless-git	v0.9.8.1.r5.1890d8ca-1	1	0.00	Verification framework and tool for higher-order Scala programs	sankalpgambhir	2023-10-24 12:26 (UTC)

1 package found. Page 1 of 1.