[ubuntu/mantic-proposed] frama-c 20220511-manganese-4~build1 (Accepted)

[Gianfranco Costamagna]

frama-c (20220511-manganese-4~build1) mantic; urgency=medium

  * Upload to Ubuntu

Date: Thu, 13 Jul 2023 10:14:06 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/frama-c/20220511-manganese-4~build1
-------------- next part --------------
Format: 1.8
Date: Thu, 13 Jul 2023 10:14:06 +0200
Source: frama-c
Built-For-Profiles: noudeb
Architecture: source
Version: 20220511-manganese-4~build1
Distribution: mantic
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 frama-c (20220511-manganese-4~build1) mantic; urgency=medium
 .
   * Upload to Ubuntu
Checksums-Sha1:
 ddd23a16fd277e922daadd919c2eaf94b82ecebb 2435 frama-c_20220511-manganese-4~build1.dsc
 65a03cd9169796f3f06e2e26cd4c9fca070346f7 16860 frama-c_20220511-manganese-4~build1.debian.tar.xz
 e6f6ecf7efeb6a8e5e5e9dbd948200a6ce212239 10145 frama-c_20220511-manganese-4~build1_source.buildinfo
Checksums-Sha256:
 fb3be74a30460e8c4ec4e2cfcaed34f3e09eee7303dca61353a310bb942e7a4b 2435 frama-c_20220511-manganese-4~build1.dsc
 3abdb797c1dc54b0fc049c69bbc95733b0cd53479e3c34001ab25e8321f8d48f 16860 frama-c_20220511-manganese-4~build1.debian.tar.xz
 6a330851d39b4dda4ede56ad15693ac8b28db240f545d9436b186ea53fd74f0f 10145 frama-c_20220511-manganese-4~build1_source.buildinfo
Files:
 c4d1347afeb7c71c98fa4f40bdb4964b 2435 devel optional frama-c_20220511-manganese-4~build1.dsc
 f512cb16dd4f6886cb137b406ea764df 16860 devel optional frama-c_20220511-manganese-4~build1.debian.tar.xz
 7a161421b64bf55cb514e2887725404f 10145 devel optional frama-c_20220511-manganese-4~build1_source.buildinfo