hol-light (20131026-1build3) xenial; urgency=medium * Rebuild for new OCaml ABIs.
Date: Fri, 12 Feb 2016 11:56:02 +0000 Changed-By: Matthias Klose <d...@ubuntu.com> Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> https://launchpad.net/ubuntu/+source/hol-light/20131026-1build3
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Fri, 12 Feb 2016 11:56:02 +0000 Source: hol-light Binary: hol-light Architecture: source Version: 20131026-1build3 Distribution: xenial Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Matthias Klose <d...@ubuntu.com> Description: hol-light - HOL Light theorem prover Changes: hol-light (20131026-1build3) xenial; urgency=medium . * Rebuild for new OCaml ABIs. Checksums-Sha1: 31be6620a1e74ff8fcf0e7a9e1c379e876ee418f 2049 hol-light_20131026-1build3.dsc 81a71486164a493f0e15bbb8cc56ba386516764c 8192 hol-light_20131026-1build3.debian.tar.xz Checksums-Sha256: 321fb423fbd883989e04f9a44d85fa117e9da49b04c0325b45fc92f19c989bc6 2049 hol-light_20131026-1build3.dsc cd5cd54c162f7fcc094ac2dedd7b09e954400621da02c0e3f0698e268733d023 8192 hol-light_20131026-1build3.debian.tar.xz Files: e7fa57dabd5e088443d1803d5b8158d3 2049 math extra hol-light_20131026-1build3.dsc 1f5fbdcdaefc883a2588bd97480b0a14 8192 math extra hol-light_20131026-1build3.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJWvcizAAoJEL1+qmB3j6b1qioP/jXNvZw75H/FHoU6IABvjQDc e5qfped4sdTAC/NaKwZ1hUoAR7ZqftKO+00Z+Y2MZ9XZS91EtsaV3SobYgW6AgGg VYrl7nUGivq9VxLkfJJ00I4yb2kM+T+0Aj5cDRgsFn4PSOqw9iSNuitymRJcnvF4 3Q7TrMdzQwVLfOYwsqt/VcQfAN7LKlKUpgolQ8mqPvCOS4Jlz6KyCltsVKDsmWHI syb8M/jtxhoN5+Jl6vn7m1t35uG8mKmnBODk26DINJvx4BvmS+aJYhw3igtXk2ya grFqGDREz33qPFaHVb+kcwHzOvfGe+J5ypmP3VpcHjQ1ZWyMBBZVAbnkDrwrLVLL zbOPcx3LMI9Dzq3fJUTmqbNP+Lx7UrybogDHJZn3SmPqKGhSbr7lL2MO+SgbVzpR uD4YUSnijN/FK6dFt+0W+okkFQGwbsTnADLlOtraFRz96z3aTqeRq1XtATU7RsOb CXzsaC0xwGlLdu4Afo87RT1AqYuDQQQZhWZfZeIoN/A9j5qheiEgCaEVHEpTJWGL lZkv7jKwrBSeZ0irl/ZtsZqyigDYb5HyI+/yLOlL/SqmEDQqObv+KY08766k0n01 3hLzrYgsL02FoUY0i8bXhSdVH3wGha6Z1WZvBD2S3eGUpNlXWvmFxB8jbp6yMttz YrxchfB/r82OFy+n9B3t =BVKl -----END PGP SIGNATURE-----
-- Xenial-changes mailing list Xenial-changes@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/xenial-changes