-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 14 Aug 2013 22:45:11 +0200 Source: hol-light Binary: hol-light Architecture: source amd64 Version: 20130811-1 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Hendrik Tews <hendrik@askra.de> Description: hol-light - HOL Light theorem prover Changes: hol-light (20130811-1) unstable; urgency=low . * new upstream version revision 170 from 2013-08-11 * fix vcs fields * refresh patches * delete include-compiler-libs patch (applied upstream) * update elc file path in hol-light-source.exclude * update copyright Checksums-Sha1: fc49e6853b74589727b7e0e8289503ed9c015568 2034 hol-light_20130811-1.dsc 33f772cda95bdcb18d7ae33cbc4884b14c4c1390 4248200 hol-light_20130811.orig.tar.gz fe1a696d255b55c135cacfc5a1acbad3fbe42c72 8402 hol-light_20130811-1.debian.tar.gz 8cc1538dc69153888c1e63bad6a37cd24884713a 2974920 hol-light_20130811-1_amd64.deb Checksums-Sha256: eeb91e9ff7cd03b675b31c50afd1454bebd0f732425813e527236b35e0695e92 2034 hol-light_20130811-1.dsc 1aa98e1cbe899cccd4515f0f8545fb272820f5df88a3260ef272674cf39673d2 4248200 hol-light_20130811.orig.tar.gz 1e123332bbe52b9e2e0f96faad2e798fffa09ef9c77ccba9925d50a47cd4d833 8402 hol-light_20130811-1.debian.tar.gz 4dd2934069439d841b9fd886d5855ad7996f2682d97dc3655561adf9ea001573 2974920 hol-light_20130811-1_amd64.deb Files: 8a31df40344c637cad55acaa61f82b97 2034 math extra hol-light_20130811-1.dsc 9b039827f5f89837f69c6ec0771b0cba 4248200 math extra hol-light_20130811.orig.tar.gz a17531b3c3cc8cea6edf6891fa2c6fb6 8402 math extra hol-light_20130811-1.debian.tar.gz d039a2de77885224d32b43c2b75fa5b5 2974920 math extra hol-light_20130811-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJSOcyDAAoJEHhT2k1JiBrTw9AP/2LxqksOnksDAYqaJaDFoHlB ZREoskc+/BvoH5UzDS/oIFH1mChVfk+BBoT29Jdrur5dUeMWPwsUoMg2AROsfE8N atfHbjnEYhxhqE6b5y7U7GPmXR3hfYwPpYV+cy/h5uKO60vaB/hC+/CZs2lX2K6/ pPcGX7HEC2n+IrxyZWQdxQVK89BZyReMlSHwUx80v68DFtvicnUAvglI5K3ZVKA4 F+QVMQ7YsQV78Jz/moPzqFc2Skz5a4QUU3uGkCF/uXkhBnnWv1oflskhL4XiUAgi y5en2gSdG2w77kOjMqnp5S4xyQyzCIGu32glNzNEpKSHQLH7Ly+W+h7OjfkA8pc2 m9Ogc60cs9p3zbq3lRcAcuVL1Z/A4eCkNbePOxca9h+gAsapXymd/8Mqr59My6Cf 8EnlhBHZ/CF8pP6TWxKymWcKpOnsq0vpMNSd7BEUPPlYGKzhJN/aDZEBOFdQ7VxC QcxrsqX1Be/UzS5wfMT6Oak7bDSAcb2KNjn5N0FlhGg1xyHzUJOSgp8nw/5RpAHi w744koPMP0mgT473YL3DjCZ8zDbscX8QpIwhqSagHGNwvjD8T2cbi7WYSoIPNu5O 9LV2yE8fAQfbCSQp+FenPP6E/Fol0PD2YugKtECoK5GJCpg5T9+buyexu0gU8KNL 5/rtLnvXItRiVcUCEfRN =ms1i -----END PGP SIGNATURE-----