ssreflect (1.5-3build3) yakkety; urgency=medium * No-change rebuild for new OCaml ABIs.
Date: Fri, 06 May 2016 18:48:18 +0000 Changed-By: Matthias Klose <[email protected]> Maintainer: Debian OCaml Maintainers <[email protected]> https://launchpad.net/ubuntu/+source/ssreflect/1.5-3build3
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Fri, 06 May 2016 18:48:18 +0000 Source: ssreflect Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq Architecture: source Version: 1.5-3build3 Distribution: yakkety Urgency: medium Maintainer: Debian OCaml Maintainers <[email protected]> Changed-By: Matthias Klose <[email protected]> Description: libssreflect-coq - small scale reflection library for Coq (theories) libssreflect-ocaml - small scale reflection extension for Coq (plugin) libssreflect-ocaml-dev - small scale reflection extension for Coq (devt files) Changes: ssreflect (1.5-3build3) yakkety; urgency=medium . * No-change rebuild for new OCaml ABIs. Checksums-Sha1: 56ca95fcb6cb918a3723b05f05eced2eadf9d2e6 2259 ssreflect_1.5-3build3.dsc 0b14d43063a30f0e8aa34c5f9fb54735ce9a8ec3 11648 ssreflect_1.5-3build3.debian.tar.xz Checksums-Sha256: f0a9d68248c7938c634afba972d8008a7fe83eef75d9a5ea95185d9e791e6aa6 2259 ssreflect_1.5-3build3.dsc 124b39cfe23725437c28bc8d47512be81d6ac1622c74fa892c030f8c66be05fc 11648 ssreflect_1.5-3build3.debian.tar.xz Files: 5709283127f5a13a975d8d99fcade6b6 2259 math optional ssreflect_1.5-3build3.dsc 2790f80eae04a0b5a34e9ee72fa7a990 11648 math optional ssreflect_1.5-3build3.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQIcBAEBCAAGBQJXLOcGAAoJEL1+qmB3j6b13mUP/1WlS5k8GrF79ALErQE7mk6m isWV1OEAir7FNEpwPRqmc0y5Z1VyIGNgbn9/leXGvD5My2PMGaQprWklZb/75FlO WGjdm8oCb8LR7PI0A5quxXUCfy7ZCjcEo3FQEoluoV3k8DMAYqze2AHTyye0Tvy2 QRzykHvC2v70iA5lA3meod7UEI59VEA8XCs5+7XJ/L1B+zg4EreN6dcsgB3ORVRW hAZDeTkPuieREfwT/LSm5xgZsShFEvSSjTmzo9P2BWxPgO4S5SYkJuE90OUxCxnG kjrW0P9vUKkAM3rXGrHnemr+f9AIwj1CeH0ch1qq9cmzFFm20jhkKAnuLoUJhSvp cKJzzgfLeUst+bdPCM8+gGSOgy2UqXsXPfTkDaNfnDnUdYZKMp+EU7nd/NotntVw WD1vupVEENd1+dJ0yTFRKKr5w0M52w++7VJszh6isY/hH4yRghMSvgzc+oyniBAL svAcOLwtVTmIpyNiZx7qgkoPMsz/ppF+NnjdHNRkwzQXlHjDMWkHq/dnvKULY7LN gJC1i1AAzhCYpLTgjkHnahstw4QbrA44ARnTIWpjsPiMz2xEKj/8h8+paZvpop6X uXl9lOCJrjq1048ktAfUK+mvv13XOkizGOPMgDdLRkYIlT/p83aoHKH3N6vzbXW7 Koa5a5oFHcBUzWhdYRUe =mEBA -----END PGP SIGNATURE-----
-- Yakkety-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/yakkety-changes
