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