Publishing details

• Published on 2025-10-28

Changelog

apron (0.9.10-ok1) nile; urgency=medium

  * Build for openKylin.

 -- openKylinBot <email address hidden>  Tue, 28 Oct 2025 19:07:52 +0800

Builds

• amd64
• arm64
• loong64
• riscv64
• rv64g

Built packages

• libapron runtime libraries for APRON

• libapron-dev abstract interpretation library

• libapron-ocaml runtime libraries for APRON (OCaml interface)

• libapron-ocaml-dev abstract interpretation library (OCaml interface)

Package files

• apron_0.9.10-ok1.debian.tar.xz (14.0 KiB)
• apron_0.9.10-ok1.dsc (2.0 KiB)
• apron_0.9.10.orig.tar.gz (912.4 KiB)
• libapron-dev_0.9.10-ok1_all.deb (123.6 KiB)
• libapron-ocaml-dev_0.9.10-ok1_amd64.deb (1.3 MiB)
• libapron-ocaml-dev_0.9.10-ok1_arm64.deb (1.2 MiB)
• libapron-ocaml-dev_0.9.10-ok1_loong64.deb (2.7 MiB)
• libapron-ocaml-dev_0.9.10-ok1_riscv64.deb (2.2 MiB)
• libapron-ocaml_0.9.10-ok1_amd64.deb (54.8 KiB)
• libapron-ocaml_0.9.10-ok1_arm64.deb (52.1 KiB)
• libapron-ocaml_0.9.10-ok1_loong64.deb (63.2 KiB)
• libapron-ocaml_0.9.10-ok1_riscv64.deb (45.8 KiB)
• libapron_0.9.10-ok1_amd64.deb (455.6 KiB)
• libapron_0.9.10-ok1_arm64.deb (384.6 KiB)
• libapron_0.9.10-ok1_loong64.deb (457.8 KiB)
• libapron_0.9.10-ok1_riscv64.deb (380.1 KiB)