-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 08 Mar 2020 17:34:13 +0100
Source: why3
Architecture: source
Version: 1.2.1-5
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Changes:
why3 (1.2.1-5) unstable; urgency=medium
.
* debian/rules: include coqvars.mk, and set F:CoqABI substvar, only where
that file exists.
Checksums-Sha1:
75ede99e80de0230bf6f2d442aa3397c61b7aa8c 2756 why3_1.2.1-5.dsc
71901e0cef4ea31231ab2cb9e1995fa2ee102bbf 23092 why3_1.2.1-5.debian.tar.xz
ffa930ce6d5a64084ec00b5e057f3080aea6ee0c 15708 why3_1.2.1-5_source.buildinfo
Checksums-Sha256:
3d3544995395f24d077e01228f6c02a7ba4055cfa41e50e971682abaf0c9c91e 2756 why3_1.2.1-5.dsc
e13b8e890695acc37597ae9544c78fe0f1651ad1c7d15949e42c23f79d17474c 23092 why3_1.2.1-5.debian.tar.xz
2b3e5d5c98a03e42758214f348ceb6b282d4d3d5bd5800279d3a16f3feb63d0b 15708 why3_1.2.1-5_source.buildinfo
Files:
c6d21a12a38eedc73a44d48542a45276 2756 math optional why3_1.2.1-5.dsc
c3c7b153ecea6b87c0c9ffc624d1cafc 23092 math optional why3_1.2.1-5.debian.tar.xz
6865a8b46afaa5821d52b264ffab2dbb 15708 math optional why3_1.2.1-5_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl5lK4gACgkQdFxHZtTK
zf+ndRAAhwvNDmiG2FYIU9iCkAVV0f9RRjX3eVoQD3DgssbhUYjhOFccrVudHngh
HvAq5wvhRwksbo20N4BBXuC+4PVqxUbYLaKxNPLOwcSKHUROIiot5TchtMQLs7zy
9RTdpPJ1MOWlSADkv6uspTcj5jv2jV99bC0n1HppOJyrS4Fc7fABSNLXsPzrSznm
jElJ57z6OOt4Mfml9TG040OSP8nwDSLRiGyp/Z/540SJhgMg77jtKt5jqJCexpIh
F4zWDvojpY6DswdTqaV3KoS5gM86Nh8LuPCWOhdzT8FS3AR5lInz5WMKW5GSS+16
gqwHunRV5bt2vxJI/KT5dTedpziqDtL50X0NMP/UExMztRswp14n/Q/irjuaKxsr
CmS/Z3drB0KZ1X8ZhurFh98x70I3dN+1mUTdVmvO1ZtxBZgueuLrbrhyuPx6HqLa
teRaDlusDBJjQBwM22vJultNZ/lWicYQLOjtOru1YBVn0Fa5RexjgXSFjnezePZo
hS07K24g759OzzfHzc0tujz4GXqpQ5dIVsmzzRihavDaiS1TVUNX/dgXDHkluZIt
SCq+SnH34aNXbFRtXCekyKCrWWdBnW5VvWNdh00IGHFHXzxOJDIi5Q4vI21z1L3O
3Fx/xLnAitLtgg4KM22+qwOWD3amDqwmGFXnF9PVvGAnfembwiE=
=txuH
-----END PGP SIGNATURE-----
