Accepted hol-light 20131026-1b2 (source)

Matthias Klumpp mak at debian.org
Fri Jan 15 11:17:27 EST 2016


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Fri, 15 Jan 2016 17:08:36 +0100
Source: hol-light
Binary: hol-light
Architecture: source
Version: 20131026-1b2
Distribution: staging
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klumpp <mak at debian.org>
Description:
 hol-light  - HOL Light theorem prover
Changes:
 hol-light (20131026-1b2) staging; urgency=medium
 .
   * No-change rebuild against current OCaml.
Checksums-Sha1:
 0e6b861efd5cfe4f7df45edbed635032a1b7a5e2 2031 hol-light_20131026-1b2.dsc
 7673e096a7514a93b0a6a654cb2a94d6d717d66c 3261007 hol-light_20131026.orig.tar.bz2
 27023c50a4f1bdb1cc7999e5eb7c1b69f5b306ab 8124 hol-light_20131026-1b2.debian.tar.xz
Checksums-Sha256:
 b796ccf33073167084648224e0e6750ccc4395130652c012804b25c15d02195e 2031 hol-light_20131026-1b2.dsc
 17bc152b7b8e306a9937948a27a16e4547f337aea0f6211df6ce1b2f8c924888 3261007 hol-light_20131026.orig.tar.bz2
 26ecf9d37a6e27feae17cad04628e28fafdecdbe754e82fea1684b52916c56e7 8124 hol-light_20131026-1b2.debian.tar.xz
Files:
 e0ab3cae66e27f84a4a609862ae9f948 2031 math extra hol-light_20131026-1b2.dsc
 cae02c5f4d039426f6769caf9400761f 3261007 math extra hol-light_20131026.orig.tar.bz2
 b54249c939658ce8b53290756f572d34 8124 math extra hol-light_20131026-1b2.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBAgAGBQJWmRmIAAoJEElMil+/TezrcssP/0BHEdaQ841W9AG5ORymS5rD
+u5nbwQmpVQSZJQ8Utv16AmmqJCnBJqXmAZPAs1rMwcxOZDStfWlw3oMdM8a861Q
oov2n3yeG+BLgzwJ1g5Bh9t2YuE5w5Ax9GCmB2OWDlYn3kvqUwJpHg9Q3tss5IlP
q2qHws2J3IWknmwBT+k2Mr9ErXBIGpOd2CD0dY63LGHjXvhJEt08md2T016Y0hnG
eSjAGsvEsw9JGC0AmQbQr6FN9NUYeHvb6tE5Ayk3Va9OWEN/eqqm619z76zGXr2/
Zz4kNqvgXqSegFtyjez8i4FLgPCGQ6opmFVbHe/HzJ2S2WeHY5flud7M7wuB8GgE
X1p6XNurIdS/hzRhu6b8p2T1sf/N1hKvlQLkrRDDamYm8uDiK1B21SVQfJEPUfJj
l6YvmFclT8CPuBlqsFVoSVDR8AjaWuI9wuZYY/ZicBjbDs6/W1R5xoy8Z/q2FMYQ
fuRG6KT5j7aJ95ulTV/kPoXxIjbogNfcRZspAJEj80HrhyfrSPwvv66PUawyRjzJ
bZMiCqSwDncGPDHWXvVCshEEjWmpS2RsC5Eez5tRCf8yQHoVduxT6K8Q9AA+BDrX
hWkSelvLxl7AInbUkzTc4VWuIhTgHw2+zzeVOt8g65W4Hq0lR0ZlMWQ9xdWrMUNC
SjfaaORvHrGEDQ3W5Dl3
=PL0y
-----END PGP SIGNATURE-----



More information about the Tanglu-changes mailing list