| aspcud |
1.9.5-1 |
1 |
0.00 |
Solver for package dependencies |
xuanruiqi
|
| azcopy |
10.13.0-1 |
5 |
0.08 |
A command-line utility designed for copying data to/from Microsoft Azure |
xuanruiqi
|
| compcert |
3.10-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.3.1-1 |
1 |
0.00 |
A Lean version manager |
xuanruiqi
|
| fcitx5-skin-material |
0.5-2 |
2 |
0.00 |
A Material Design-like skin for Fcitx5, from fcitx-skin-material. |
xuanruiqi
|
| libglade |
2.6.4-8 |
35 |
3.76 |
Allows you to load glade interface files in a program at runtime |
xuanruiqi
|
| liquidprompt |
2.0.3-1 |
40 |
0.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:20210430-2 |
5 |
0.10 |
Noto CJK-SC fonts for Simplified Chinese |
xuanruiqi
|
| noto-fonts-tc |
2:20201206-1 |
3 |
0.02 |
Noto CJK-TC fonts for Traditional Chinese |
xuanruiqi
|
| ocaml-menhir-compcert |
20210419-1 |
0 |
0.00 |
Latest version of Menhir that can build the latest CompCert release. |
xuanruiqi
|
| rebuild-initramfs-dracut |
1.7.3-1 |
5 |
0.35 |
A helper script to rebuild initramfs images using dracut |
xuanruiqi
|
| rebuild-initramfs-dracut-hook |
1.7.3-1 |
5 |
0.35 |
Install/remove hooks for dracut, based on rebuild-initramfs |
xuanruiqi
|
| smlsharp |
4.0.0-1 |
6 |
0.27 |
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 |
100 |
0.37 |
Symbol fonts required by wps-office. |
xuanruiqi
|
| zfs-auto-snapshot-git |
1.2.4.r31.92db087-2 |
11 |
0.01 |
Implementation of a snapshotting service for ZFS |
xuanruiqi
|