12 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
azcopy 10.4.3-1 4 0.71 A command-line utility designed for copying data to/from Microsoft Azure xuanruiqi
compcert 3.7-1 2 0.52 The formally verified C compiler xuanruiqi
compcert-git 3.6.r1.gf1637021-3 1 0.00 The formally verified C compiler xuanruiqi
libcurl-openssl-1.0 7.70.0-1 29 0.10 An URL retrieval library (without versioned symbols, built against openssl-1.0) 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 1:2.001-3 4 0.00 Noto CJK-SC fonts for Simplified Chinese xuanruiqi
ocaml-menhir-compcert 20190924-1 0 0.00 Latest version of Menhir that can build the latest CompCert release. xuanruiqi
r8822be-dkms-git r23.69b525e-1 0 0.00 The old r8822be kernel module for Realtek 8822BE WLAN controllers xuanruiqi
shepherd 0.8.0-1 2 0.00 Service manager that looks after the herd. xuanruiqi
smlsharp 3.5.0-1 5 0.00 A new programming language in the Standard ML family xuanruiqi
ssrmint-git r9.26df1b7-2 0 0.00 Ad-hoc pygments style and lexer for LaTeX pretty-printing of SSReflect xuanruiqi

12 packages found. Page 1 of 1.