18 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.11.0-1 4 0.00 A command-line utility designed for copying data to/from Microsoft Azure xuanruiqi
compcert 3.9-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 1.0.6-1 1 0.11 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.77.0-1 34 0.66 An URL retrieval library (without versioned symbols, built against openssl-1.0) xuanruiqi
libglade 2.6.4-8 22 8.52 Allows you to load glade interface files in a program at runtime xuanruiqi
liquidprompt 2.0.3-1 40 0.19 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 3 0.71 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 3 0.54 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 0.63 Symbol fonts required by wps-office. xuanruiqi
zfs-auto-snapshot-git 1.2.4.r31.92db087-2 11 0.47 Implementation of a snapshotting service for ZFS xuanruiqi

18 packages found. Page 1 of 1.