всички настройки
jessie  ] [  stretch  ] [  buster  ] [  sid  ]

Пакет-източник: frama-c (20171101+sulfur+dfsg-2)

Връзки за frama-c

Ресурси за Debian:

Отговорници:

Външни препратки:

Следните двоични пакети са компилирани от този пакет-източник:
frama-c-base
Platform dedicated to the analysis of source code written in C (without gui)

Други пакети, свързани с frama-c

  • зависимости при компилиране
  • зависимости при компилиране (архитектурно-независими)

Download frama-c

ФайлГолемина (в кБ)контролна сума MD5
frama-c_20171101+sulfur+dfsg-2.dsc 1,8 кБ d7affb29670b7c5a6ad30ff16408f35d
frama-c_20171101+sulfur+dfsg.orig.tar.gz 6 954,8 кБ 38d0f2a2a25810466937f30320bf1a5d
frama-c_20171101+sulfur+dfsg-2.debian.tar.xz 22,8 кБ 17edfcf413f817c703503d99a57be3a6
Хранилище на изходния код на пакета (СКП: Git)
https://salsa.debian.org/ocaml-team/frama-c.git
Хранилище на изходния код на пакета (за разглеждане през браузър)
https://salsa.debian.org/ocaml-team/frama-c