16 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
azcopy 10.8.0-1 4 0.01 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
libcurl-openssl-1.0 7.72.0-1 31 0.68 An URL retrieval library (without versioned symbols, built against openssl-1.0) xuanruiqi
liquidprompt 1.12.1-1 39 0.32 A useful adaptive prompt for Bash & Zsh xuanruiqi
llvm37 3.7.1-1 0 0.00 Low Level Virtual Machine (installed into /opt/llvm37) 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.32 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
python-numpy-mkl 1.19.4-2 34 0.81 Scientific tools for Python, compiled with Intel MKL xuanruiqi
rebuild-initramfs-dracut 1.3.0-1 1 0.13 A helper script to rebuild initramfs images using dracut xuanruiqi
smlsharp 3.6.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 94 0.31 Symbol fonts required by wps-office. xuanruiqi
zfs-auto-snapshot-git 1.2.4.r31.92db087-2 9 0.00 Implementation of a snapshotting service for ZFS xuanruiqi

16 packages found. Page 1 of 1.