| 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.57 |
A Lean version manager |
xuanruiqi
|
| fcitx5-skin-material |
0.5-2 |
2 |
0.03 |
A Material Design-like skin for Fcitx5, from fcitx-skin-material. |
xuanruiqi
|
| libcurl-openssl-1.0 |
7.76.0-1 |
32 |
0.39 |
An URL retrieval library (without versioned symbols, built against openssl-1.0) |
xuanruiqi
|
| liquidprompt |
2.0.2-1 |
40 |
1.01 |
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.03 |
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.20.1-1 |
34 |
0.43 |
Scientific tools for Python, compiled with Intel MKL |
xuanruiqi
|
| rebuild-initramfs-dracut |
1.3.2-1 |
2 |
0.12 |
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 |
96 |
0.59 |
Symbol fonts required by wps-office. |
xuanruiqi
|
| watchman |
4.9.0-6 |
1 |
0.99 |
An inotify-based file watching and job triggering command line utility |
xuanruiqi
|
| zfs-auto-snapshot-git |
1.2.4.r31.92db087-2 |
10 |
0.35 |
Implementation of a snapshotting service for ZFS |
xuanruiqi
|