všetky možnosti
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]

Zdrojový balík: frama-c (20171101+sulfur+dfsg-2)

Odkazy pre frama-c

Zdroje Debian:

Správcovia:

Externé zdroje:

Nasledovné binárne balíky sú zostavované z tohto zdrojového balíka:
frama-c-base
Platform dedicated to the analysis of source code written in C (without gui)

Ostatné balíky súvisiace s balíkom frama-c

  • build-depends
  • build-depends-indep

Download frama-c

SúborVeľkosť (v kB)kontrolný súčet MD5
frama-c_20171101+sulfur+dfsg-2.dsc 1.8 kB d7affb29670b7c5a6ad30ff16408f35d
frama-c_20171101+sulfur+dfsg.orig.tar.gz 6,954.8 kB 38d0f2a2a25810466937f30320bf1a5d
frama-c_20171101+sulfur+dfsg-2.debian.tar.xz 22.8 kB 17edfcf413f817c703503d99a57be3a6
Úložisko zdrojových balíkov Debianu (VCS: Git)
https://salsa.debian.org/ocaml-team/frama-c.git
Úložisko zdrojových balíkov Debianu (možno prezerať)
https://salsa.debian.org/ocaml-team/frama-c