-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 26 Aug 2020 08:39:38 +0200
Source: frama-c
Architecture: source
Version: 20200625+scandium-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Changes:
frama-c (20200625+scandium-2) unstable; urgency=medium
.
* Drop removal of ptests.byte from debian/rules as it is not installed
anyway, and mark it as not installed.
* Fix pathname in removing redundant frama-c.byte
Checksums-Sha1:
f36c8d916a4558fb873ec94a22392f3684247e42 2290 frama-c_20200625+scandium-2.dsc
4d1a3ff616201795659963acca77bb8f1e62814d 15008 frama-c_20200625+scandium-2.debian.tar.xz
b1b488cfdd9fa32223a5bba56f727f8247121d9f 15274 frama-c_20200625+scandium-2_source.buildinfo
Checksums-Sha256:
a2b9899d5d89f6f46d14ed52bba11d31a28cefd5b1b05eec3153eca194d73681 2290 frama-c_20200625+scandium-2.dsc
d2571e3e79c34e76104ab78d11dd767c1aa79d78c1900689d18076f170fabea2 15008 frama-c_20200625+scandium-2.debian.tar.xz
17c981264b666d96828d72d1269ed743b6decd8a98aa151377cb971e83fbbf81 15274 frama-c_20200625+scandium-2_source.buildinfo
Files:
18f4a79fc69aaa217959020c3cf378ed 2290 devel optional frama-c_20200625+scandium-2.dsc
baf54225779b88dfb9359aa4748aad40 15008 devel optional frama-c_20200625+scandium-2.debian.tar.xz
9005fa0afeb36449fdeeea12d4a335d7 15274 devel optional frama-c_20200625+scandium-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl9GCOIACgkQdFxHZtTK
zf+zDRAAqRWE4CxNfofWVbb/C+FXZp/WIDCJPJX541t0Q2mznQet9ZAMQcCU3K9j
lqLhtTxZ8dqlYmw6NHui4Q4YoIYmoFvdY67o5ZWLF/k5k4LMbGGszGz2NYpEtJ0M
LnPOq6mpS7+Jhutgch88GSA09j07rf7cdC1Pbtk27RuMGD3do1IdodbCrrC3RP9s
Lmtt28rFi76Ln7PZWI4kNZUv1OU6yg7xIQn517PschlclXYvw25+4R+tMuwyjpSq
icuRd1S/DJ5QtlaZ6lu5BMaqvgtOGfKxQVJOovM1D+IRhaFx9Lu8hIHL3IxPUqtl
pxmM6RtMBLe6hq1IHDy5kgHBG9wo917LPiCI7bcH/1vfkT+C7Be9pCWUk+ony//s
lsFSC5Lbun9LV7qlyGvnwwTZVqbPMxdp41mZmwuyRnd2rxPUY/yqpjNrvHUvn7fI
BaBIFmyVn6oFB9b8QljwdLGQ0hUwKZyD1/2joqPkrHH51Bmg3mnAeOmrUPuONsOD
Zi8G2e1Au5iDmfsfde8AyEseFir4mT44unHg6y7GSqm18Jkwiv+zuTh+5yIFFbRV
txho7Vll/M73VW8Fgcbs4uz3xEDa084W7gG2P94mWqiahrJc2WpTreDMLFwroc/4
uWx5rEaGYv8sDNkshfyfgZdqoprJRawJAgQhmc437/v+Sj+FObY=
=otMZ
-----END PGP SIGNATURE-----
