Accepted hol-light 20170109-2 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 02 Aug 2017 23:05:25 +0200
Source: hol-light
Binary: hol-light
Architecture: source
Version: 20170109-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Hendrik Tews <hendrik@askra.de>
Description:
hol-light - HOL Light theorem prover
Closes: 868606
Changes:
hol-light (20170109-2) unstable; urgency=medium
.
[ Hendrik Tews ]
* add patch camlp5-7 for fixing FTBFS with camlp5-7.01 (Closes: #868606)
* update build dependency for camlp5
Checksums-Sha1:
9d914db2a7d838e6e3426305287c221c02f8d05f 1683 hol-light_20170109-2.dsc
9a723b5a3db825d6e1490309d9a23e83821b461b 9488 hol-light_20170109-2.debian.tar.xz
Checksums-Sha256:
fa729b57525d5b6e58a6b63dcab6431593ea7a0b69256f83c36295c8f7d199fa 1683 hol-light_20170109-2.dsc
f7e4d38b42637af899412b4f258f0b25b39f354022642c4c9e5fc275ca3dff7f 9488 hol-light_20170109-2.debian.tar.xz
Files:
2fbce29add379c83ce39b8567b729982 1683 math extra hol-light_20170109-2.dsc
b94dd963bc2c3b009a83eaeefc45ab9a 9488 math extra hol-light_20170109-2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2
iQEcBAEBCAAGBQJZgnoVAAoJEMrC2LnNLKX5WygIAL2/etvSrAgPtY+Q+Z08gvzI
A6G5UPKUe4SgrcsFvEljMthGssaMFmpxlIce1lfxET6EJsQ8B9xkg2pA9qsXsqv5
OmlXDs+SvuB1bOqT7O1IKKKzYop7fGKmXERNezXL2WlZtALH1pq391uZfzfT0g5R
jO0F/Jf42gk9nMstjK03j8msWYiSi8/ze2jz2kCwqcji5tYnKawfcco24I5y9QK3
1Kcro+9nhlQZriiVMCgY5DVM6RCGUnN+AMJUnnHOENRhZN914Lr9cav9cfKC8SIn
Sl4wDvtsZk48Q5XAKXdydx1/G82TC4mGj6l+mPM3vey1jT4K9HVP1gWo0ENtPlM=
=7y/D
-----END PGP SIGNATURE-----