“kylinsoft developers” team

Packages in “anything3.0” This PPA currently publishes packages for Huanghe V3.0.

Package totals

The following information is related to the total published packages in the repository (not on your system).

Package counters and estimated archive size temporarily unavailable.

Package build summary
  • View all builds

    • A total of 57888 builds have been created for this PPA.

    Completed builds
    23445 successful
    23040 failed

    A recent upload has resulted in 11403 pending builds.

    Packages

    in sort by
    2401 → 2450 of 37454 results First • • • Last
    Source Uploader Published Status Series Section Build Status
    coq-corn - 8.20.0-ok1 (changes file) luoyaoming Published Huanghe Ocaml There were build failures. loong64
    coq-deriving - 0.2.1-ok1 (changes file) luoyaoming Published Huanghe Ocaml There were build failures. loong64
    coq-doc - 8.20.0-ok1 (changes file) luoyaoming Published Huanghe Doc There are some builds waiting to be built. amd64
    coq-dpdgraph - 1.0+8.20-ok1 (changes file) luoyaoming Published Huanghe Ocaml There were build failures. amd64 arm64 loong64
    coq-elpi - 2.5.0-ok1 (changes file) luoyaoming Published Huanghe Ocaml There were build failures. amd64 arm64 loong64
    coq-equations - 1.3.1-8.20-ok1 (changes file) luoyaoming Published Huanghe Ocaml There were build failures. amd64 arm64 loong64
    coq-ext-lib - 0.13.0-ok1 (changes file) luoyaoming Published Huanghe Ocaml There were build failures. loong64
    coq-extructures - 0.5.0-ok1 (changes file) luoyaoming Published Huanghe Ocaml There were build failures. arm64 loong64
    coq-gappa - 1.7.0-ok1 (changes file) luoyaoming Published Huanghe Math There were build failures. loong64
    coq-hammer - 1.3.2+8.20-ok1 (changes file) luoyaoming Published Huanghe Ocaml There were build failures. amd64 arm64 loong64
    coq-hierarchy-builder - 1.8.1-ok1 (changes file) luoyaoming Published Huanghe Ocaml There were build failures. amd64 arm64 loong64
    coq-hott - 9.0-ok1 (changes file) luoyaoming Published Huanghe Ocaml There were build failures. amd64 arm64 loong64
    coq-interval - 4.11.1-ok1 (changes file) luoyaoming Published Huanghe Ocaml There were build failures. loong64
    coq-iris - 4.3.0-ok1 (changes file) luoyaoming Published Huanghe Ocaml There were build failures. amd64 arm64 loong64
    coq-libhyps - 2.0.8-ok1 (changes file) luoyaoming Published Huanghe Ocaml There were build failures. loong64
    coq-math-classes - 8.19.0-ok1 (changes file) luoyaoming Published Huanghe Ocaml There were build failures. loong64
    coq-menhirlib - 20240715+ds-ok1 (changes file) luoyaoming Published Huanghe Ocaml There were build failures. loong64
    coq-mtac2 - 1.4+8.20-ok1 (changes file) luoyaoming Published Huanghe Ocaml There were build failures. amd64 arm64 loong64
    coq-quickchick - 2.1.0-ok1 (changes file) luoyaoming Published Huanghe Ocaml There were build failures. arm64 loong64
    coq-record-update - 0.3.4-ok1 (changes file) luoyaoming Published Huanghe Ocaml There were build failures. loong64
    coq-reduction-effects - 0.1.5-ok1 (changes file) luoyaoming Published Huanghe Ocaml There were build failures. loong64
    coq-reglang - 1.2.1-ok1 (changes file) luoyaoming Published Huanghe Ocaml There were build failures. arm64 loong64
    coq-relation-algebra - 1.7.11-ok1 (changes file) luoyaoming Published Huanghe Ocaml There were build failures. amd64 arm64 loong64
    coq-simple-io - 1.11.0-ok1 (changes file) luoyaoming Published Huanghe Ocaml There were build failures. arm64 loong64
    coq-stdpp - 1.11.0-ok1 (changes file) luoyaoming Published Huanghe Ocaml There were build failures. loong64
    coq-unicoq - 1.6-8.20-ok1 (changes file) luoyaoming Published Huanghe Ocaml There were build failures. amd64 loong64
    coq-unimath - 20240923-ok1 (changes file) luoyaoming Published Huanghe Ocaml There were build failures. amd64 loong64
    coqeal - 2.1.0-ok1 (changes file) luoyaoming Published Huanghe Ocaml There were build failures. amd64 arm64 loong64
    coqprime - 8.20.1-ok1 (changes file) luoyaoming Published Huanghe Ocaml There were build failures. arm64 loong64
    coquelicot - 3.4.3-ok1 (changes file) luoyaoming Published Huanghe Ocaml There were build failures. arm64 loong64
    core-async-clojure - 1.5.648-ok1 (changes file) luoyaoming Published Huanghe Java All builds were built successfully.
    core-cache-clojure - 1.0.225-ok1 (changes file) luoyaoming Published Huanghe Java All builds were built successfully.
    core-match-clojure - 1.0.0-ok1 (changes file) luoyaoming Published Huanghe Java All builds were built successfully.
    core-memoize-clojure - 1.0.257-ok1 (changes file) luoyaoming Published Huanghe Java All builds were built successfully.
    core-specs-alpha-clojure - 0.4.74-ok1 (changes file) luoyaoming Published Huanghe Java There were build failures. amd64
    coreapi - 2.3.3-ok1 (changes file) luoyaoming Published Huanghe Python There were build failures. amd64
    coreboot - 25.09+dfsg-ok1 (changes file) luoyaoming Published Huanghe Utils There were build failures. amd64 loong64
    corectrl - 1.5.2+ds-ok1 (changes file) luoyaoming Published Huanghe Utils There were build failures. amd64 arm64 loong64
    corekeeper - 1.7build1-ok1 (changes file) luoyaoming Published Huanghe Admin All builds were built successfully.
    coreschema - 0.0.4-ok1 (changes file) luoyaoming Published Huanghe Python All builds were built successfully.
    coreutils-from - 0.0.0~ubuntu25-ok1 (changes file) luoyaoming Published Huanghe Utils There were build failures. amd64
    corkscrew - 2.0-ok1 (changes file) luoyaoming Published Huanghe Net All builds were built successfully.
    corosync - 3.1.9-ok1 (changes file) luoyaoming Published Huanghe Admin There were build failures. amd64 loong64
    corosync-qdevice - 3.0.4-ok1 (changes file) luoyaoming Published Huanghe Admin All builds were built successfully.
    corrosion - 0.5.0-ok1 (changes file) luoyaoming Published Huanghe Devel There were build failures. amd64 arm64 loong64
    corsix-th - 0.69.1-ok1 (changes file) luoyaoming Published Huanghe Games There are some builds waiting to be built. amd64
    cortado - 0.6.0-ok1 (changes file) luoyaoming Published Huanghe Utils All builds were built successfully.
    cosign - 2.6.2-ok1 (changes file) luoyaoming Published Huanghe Golang There were build failures. amd64 arm64 loong64
    cothreads - 0.10-ok1 (changes file) luoyaoming Published Huanghe Ocaml There were build failures. amd64 arm64 loong64
    coturn - 4.6.1-ok1 (changes file) luoyaoming Published Huanghe Net There were build failures. loong64
    2401 → 2450 of 37454 results First • • • Last