Arch Linux User Repository
Home
Packages
Forums
Wiki
Bugs
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
12 packages found. Page 1 of 1.
Name
Version
Votes
Popularity
?
Description
Maintainer
citip-git
2015_05_09..6d5860d-1
1
0.00
Information Theoretic Inequality Prover (CLI)
core-problem
fourier-motzkin
0.5.0-1
0
0.00
The FM library allows to project systems of linear inequalities.
core-problem
git-punchcard
2.0.3-1
1
0.00
Show punchcard graphs with git commit activity.
core-problem
madx-dev
5.06.01-1
2
0.00
Accelerator Optics simulation code, shared object, development files
core-problem
pidgin-espeak-git
2015_05_25..844ec79-1
6
0.00
espeak plugin for the pidgin IM
core-problem
pyval
0.0.5-1
1
0.00
Show value of python expressions, automatically imports objects
core-problem
scsi_debug
4.9.9-2
2
0.00
Kernel module for emulating SCSI devices
core-problem
setcapslock
0.0.4-1
2
0.00
Small utility to set the caps lock state in an X session.
core-problem
sketch
0.3.7-1
4
0.00
Small, simple system for producing line drawings of two- or three-dimensional solid objects and scenes
core-problem
steam-acolyte
0.7.6-1
4
0.06
Lightweight user account switcher/login keeper for steam
core-problem
tty-proxy
0.0.2-2
0
0.00
Proxy for tty-share
core-problem
tty-share
2.2.0-1
2
0.23
Shares terminal session with no setup on remote end (browser)
core-problem
12 packages found. Page 1 of 1.