19 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
aspcud 1.9.5-1 1 0.00 Solver for package dependencies xuanruiqi
azcopy 10.10.0-1 4 0.00 A command-line utility designed for copying data to/from Microsoft Azure xuanruiqi
compcert 3.8-1 2 0.00 The formally verified C compiler xuanruiqi
compcert-git 3.7.r35.gbb9fa555-4 1 0.00 The formally verified C compiler xuanruiqi
elan-lean 0.11.0-1 1 0.25 A Lean version manager xuanruiqi
fcitx5-skin-material 0.5-2 2 0.01 A Material Design-like skin for Fcitx5, from fcitx-skin-material. xuanruiqi
libcurl-openssl-1.0 7.76.1-1 34 1.57 An URL retrieval library (without versioned symbols, built against openssl-1.0) xuanruiqi
libglade 2.6.4-7 21 12.95 Allows you to load glade interface files in a program at runtime xuanruiqi
liquidprompt 2.0.2-1 40 0.45 A useful adaptive prompt for Bash & Zsh xuanruiqi
massivethreads 1.00-1 0 0.00 A Lightweight Thread Library for High Productivity Languages xuanruiqi
noto-fonts-sc 2:20201206-5 5 0.01 Noto CJK-SC fonts for Simplified Chinese xuanruiqi
noto-fonts-tc 2:20201206-1 2 0.00 Noto CJK-TC fonts for Traditional Chinese xuanruiqi
ocaml-menhir-compcert 20200211-1 0 0.00 Latest version of Menhir that can build the latest CompCert release. xuanruiqi
rebuild-initramfs-dracut 1.3.2-1 2 0.05 A helper script to rebuild initramfs images using dracut xuanruiqi
smlsharp 4.0.0-1 5 0.00 A new programming language in the Standard ML family xuanruiqi
ssrmint-git r13.fa1f7ab-3 0 0.00 Ad-hoc pygments style and lexer for LaTeX pretty-printing of SSReflect xuanruiqi
ttf-wps-fonts 1.0-5 98 1.50 Symbol fonts required by wps-office. xuanruiqi
watchman 4.9.0-6 1 0.44 An inotify-based file watching and job triggering command line utility xuanruiqi
zfs-auto-snapshot-git 1.2.4.r31.92db087-2 11 1.12 Implementation of a snapshotting service for ZFS xuanruiqi

19 packages found. Page 1 of 1.