Accepted why 2.36-4 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 27 Dec 2016 12:02:13 +0100
Source: why
Binary: why libwhy-coq
Architecture: source
Version: 2.36-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description:
libwhy-coq - Why library for Coq
why - Software verification tool for C and Java
Changes:
why (2.36-4) unstable; urgency=medium
.
* package tests: use /tmp when $ADT_ARTEFACTS is not set.
* debian/rules: use $FRAMAVER variable when creating the META file
Checksums-Sha1:
f150082a258bb9723e4e0e4ca382d83d5b3ca4bc 2264 why_2.36-4.dsc
1cc5b1c3639e0f5df4bb9637a1c86f6570565196 11528 why_2.36-4.debian.tar.xz
Checksums-Sha256:
3c000f5b2bb1bc2a6d09f5d646e60fdadfb27349f5015716459f014f3a9fff9c 2264 why_2.36-4.dsc
c5c923e3d8aaecfe360b1d13cec4ce6e5dce4605164649139d293d02a62c32cd 11528 why_2.36-4.debian.tar.xz
Files:
104f2ef010dd7dae8b8c732ddb58bb75 2264 math optional why_2.36-4.dsc
9df0c92d11daaa4473138532c700835d 11528 math optional why_2.36-4.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlhiSzkACgkQdFxHZtTK
zf+0RA/+PcYCMU6WzfJZtYXEeuhpHye55MfiK10zboSitIjnFY8UJ2OzY+ZUQwW/
Sg4SDkBIjxhFlmnEd6SMcVsjUFAPtUWM7+fAHzJiegKhPh99l5QRe3tMlBq6TpTp
rHm+6H9u0nZdGOrO5Np4Pdh3eqvzUPmk9q1VMrjunbbxi+/sYG8n3wktdkjDnGtP
hKF89N0/ckqFvyI3eICG1hO4J7VgY14EJExGXVxC0Ckb5hVzrV4fcxaDAmhpDQIK
eIzO4HPlgLnr07OZ9T/vupkzOsHn5G/1bvkSLV0kvtSuezxJLIUtnLNYGADjF9p5
tNNmNnHy0GJiK4SQ8USGhL5GEfScThLA3Dp03MHtthEp3JV6iFwQ5JoGrf/ziUWr
lLf9xrIx6/MvRVOfxPqsXPIPYp2An/TKBV1IbYW9hE7RaFaO0BGGCK0SvU6NcxjD
QdT3gemP0Xa1GJA1DoIPh7hqXa/ekTa2ySRnmsUJXT/YnXkrDW0tqUybpSciV5PW
R772ODQKMf3uhaHBcnulZBpMZBmJfe9N7W72qqZEfKdsXf0z0l+FPciRp8Y47Twd
f3KDl2kfqHWFNLvV6ocTg83RKQ4+aVrqpVdlimVj35ZZzi/RebrSUb/Hc6ZO0fuE
o5Eyj1q7tp7AwwC8T273wZbhzYxSTQp4GT89xAG/ZW97kt+9Z2s=
=HWlh
-----END PGP SIGNATURE-----