dsc_fields:
Architecture: any
Binary: frama-c-base
Build-Depends: debhelper-compat (= 13), ocaml, dh-ocaml, graphviz, autoconf, libzarith-ocaml-dev,
ocaml-findlib, libfindlib-ocaml-dev, libyojson-ocaml-dev, libocamlgraph-ocaml-dev,
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-5.debian.tar.xz
sha1: a6e389c92be52437df4cbf287594f23609f80c04
size: '16816'
Checksums-Sha256:
- name: frama-c_20220511-manganese.orig.tar.gz
sha256: 5efcab6ba0c291f7d5eacc64ced1a2e6e52f45fc029e997fca0997f13142d2fe
size: '8074351'
- name: frama-c_20220511-manganese-5.debian.tar.xz
sha256: bcf844eb16f85e10f838df00d470faefe4b6be7e5cc613f6ce04ba4b76d8c4d5
size: '16816'
Dgit: fd7e6757375baa7f9f939c43a56169b43aaf5b44 debian archive/debian/20220511-manganese-5
https://git.dgit.debian.org/frama-c
Files:
- md5sum: 9d67adb5e1cefbe57c8292a3b7ddd9e6
name: frama-c_20220511-manganese.orig.tar.gz
size: '8074351'
- md5sum: 0e607a2e35db67f5a740cd31a3be2c05
name: frama-c_20220511-manganese-5.debian.tar.xz
size: '16816'
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-5
name: frama-c
type: dpkg
version: 20220511-manganese-5