dsc_fields:
Architecture: any
Binary: frama-c-base
Build-Depends: debhelper-compat (= 13), ocaml-nox (>= 4.08.1), dh-ocaml (>= 0.9~),
graphviz, autoconf, libzarith-ocaml-dev, ocaml-findlib, libfindlib-ocaml-dev,
libyojson-ocaml-dev, libwhy3-ocaml-dev (>= 1.5.0), libocamlgraph-ocaml-dev (>=
1.8.8), liblablgtk3-ocaml-dev (>= 3.0~beta4), liblablgtksourceview3-ocaml-dev,
libppx-import-ocaml-dev, libppx-deriving-ocaml-dev
Checksums-Sha1:
- name: frama-c_20220511-manganese.orig.tar.gz
sha1: 94cf9d19d886ee4228695259c35b22d4202656ee
size: '8074351'
- name: frama-c_20220511-manganese-3.debian.tar.xz
sha1: 475924960094539e4fe94290c7b595eb8322164a
size: '16200'
Checksums-Sha256:
- name: frama-c_20220511-manganese.orig.tar.gz
sha256: 5efcab6ba0c291f7d5eacc64ced1a2e6e52f45fc029e997fca0997f13142d2fe
size: '8074351'
- name: frama-c_20220511-manganese-3.debian.tar.xz
sha256: 1811f59a32b2d4fec3e2aff223fb13f4ec8c9a097bd1536cd4be1bb2e956dbe9
size: '16200'
Files:
- md5sum: 9d67adb5e1cefbe57c8292a3b7ddd9e6
name: frama-c_20220511-manganese.orig.tar.gz
size: '8074351'
- md5sum: a32f321c9473966208af467abba35c1c
name: frama-c_20220511-manganese-3.debian.tar.xz
size: '16200'
Format: 3.0 (quilt)
Homepage: https://frama-c.com
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Package-List: |2-
frama-c-base deb devel optional arch=any
Source: frama-c
Standards-Version: 4.6.2
Testsuite: autopkgtest
Testsuite-Triggers: alt-ergo, why3
Uploaders: Mehdi Dogguy <mehdi@debian.org>, Ralf Treinen <treinen@debian.org>
Vcs-Browser: https://salsa.debian.org/ocaml-team/frama-c
Vcs-Git: https://salsa.debian.org/ocaml-team/frama-c.git
Version: 20220511-manganese-3
name: frama-c
type: dpkg
version: 20220511-manganese-3