-----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-----
