19 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
libglade 2.6.4-8 56 2.91 Allows you to load glade interface files in a program at runtime xuanruiqi
checkupdates-with-aur 1.0-1 1 1.00 Helper script to check updates, including AUR updates xuanruiqi
ttf-wps-fonts 1.0-5 100 0.53 Symbol fonts required by wps-office. xuanruiqi
elan-lean 1.4.2-1 2 0.49 A Lean version manager xuanruiqi
fcitx5-skin-material 0.5-2 4 0.36 A Material Design-like skin for Fcitx5, from fcitx-skin-material. xuanruiqi
azcopy 10.16.2-1 7 0.29 A command-line utility designed for copying data to/from Microsoft Azure xuanruiqi
noto-fonts-sc 2:20210430-2 8 0.17 Noto CJK-SC fonts for Simplified Chinese xuanruiqi
noto-fonts-tc 2:20201206-1 4 0.01 Noto CJK-TC fonts for Traditional Chinese xuanruiqi
smlsharp 4.0.0-1 7 0.01 A new programming language in the Standard ML family xuanruiqi
rebuild-initramfs-dracut-hook 1.7.4-1 5 0.00 Install/remove hooks for dracut, based on rebuild-initramfs xuanruiqi
rebuild-initramfs-dracut 1.7.4-1 5 0.00 A helper script to rebuild initramfs images using dracut xuanruiqi
zfs-auto-snapshot-git 1.2.4.r31.92db087-2 11 0.00 Implementation of a snapshotting service for ZFS xuanruiqi
liquidprompt 2.1.2-1 40 0.00 A useful adaptive prompt for Bash & Zsh xuanruiqi
ssrmint-git r19.658e636-6 0 0.00 Ad-hoc pygments style and lexer for LaTeX pretty-printing of SSReflect xuanruiqi
ocaml-menhir-compcert 20210419-1 0 0.00 Latest version of Menhir that can build the latest CompCert release. xuanruiqi
massivethreads 1.00-1 0 0.00 A Lightweight Thread Library for High Productivity Languages xuanruiqi
compcert-git 3.7.r35.gbb9fa555-4 1 0.00 The formally verified C compiler xuanruiqi
compcert 3.11-1 2 0.00 The formally verified C compiler xuanruiqi
aspcud 1.9.6-1 1 0.00 Solver for package dependencies xuanruiqi

19 packages found. Page 1 of 1.