tüm seçenekler
jessie  ] [  stretch  ] [  buster  ] [  sid  ]

Kaynak Paket: apron (0.9.10-9)

apron için bağlantılar

Debian Kaynakları:

Geliştirici:

Dış Kaynaklar:

Aşağıdaki ikili paketler bu kaynak paketten inşa edilmiştir:
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)

apron ile İlgili Diğer Paketler

  • inşa bağımlılıkları
  • bağımsız inşa bağımlılıkları

Download apron

DosyaBoyut (kB cinsinden)MD5 sağlama toplamı
apron_0.9.10-9.dsc 2,1 kB dc88530ba4a62fa7bef3e1bad4871fca
apron_0.9.10.orig.tar.gz 912,4 kB 17058de80f7352885eb4064585baf873
apron_0.9.10-9.debian.tar.xz 15,0 kB 50a3b99b2708bb247546722e6ef27e81
Debian Paket Kaynak Deposu (VCS: Git)
https://anonscm.debian.org/git/pkg-ocaml-maint/packages/apron.git
Debian Paket Kaynak Deposu (Gezinilebilir)
https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/apron.git