ssreflect (1.2+dfsg-3build1) lucid; urgency=low * No-change rebuild for OCaml 3.11.2 transition (LP: #529408).
Date: Sat, 06 Mar 2010 10:09:56 +0300 Changed-By: Ilya Barygin <[email protected]> Maintainer: Debian OCaml Maintainers <[email protected]> https://launchpad.net/ubuntu/lucid/+source/ssreflect/1.2+dfsg-3build1
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sat, 06 Mar 2010 10:09:56 +0300 Source: ssreflect Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq Architecture: source Version: 1.2+dfsg-3build1 Distribution: lucid Urgency: low Maintainer: Debian OCaml Maintainers <[email protected]> Changed-By: Ilya Barygin <[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) Launchpad-Bugs-Fixed: 529408 Changes: ssreflect (1.2+dfsg-3build1) lucid; urgency=low . * No-change rebuild for OCaml 3.11.2 transition (LP: #529408). Checksums-Sha1: f984ad8e52770b7d634041ec376371553ced7676 1806 ssreflect_1.2+dfsg-3build1.dsc ac6199782b89623aa88a0630d7c084efbea6363c 12526 ssreflect_1.2+dfsg-3build1.debian.tar.gz Checksums-Sha256: 40946cb9498ea4f791679f3baf543a519c5c8ec6864070c2d9fc5732140b9871 1806 ssreflect_1.2+dfsg-3build1.dsc c694cc6444c7b0270cd59c0467a12160376c888c9b2cbbae08fa44fda34e9728 12526 ssreflect_1.2+dfsg-3build1.debian.tar.gz Files: 518200a6fbc734383c97ff4f77ea7f2d 1806 math extra ssreflect_1.2+dfsg-3build1.dsc d71d0b7fca88328aecc8f3a5ba12daf6 12526 math extra ssreflect_1.2+dfsg-3build1.debian.tar.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iQEcBAEBAgAGBQJLkgAdAAoJEP+gcEe5E+JxlBoIAJJcM+EGLnnyJULy7F+RjgfA EmWjEuGOAJUHYCgYEzl8tY2++GD329TWVwNFYNxgC/DTDFxfc5dYWy10Fv861n01 zkEUwfZzVY8EOFyT++EwkqUDr9kmUYCws67CuEr84moJGbZ2gaJ2kxh/m/58aoP2 hNpODOU3DKrdincQkkZDklvBDMcnOgoiQ4HvQ4tXllKuvynd9px49bxtrRvGCs3j LoIut+wi8JhWGQko1HkGgWFjqJoV5Eo+Ne66Fz3UTHKmNOz78zBnx1HGLJq7stYT nE44gH0yRSTFA0HXum3G1WeMTEtTYqhidU/rYugO/7nz3sOVUdPpB0hO0DV9qn0= =qROk -----END PGP SIGNATURE-----
-- Lucid-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/lucid-changes
