Accepted hol-light 20130811-1 (source amd64)
-----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-----