[ubuntu/xenial-proposed] hol-light 20131026-1build2 (Accepted)

Łukasz 'sil2100' Zemczak lukasz.zemczak at canonical.com
Tue Nov 3 15:20:15 UTC 2015


hol-light (20131026-1build2) xenial; urgency=medium

  * No-change rebuild against ocaml 4.02.

Date: Tue, 03 Nov 2015 09:19:15 -0600
Changed-By: Łukasz 'sil2100' Zemczak <lukasz.zemczak at canonical.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/hol-light/20131026-1build2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Tue, 03 Nov 2015 09:19:15 -0600
Source: hol-light
Binary: hol-light
Architecture: source
Version: 20131026-1build2
Distribution: xenial
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Łukasz 'sil2100' Zemczak <lukasz.zemczak at canonical.com>
Description:
 hol-light  - HOL Light theorem prover
Changes:
 hol-light (20131026-1build2) xenial; urgency=medium
 .
   * No-change rebuild against ocaml 4.02.
Checksums-Sha1:
 cd2ef28a7892c8d4fa4220a03dc0c5b23b6dc4dc 1701 hol-light_20131026-1build2.dsc
 5ce9b02f14cac2923cdcb31b5a46871655682fd3 8160 hol-light_20131026-1build2.debian.tar.xz
Checksums-Sha256:
 cf1040bbe01f1fb4402fbb1ca522422c2e35927bd3b8b1bca1009d25571dd3ab 1701 hol-light_20131026-1build2.dsc
 b7299afdccc5ec3aeb179f4132c48f57d7d531dc0ee7bc6a6f28c5efc26df6c5 8160 hol-light_20131026-1build2.debian.tar.xz
Files:
 4edbfd8ba0fee43838e6cdc5da8d76b0 1701 math extra hol-light_20131026-1build2.dsc
 f558cb030cee4cfcf3b839a58cc0f365 8160 math extra hol-light_20131026-1build2.debian.tar.xz

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

iQEcBAEBAgAGBQJWONCEAAoJEAIZyhnQNDMMLQQH/1/2OpaqXEmW1POVigvKztDp
gRAldXmFHAwisybUH0/8jAA+6oBpL+0ZTtyqsa7wDpDTLRgILgV7sm9sluqdF7F2
EP9HgQy3hZEoz34MsXFgE9FvHYSdEuUcZg0OqdWvNGKvZ0pdPpsIQ2Kw+OMN5u7w
dk+o8VBCEImHvtL1YSG36Rwk96VTWRTzp/948sMiXkbaoGJycgbGb7i8+GR3Ey9l
YcRwdS4HWrMghTbL9LLL9H0DVl34b6jmQW6hWUwiQsB3qlljDTYvGClbovhO3i0y
kGkkGmuUg47C2xvmjnDNIlQOSS/UTl1DYIiq8rBObLIxIR4csinxoZULsjOVyFo=
=JvoD
-----END PGP SIGNATURE-----


More information about the Xenial-changes mailing list