[ubuntu/yakkety-proposed] frama-c 20151002+magnesium+dfsg-1build2 (Accepted)

Steve Langasek steve.langasek at ubuntu.com
Sun Jul 10 10:50:13 UTC 2016


frama-c (20151002+magnesium+dfsg-1build2) yakkety; urgency=medium

  * No-change rebuild against libfindlib-ocaml-ygtb5

Date: Sun, 10 Jul 2016 10:49:02 +0000
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/frama-c/20151002+magnesium+dfsg-1build2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sun, 10 Jul 2016 10:49:02 +0000
Source: frama-c
Binary: frama-c frama-c-base
Architecture: source
Version: 20151002+magnesium+dfsg-1build2
Distribution: yakkety
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
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 (20151002+magnesium+dfsg-1build2) yakkety; urgency=medium
 .
   * No-change rebuild against libfindlib-ocaml-ygtb5
Checksums-Sha1:
 bc139a49da4fe70d1842959424b60b47c43f536e 2474 frama-c_20151002+magnesium+dfsg-1build2.dsc
 7dae4703085513a6f992d3a8462fd566d9c6a4db 22476 frama-c_20151002+magnesium+dfsg-1build2.debian.tar.xz
Checksums-Sha256:
 9ed50e1991785c0bf880f4f7c4a702ba4ec7bcb4d6f0244b2a1552abfaa0ec49 2474 frama-c_20151002+magnesium+dfsg-1build2.dsc
 f9b4734ca3ec89836a506a7fd57a76969cf19cabc2be49a5edf2bec196fa0468 22476 frama-c_20151002+magnesium+dfsg-1build2.debian.tar.xz
Files:
 f46f3b899ba9edca6a514e0393193b63 2474 devel optional frama-c_20151002+magnesium+dfsg-1build2.dsc
 7c2340da1181f7dd993eaf2a2af83630 22476 devel optional frama-c_20151002+magnesium+dfsg-1build2.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

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

iQIcBAEBCgAGBQJXgigwAAoJEFaNMPMhshM954oQAJT5jfmN2P7o3XHbeT7QLS2w
7Zy9Z+XhmNE0K5gQQKzNII4RdaDCiZ/5WysRUrN+BYZ+BUUZt3XzIEaMi5sTr0y5
IyOznZ5As8XUAfs1+k+Lst4IGnabFhso43KybhS5/MuFds/7d2snUtgHUUg93iBK
VpKjnipvXyTup7azq7asfTp6NFOdXWb0s4Jeb8ZbVSHF1T3EZ14ZUIoJjFOykKXr
JddVcAewHgWO+5qO+P33LpuzKkl7GNeEVJZSXP6FRVFR0MVwO2RSZiZo+SpKVQQE
ySebaDsohpcm4dyOGL/OVhYN0bS+ZwMaEUy3YDoc9SPOote+/vgPPPVZ/9qcbbAb
42/f5eWf1WdAUFNcuz5R8br8vLe9db42/KfZmNopqxVGu1//zSty7YM1QLTWAvqd
xWCvlHVc7WnktiggOqBI4xV0mZLA91ISwwltyRtUlEruaXr5+z/G1tPIEJzdzn+I
zv6/aqiuAdaTY8mMpFhbYUqW0mSDg9u5ml5ocre0jYaaqDsb7rynTHbsdipo6CoW
oQJk/Q9kYAU8QHMbUSsjN1Y53fwRfJNjz4sjn1+jPiZ09CjVZ0F6RumNRMifSwJL
nt6y9jDeixLl3mZKOneELinqyWRBLIo7xV5p4BR/Ud7hrmyR4dfMpHGUUzq838NB
tvdQ0ZjoSfGhcrLYo7dM
=faFT
-----END PGP SIGNATURE-----


More information about the Yakkety-changes mailing list