frama-c - 20220511-manganese-3 main

Versions in crimson: 20220511-manganese-3
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.6.2
Architectures: any 
 
Homepage Build Jobs VCS Browser

Owned Binaries

Build Dependencies

Files

Filename Size Checksum (SHA256)
frama-c_20220511-manganese-3.dsc 2.4 kB d57d4a2faceba559cf461a1b146b7774fdf27c9a2802c8db0f637635205a965c
frama-c_20220511-manganese.orig.tar.gz 8.1 MB 5efcab6ba0c291f7d5eacc64ced1a2e6e52f45fc029e997fca0997f13142d2fe
frama-c_20220511-manganese-3.debian.tar.xz 16.2 kB 1811f59a32b2d4fec3e2aff223fb13f4ec8c9a097bd1536cd4be1bb2e956dbe9