Accepted why 2.40-1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sat, 12 May 2018 09:21:13 +0200
Source: why
Binary: why libwhy-coq
Architecture: source
Version: 2.40-1
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.40-1) unstable; urgency=medium
.
* New upstream version.
* Bumped build-dependency on frama-c-base to 20171101+sulfur.
* Updated Vcs-* fields to salsa.
* d/control: dropped architecture lpia.
* Bumped build-dependency on ocaml, following upstream's INSTALL.
* Dropped build-dependency on ocaml-best-compilers.
* Standards-Version 4.1.4 (no change).
* Debhelper compatibility level 11.
Checksums-Sha1:
36d6eff582d9ed5d775b028ba2df9a5f37ffaa2f 2325 why_2.40-1.dsc
18c5a65a43278d5df8bd9243b217fb00ec328211 1498394 why_2.40.orig.tar.gz
bf9bd5de2bad7143a5305a821b7fb3c04cf065ed 11752 why_2.40-1.debian.tar.xz
f787b483cbc80b42af465ca3c208ccaf2ac62af2 8851 why_2.40-1_source.buildinfo
Checksums-Sha256:
4f40f12015cc19bd4894a8cbfbbed4539a85d30ec097c956f31605e852a4f6d5 2325 why_2.40-1.dsc
285235960f2b4db9a40a5711a1a673611367a4106f6140d71d6ef3a7fb5d3540 1498394 why_2.40.orig.tar.gz
de8483c4e912d502be659c21c47c70ac6f1c628083a60cdd81eb465eabb586f6 11752 why_2.40-1.debian.tar.xz
020aa9b2394c797fc25b22404e3b17f18ab3feb68e0c7fa3339868735cb98f22 8851 why_2.40-1_source.buildinfo
Files:
099b5b287c22ea71cba255e3aad18329 2325 math optional why_2.40-1.dsc
8032066e59163e564631ab566a212ce0 1498394 math optional why_2.40.orig.tar.gz
9666a71d7a73edfb2659181f4f0329b1 11752 math optional why_2.40-1.debian.tar.xz
ed125515f1557e6c5f33d4b804b45694 8851 math optional why_2.40-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlr2mZAACgkQdFxHZtTK
zf/lkw/+I53vbNnWMF874FpB3YZyp2u76Se95f6eTTAZG/f+UXlf6m6+WDYMuWP5
PEhpVLnOb8bXCT2IsQg92TelSuG+16Ynb6Oka5nrv+2YVTyW+rJPxoFrbglZ5tls
9397EqXG71rfQZKOllXNxeIy7L/eUhwh0DY2jBy5H7exasn3uCeXjFCv5WaUU628
I3yimZsPpH5VpJajojAMOhWb/t10EVqPJnqZyAYJrX1BkBp7YpQ3rh4jGfeZEdeU
4L/0Zztd7Ro5vwFrOoeHn+N0prv/TsoM5hV6pnLb8ggjHxsmi3T18ubd+P+KaH6T
U7tdR/A8BDtqzejxoagEztKuC+jRMJ/mforT2zeaFq8pJP6RaK8GBl/31YUz+CF1
J0KK2Mn5sCUf0MwnpLym4d/zHt24z2Xvcl3a6hEqqeFvOfr0OIS6yUObfI8YizCH
95kx9YcIILRdD+brv25v5k1672AcL2J9RT/J/l2shP5KoxihjITCN9Gpy+XIQJZl
XVT3lJ3tkN95gNd8Woo5WmvnwL+4m0Rc7jb1MT+Q1UIzVJVse7Fy0WQCtPEG3kJ3
ktysi7sp6dPwLRq409/pVf4aWnzgzIj8H4wSp6v3bCi+GwE42CxfP7ROQeG246va
8N7H/Dk2D48dyxbEsDOyI8IKcLgEBcGr+OAnjPFozAEhay+iWy8=
=Thar
-----END PGP SIGNATURE-----