-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 21 Sep 2016 20:59:50 +0200
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 0.87.2-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description:
libwhy3-ocaml-dev - ocaml librariries for why3 (dev)
why3 - Software verification platform
why3-coq - Coq support for the why3 verification platform
why3-doc-html - HTML Documentation of the why3 verification platform
why3-doc-pdf - PDF Documentation of the why3 verification platform
why3-examples - Examples for the why3 verification platform
Changes:
why3 (0.87.2-2) unstable; urgency=medium
.
* install why3lang.sty:
- add to why3.install
- add target directory to why3.dirs
- invoke dh --with tex
- add build-dependency on tex-common
Checksums-Sha1:
0576f7780571be44a266c7b65f88166891b569db 2581 why3_0.87.2-2.dsc
cfebabd195e06003edacf33627a8ddad2c8ece56 11328 why3_0.87.2-2.debian.tar.xz
Checksums-Sha256:
4bd36afb326887a556599f6d97a7a27fca06e1ab6f5de03447f35e156efb218d 2581 why3_0.87.2-2.dsc
dffcfa7b1ca4aa89202bb80277a65aa5f3e32e2748eeee868dab7a489aad5f54 11328 why3_0.87.2-2.debian.tar.xz
Files:
4244bcdc2b6df3528d23975c193d76bd 2581 math optional why3_0.87.2-2.dsc
953cf7db743ddbdc95641914ea08a7ad 11328 math optional why3_0.87.2-2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQIcBAEBCAAGBQJX4tjVAAoJEHRcR2bUys3/3DYQAI5IEZFBA00UTQOMMR5atikp
xFGQseDeAU21zpaAj6oHJK1sisfSv8zPBKFavZg6Hj5tZlDdExSO0nv5i5b4NIGF
EtA9NgxNPS78KCZkYou75j4OZ3FDpbWpUs522JIobcJfkpE0UKKx3GojEO4cFk0c
tvfVlynwTJbDoIMIhLcyv2NT6BF/sPLqU1frj1/gjuTpHvbCSRi5eKonocMhmReL
GDjM4EDzb4GyV11Nsh844L7vMPmm56zw7utPcHwiBJULZzLkudS+7DndJakuPkpL
TkBNEdaxRVE3HRwqBCBfAFymf44V33HzE3BGsyVDW9BmN05hO5+uZIY1sp6ROx6x
2Bz2pp5yeyxjPO+rZYdIj1qJcWOvypV1hZ7SZoqGYMj3Z6JEWRj4WBj/4oae20iJ
/nmdIJQvOElxSwfcBExsbv7S6zIxJj6pij4kUrydJ60SE3kdtqbetXcz6vaBNleL
1Z3QCiCwyfYSk1wWu7UF1Krm0k6KD3yKhH6b1Pb+Zw6CQ4aXOlp162XzGTmUaGCh
8a2BiRN+iRrvHDMKoM5LYrsVtGbvBCecKyTv5QR9s8c8C+5c9MS8+YC3QwaIwHJb
OM6bQB6k2aO5QlXHRCx+fz02w1NOsQUHfX4+JMojzKNpNry0vAMvqaiDzaCT2zRS
ZC5RUX4bHJlsUxBU6FYn
=bf4T
-----END PGP SIGNATURE-----
