[ubuntu/xenial-proposed] frama-c 20150201+sodium+dfsg-2build3 (Accepted)

[Iain Lane]

frama-c (20150201+sodium+dfsg-2build3) xenial; urgency=medium

  * No-change rebuild against new ocaml ABIs

Date: Wed, 04 Nov 2015 10:36:55 +0000
Changed-By: Iain Lane <iain at orangesquash.org.uk>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/frama-c/20150201+sodium+dfsg-2build3
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Wed, 04 Nov 2015 10:36:55 +0000
Source: frama-c
Binary: frama-c frama-c-base
Architecture: source
Version: 20150201+sodium+dfsg-2build3
Distribution: xenial
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Iain Lane <iain at orangesquash.org.uk>
Description:
 frama-c    - Framework for source code analysis of software written in C
 frama-c-base - Framework for C source code analysis (without gui)
Changes:
 frama-c (20150201+sodium+dfsg-2build3) xenial; urgency=medium
 .
   * No-change rebuild against new ocaml ABIs
Checksums-Sha1:
 733609bdef9301c2020888e28072cb31e5425d3e 2337 frama-c_20150201+sodium+dfsg-2build3.dsc
 778720229c0041b880b08afa45038e101780755a 23472 frama-c_20150201+sodium+dfsg-2build3.debian.tar.xz
Checksums-Sha256:
 1d91541585400a1ca120cdef5c32287773acb1aa64ed1da8ea2c49d6327cf860 2337 frama-c_20150201+sodium+dfsg-2build3.dsc
 e955805ec2165cd0adefee03f52de3a23170b7ef97b94eea6004e6561036c024 23472 frama-c_20150201+sodium+dfsg-2build3.debian.tar.xz
Files:
 d003b85e2ad13245b28e1c8d66830eb1 2337 devel optional frama-c_20150201+sodium+dfsg-2build3.dsc
 bad343781af69595f8a56cb58958b9d7 23472 devel optional frama-c_20150201+sodium+dfsg-2build3.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCgAGBQJWOiMJAAoJEONS1cUcUEHUcdEP+wdqVuwRygtgF3UNKbv0viHi
OlH3AYEqURJq/yls3mAX93s5s3p+/vmIXsVLINVcXCjxIQwJfGgi25yNOaJEllSD
2QAqgzqDCoPVIj3dkvLu0CXrftD7HFcESqcKG0bcdsNH7MaLc8ycFuzkKTmtZfvD
aqO9wYhry/dSgisK9LUP7/2Gm4WF+Y+Wo9/6ZFiYQrDbqKRAKRb5zD06/nH1I1JC
s5jJccgl/UNEBqOya3b7IDc4vtzG8/bjxlbi2sPJNTf8+MDOYBZgnyb0kfvA3gdr
6f2OIq8jKCuXu0+S9g1jTR9lEc8K4a9y/7pkVp6iKd8e4f66m9UAk3xfa5MKtc6r
XtyO+aocDIGKt5xNVD2BMgz/xsBEcaI4aWSqWkl2vIPFDdR/V6DOQl1uJIBhNED4
NAhvnAJE85yjw40CiFezRmgWWe+QU0bkxCcLy44mj+jbGQu5BMOYF3z0IBHJ7neD
Yay4k39pBRnLWLZ2Bg6KMnnyZQcnKIB63SMMTzCumbQVfFTYcPh/1nx2Joak9+yO
ghtMfmCpewiC7v++ONDlbnxmyV1gsnA3VkZ9jgmxRAe/TnBsrzM89bSiY7isIKDa
3PcQgEN2n+2ZzVQ3jliyj9MgVSrC0TYNrCLYOdAp8W1ePOdGgeBLdII5WfUtPW9e
CVpzGdY7DRGOW4viw7fU
=p/91
-----END PGP SIGNATURE-----