tüm seçenekler
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]

Kaynak Paket: frama-c (20220511-manganese-5)

frama-c için bağlantılar

Debian Kaynakları:

Geliştiriciler:

Dış Kaynaklar:

Aşağıdaki ikili paketler bu kaynak paketten inşa edilmiştir:
frama-c-base
Platform dedicated to the analysis of source code written in C

frama-c ile İlgili Diğer Paketler

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

Download frama-c

DosyaBoyut (kB cinsinden)MD5 sağlama toplamı
frama-c_20220511-manganese-5.dsc 2,1 kB 31710fa79f6973d59126335f16d9f3c2
frama-c_20220511-manganese.orig.tar.gz 7.885,1 kB 9d67adb5e1cefbe57c8292a3b7ddd9e6
frama-c_20220511-manganese-5.debian.tar.xz 16,4 kB 0e607a2e35db67f5a740cd31a3be2c05
Debian Paket Kaynak Deposu (VCS: Git)
https://salsa.debian.org/ocaml-team/frama-c.git
Debian Paket Kaynak Deposu (Gezinilebilir)
https://salsa.debian.org/ocaml-team/frama-c