-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Thu, 27 Feb 2020 22:13:34 +0100
Source: menhir
Architecture: source
Version: 20200123-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Changes:
menhir (20200123-2) unstable; urgency=medium
.
* Removal of coq-menhirlib from this source package:
- add coq-menhirlib to the gbp import filter
- clean debian/rules
- remove coq-menhirlib from debian/control
- drop build-dependency on coq
- drop debian/libmenhir-coq.install
- remove stanzas relating to coq-menhirlib from debian/copyright
- drop as-installed test coq, and its support files
- add an explanation in debian/README.source.
Checksums-Sha1:
aaaab4402c51cb590cc0dcde9e7e5ac44b1db697 2209 menhir_20200123-2.dsc
b752a92b8a70dec2d76434300a18c688b6ab9bc1 12908 menhir_20200123-2.debian.tar.xz
ac6d24d36baca0122585bfcfe47b3e152d84c029 5989 menhir_20200123-2_source.buildinfo
Checksums-Sha256:
fb88968676cfa185b313566fac7961a93aa5a9714abe3a20e46fa31f2ef032fd 2209 menhir_20200123-2.dsc
9fbf49d2c4f7c2ca23573e9749b4eddfc3542e51408fccc99a0960766e38353a 12908 menhir_20200123-2.debian.tar.xz
540a7b12e27e105fbf87cb579e4588d17c2b3e5c96bf8eb3c3155b8af14cf82e 5989 menhir_20200123-2_source.buildinfo
Files:
726260f5e9b16dcb6cccdb875cef7258 2209 ocaml optional menhir_20200123-2.dsc
dc7c00329b9dee09b116a193eb2f81b3 12908 ocaml optional menhir_20200123-2.debian.tar.xz
0639991d452f686573e76e494787d1f5 5989 ocaml optional menhir_20200123-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl5YMt0ACgkQdFxHZtTK
zf+GxQ/+PWf07po5AUbZsOHzIIaquFt+kJuhykX7eA9pA+4br7qA0QTGfMEPGoGl
UTXsqYjmXBjBUupXrL725mM0vaqph8eMuM/ip/2odvpeOAXs3klpTBa8t3HS3Quj
L+FoVAEHK9PMrd575hfI5B+jXRbSuVGAob0+U/iE0ARq119i0J9zvviGHjpG0iiG
DCAvAAlnEgUt6kXXAECAiMOjPb//asqhKmtm1TWU9qQbd5BT61Qrm2ggAjkfYqgo
86wmfN5SDtJH32UlJNhFE0VU//JWMGj4qABHQmbK0e/C/2ufeB2OlfYAmqUMyEsy
F1uCMf+mlh0+0MoHLcV82KmsbmNMRCbt8YQ68xJ3HMMc4o0w/DJMoFmCoVrXJcE6
8AzuNPS/Py545bOisJyxipIE3BNZ2p47JNTFoNETULi/pqqttc4F5VXQfv+R1d4L
QcjDmmVva0guuy4qz+xbn5PHTgBu5r8ViiOwiK+qA4j5ToY9+KoOuOrUKuXR6tYJ
u+NClGVOS2pIGun/O/bVMiz9GWOUaveRcunAHS2qhv5Ol9wdE5/zcWG8K7ewA5wT
SD634lWwerJWi9K3KkIVmqmAc5ln17kxM0vZXnrLveLmgPGKu3iMO0Qqp2EWRdAU
spN9EBhqgMG0j+6vfhDKi+ydVRdwrGaiQ1a/LcMOoIkZXwD2URE=
=RTa8
-----END PGP SIGNATURE-----
