Back to frama-c PTS page

Accepted frama-c 20220511-manganese-1.2 (source) into unstable



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Mon, 27 Jun 2022 11:29:05 +0200
Source: frama-c
Architecture: source
Version: 20220511-manganese-1.2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 frama-c (20220511-manganese-1.2) unstable; urgency=medium
 .
   * Non-maintainer upload.
   * Tighten the dep on newer why3.
Checksums-Sha1:
 a1293a706367ccc61a49e6d288bb8d0d1ab19c89 2459 frama-c_20220511-manganese-1.2.dsc
 0132d566705f85f29a8536fecdc4e3c921b37ae6 15972 frama-c_20220511-manganese-1.2.debian.tar.xz
 12a0dfd990fcd82f1ead73e7ef1a005cadb5fead 15950 frama-c_20220511-manganese-1.2_source.buildinfo
Checksums-Sha256:
 2aefc72742d9c4f0c7ffa1b07400b9b0d3057005c9bb6513d92a8054c960a005 2459 frama-c_20220511-manganese-1.2.dsc
 79461f7e85f3dba4b87a43ca6265ac65e3dab0d945d6f1c7b9a092c422e80d9b 15972 frama-c_20220511-manganese-1.2.debian.tar.xz
 7e17cb68060f0fb374ba389068082bb61e5e82ff7ea0643fd8b109ce378177f7 15950 frama-c_20220511-manganese-1.2_source.buildinfo
Files:
 91c2a9af6bf56affe8abdcced937c0e4 2459 devel optional frama-c_20220511-manganese-1.2.dsc
 6ca8013ceb528b6e736431201e0db356 15972 devel optional frama-c_20220511-manganese-1.2.debian.tar.xz
 d39c0f424f7b22f17096573b01ae7a5b 15950 devel optional frama-c_20220511-manganese-1.2_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmK5eU4SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRHtgP/0Ekh6qiD1yNzVzPkLd5KKedVVyoLCg0
7aqH2Ip9/0aRO6EUhfifblMjeGANTV1y3Z2Jar8aOnY+EuYGXjImA/7NnCTzLvvK
vAJ5vFKCT1vfJgz+MXJqY9N1MSKFS0XDj1btd8sSkOvU35iyxZWj+abLsztWuQ82
q8/X5UmRj7EbKMJMFwRbbQ8KDi0li6kIjdpMxfY2nb5FOwYQxhgtTd0Qj1EwTowe
ujAtBZTlzkmOvTxlkr30x1gQi4/gpX/6mw84FFV3xi6GBkgXsc8N/tJCBfWXYbg3
1yhST2f9Sm2Qhzmo1pq7FY7OKfsEPGvoVs523yAc+C42TnVtsfa0UlHEoBtvyd8o
NMQTGxe2R+BPA8ybMkCb325Ax6rh+mM3H20pCJHZy4pFcpMTYq8LCkYH7bfrIrpO
R/VaELv87Aj/iYJQl5JINb1NWRKgKoRzeyqo+TZUDJfmy+LzHgxZ2wDQKoirRfVP
W5mwNU1x83+hOeMUWXccUdc2V/6lGrsWmRf5arkHNaipvLg2RXcxOpXH4isDfP30
zTMQ+6Pz9FaXzYyXWKkZUwjHWDajbqeQZDRCuYwXpdMTuc3w6sU4rNhrIHdKbeAN
0ukC7kmp9wQji7bZ+0c8dLUe+5eBWGIhKCHIylQmkpcy7wS87BBGQAbluhEw64mC
7Asoh45yGiZC
=S362
-----END PGP SIGNATURE-----