hol-light (20131026-1build4) yakkety; urgency=medium * No-change rebuild against camlp5-ixut4
Date: Sat, 11 Jun 2016 20:13:01 +0000 Changed-By: Steve Langasek <[email protected]> Maintainer: Ubuntu Developers <[email protected]> https://launchpad.net/ubuntu/+source/hol-light/20131026-1build4
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 11 Jun 2016 20:13:01 +0000 Source: hol-light Binary: hol-light Architecture: source Version: 20131026-1build4 Distribution: yakkety Urgency: medium Maintainer: Ubuntu Developers <[email protected]> Changed-By: Steve Langasek <[email protected]> Description: hol-light - HOL Light theorem prover Changes: hol-light (20131026-1build4) yakkety; urgency=medium . * No-change rebuild against camlp5-ixut4 Checksums-Sha1: 81b83923a427d6da6f846fe7c0f9911ecfd1eb19 2128 hol-light_20131026-1build4.dsc 86bc0de56e732021def086e058832c5c1364267d 8296 hol-light_20131026-1build4.debian.tar.xz Checksums-Sha256: a2906f3e8ce8cb99013dc81adb536cfc9fee36e334d07fa022cc12af20f58516 2128 hol-light_20131026-1build4.dsc e8e0a4196bcde4eef18f6d074aae22d8fa9bb0d6fe049afb6df366f56d922015 8296 hol-light_20131026-1build4.debian.tar.xz Files: 6c794f6359fb8cc980dc728ccb551a3a 2128 math extra hol-light_20131026-1build4.dsc 9f40e48433b0b7084b54530c862c4502 8296 math extra hol-light_20131026-1build4.debian.tar.xz Original-Maintainer: Debian OCaml Maintainers <[email protected]> -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCgAGBQJXXHDaAAoJEFaNMPMhshM9p9IQAKWqJ+sh+lyQaeH8D6Rnp+fk xiElUWUjrUX2laxaJl7qbfoJTdWvJWr6c1ib5ee/y0A4cOr75Hh598FNJbY4TlP9 oF1UG5JEVIIWChZoEyu+2sPu0AJQevVWCk80/mokDTEco2f3MyN3WW6dXCPqqJBm oizvdx2u8Y0YRlbZ2lCPSfO74dJzW0urTxrjnCOe2Y5jRzU4XRx3SSqidDMhLGbt G21eV51Y1lWlKZQyz6e02WqQLjIIk9+he1pJlRbw9yj4oviY+wZ13amvnJYBH+dc mMF27suuY313UIK45w2KbBLfkraDCNhaaROQy32rWE/jXvKgfTP1/05PmmWjboJK 9eBLwFC8IiczfvNMaHcFljJE4I9s8w8MeZphAejvjBFRa8dPCY6kpij8Q/+3zHu1 Fci9P0JXzStwNYFGMEdxNYNmEKEsy1gUSk2fWSL840cQFSy+gtEjy8/oD8q6NT3F 4M4V8/YF6B+umSgHDgWQm9fis0F6GnRJFj1RcBzUomMhMc7BPzdWyz7vVSOlzGG5 I0I6BZXvS8zgYJgx/lcYrqtbRjQVC3+MzIKa5tm62Wtrmm+Cqf3ATgBRfAJpEzMr XjzA2GvrMUtzbnBm89VfqI5IAy+ggbstIjTGKHdeCA9otcAfFEK62Xx1H1twM80Z 8ex0OOB/u2bf8Z1YK38F =Kk5v -----END PGP SIGNATURE-----
-- Yakkety-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/yakkety-changes
