18 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
zfs-auto-snapshot-git 1.2.4.r31.92db087-2 11 0.00 Implementation of a snapshotting service for ZFS xuanruiqi
ttf-wps-fonts 1.0-5 100 0.10 Symbol fonts required by wps-office. xuanruiqi
ssrmint-git r19.658e636-6 0 0.00 Ad-hoc pygments style and lexer for LaTeX pretty-printing of SSReflect xuanruiqi
smlsharp 4.0.0-1 7 0.02 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
ocaml-menhir-compcert 20210419-1 0 0.00 Latest version of Menhir that can build the latest CompCert release. xuanruiqi
noto-fonts-tc 2:20201206-1 4 0.04 Noto CJK-TC fonts for Traditional Chinese xuanruiqi
noto-fonts-sc 2:20210430-2 8 0.57 Noto CJK-SC fonts for Simplified Chinese xuanruiqi
massivethreads 1.00-1 0 0.00 A Lightweight Thread Library for High Productivity Languages xuanruiqi
liquidprompt 2.1.2-1 40 0.00 A useful adaptive prompt for Bash & Zsh xuanruiqi
libglade 2.6.4-8 54 3.92 Allows you to load glade interface files in a program at runtime xuanruiqi
fcitx5-skin-material 0.5-2 4 1.25 A Material Design-like skin for Fcitx5, from fcitx-skin-material. xuanruiqi
elan-lean 1.4.1-1 1 0.00 A Lean version manager xuanruiqi
compcert-git 3.7.r35.gbb9fa555-4 1 0.00 The formally verified C compiler xuanruiqi
compcert 3.10-1 2 0.00 The formally verified C compiler xuanruiqi
azcopy 10.16.0-1 7 0.99 A command-line utility designed for copying data to/from Microsoft Azure xuanruiqi
aspcud 1.9.6-1 1 0.00 Solver for package dependencies xuanruiqi

18 packages found. Page 1 of 1.