Arch Linux User Repository
Home
Packages
Forums
Wiki
GitLab
Security
AUR
Download
العربية
Asturianu
Català
Český
Dansk
Deutsch
Ελληνικά
English
Español
Español (Latinoamérica)
Suomi
Français
עברית
Hrvatski
Magyar
Italiano
日本語
Norsk
Nederlands
Polski
Português (Brasil)
Português (Portugal)
Română
Русский
Slovenčina
Srpski
Türkçe
Українська
简体中文
正體中文
AUR Home
Packages
Register
Login
Search Criteria
Enter search criteria
Search by
Name, Description
Name Only
Package Base
Exact Name
Exact Package Base
Keywords
Maintainer
Co-maintainer
Maintainer, Co-maintainer
Submitter
Keywords
Out of Date
All
Flagged
Not Flagged
Sort by
Name
Votes
Popularity
Voted
Notify
Maintainer
Last modified
Sort order
Ascending
Descending
Per page
50
100
250
Go
Orphans
10 packages found. Page 1 of 1.
Name
Version
Votes
Popularity
?
Description
Maintainer
Last Updated
erigon-bin
2.58.2-1
1
0.00
Ethereum implementation on the efficiency frontier. Binary distribution
xrchz
2024-03-11 13:02 (UTC)
teku
24.3.0-1
1
0.00
ConsenSys Ethereum Beacon Chain Client
xrchz
2024-03-11 16:59 (UTC)
xcursor-ghost
20040711-2
6
0.00
Subtle grey cursors with soft edges
xrchz
2017-06-28 03:46 (UTC)
vim-inkpot-git
r9.b86ad4d-1
3
0.00
Inkpot, a dark scheme for GUI and 88/256 colour terms
xrchz
2015-11-21 12:06 (UTC)
squolem
2.02-1
1
0.00
Skolemization-based Quantified Boolean Formula (QBF) solver that generates certificates
xrchz
2015-06-15 06:41 (UTC)
polyml-fixes-git
5.9r4498.39d96a2d-1
5
0.00
Poly/ML implementation of Standard ML (latest release + fixes)
xrchz
2021-12-27 07:55 (UTC)
pacnews-git
1.0.r341.87fee7a-1
17
0.00
Find .pacnew files and merge them with vimdiff
xrchz
2018-03-24 05:40 (UTC)
opentheory
1:1.4.20180810-1
1
0.00
a tool for processing higher-order logic theory packages
xrchz
2018-09-27 12:13 (UTC)
lighthouse-ethereum-bin
5.1.0-1
4
0.00
Ethereum 2.0 client
xrchz
2024-03-11 17:06 (UTC)
besu
24.3.0-1
1
0.00
Hyperledger Ethereum Mainnet and Permissioned Network Client
xrchz
2024-03-09 06:59 (UTC)
10 packages found. Page 1 of 1.