frama-c - 20201209+titanium-4.1 main

Versions in byzantium: 20201209+titanium-4.1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint [꩜] lists.debian.org>
Uploaders:
  • Mehdi Dogguy <mehdi [꩜] debian.org>
  • Ralf Treinen <treinen [꩜] debian.org>
Format: 3.0 (quilt)
Standards Version: 4.5.1
Architectures: any 
 
Homepage Build Jobs VCS Browser

Owned Binaries

Build Dependencies

Files

Filename Size Checksum (SHA256)
frama-c_20201209+titanium-4.1.dsc 2.4 kB d88bc2e3fbecb8b5495fa8ddb3eb9b8233bc99c3a7d700e7d463ffe4d22f1504
frama-c_20201209+titanium.orig.tar.gz 6.3 MB 1c01d6d59fe2e0a1b837b0efb9277e908d98352aefea20e0c3b8c202946881a2
frama-c_20201209+titanium-4.1.debian.tar.xz 16.2 kB c5c26956905f2c7f1d30158cabc7961e0ed3e19fe8789221f45612df63e7725c