Publishing details

• Published on 2025-12-06

Changelog

apron (0.9.10-ok1) nile; urgency=medium

  * Build for openKylin.

 -- openKylinBot <email address hidden>  Sat, 06 Dec 2025 08:15:03 +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_riscv64.deb (2.2 MiB)
• libapron-ocaml_0.9.10-ok1_amd64.deb (54.9 KiB)
• libapron-ocaml_0.9.10-ok1_arm64.deb (52.2 KiB)
• libapron-ocaml_0.9.10-ok1_riscv64.deb (45.7 KiB)
• libapron_0.9.10-ok1_amd64.deb (455.5 KiB)
• libapron_0.9.10-ok1_arm64.deb (384.1 KiB)
• libapron_0.9.10-ok1_riscv64.deb (379.5 KiB)