| 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
|