ssreflect (1.3pl4-1build1) saucy; urgency=low * Rebuild for new OCaml ABIs.
Date: Thu, 09 May 2013 15:07:09 +0100 Changed-By: Colin Watson <[email protected]> Maintainer: Debian OCaml Maintainers <[email protected]> https://launchpad.net/ubuntu/saucy/+source/ssreflect/1.3pl4-1build1
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Thu, 09 May 2013 15:07:09 +0100 Source: ssreflect Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq Architecture: source Version: 1.3pl4-1build1 Distribution: saucy Urgency: low Maintainer: Debian OCaml Maintainers <[email protected]> Changed-By: Colin Watson <[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.3pl4-1build1) saucy; urgency=low . * Rebuild for new OCaml ABIs. Checksums-Sha1: 17aeeb88d068d98df90c3b0ef1af484118e65a6f 2330 ssreflect_1.3pl4-1build1.dsc 1a061352018afaa7ad5faaf701e244ec4f41a1bb 12662 ssreflect_1.3pl4-1build1.debian.tar.gz Checksums-Sha256: 637a239d3fbb687c69873c8284ecf0232cf11db964e2d03b52cc3b8404907529 2330 ssreflect_1.3pl4-1build1.dsc 3cace4c91e51c06500e2ecd835ea5c8f74690d3ce980e8510ab0c82bd4e3b12a 12662 ssreflect_1.3pl4-1build1.debian.tar.gz Files: e8189f1771b6c7492667b88a50c7013a 2330 math optional ssreflect_1.3pl4-1build1.dsc 613def1af70835d6d724ebc3d474876b 12662 math optional ssreflect_1.3pl4-1build1.debian.tar.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) Comment: Colin Watson <[email protected]> -- Debian developer iQIVAwUBUYutkDk1h9l9hlALAQgjSQ/9HWM8UXrVvPNtq2KwlHAhAJeOkA1CF0Bc gGEwg5M1PNAJU8KDZiQLdJCrjY5JhYI3yz1M7R3EgYS+zsaxNTLl5kxBmD1yWByw 0PZrt7q9jsfmdKXWkOn4jY42lWFK7L/7rcfYYYhXuXGCwyIq99Gt9R7Krql4JGX4 jTWwy3d02qq2MIKV1bRMJh3rxxpCZCb+tq3+3/sP6leLdpjf4MHm/aI434DW3pGU lLqThyrFQx4KQqK/+nckhO+FwO0t79KpU1ZSWxw1RuIL4z87tKfepcjFzqh1fVqR rvdgPGF0g01aztd77z/BWsomDPf9+B6HeFjFXR96CDanvnuZdcgl0Inrkp8lCeGT 3GHl6SsODc/jkRN28+ir8nKrUJKZ168bYABhJrnxNxYnKv+ULyKKnb8gQhU02Rfy LXEpl4IWUKNbhjH1xwyVkvs6ZEAGQTWlGhNGtYmKOpMkccxKCSejAh50bUFlYZJa SXSSjPiBq+qq3XmvLRXY8Ucy239wiLYvpuviv5KYCibfaZ7UgJz/4ZRKKkrRKnwO +laGg0Q182+sgQajRcTnTG/bO7cJdl7lDvbPg7d0rJjrOWLzfKjoAlX5B8XZ/oDg XLyuT61fV2xDb9aXnTyZCz6KpEM6wZ4bpT/SQnAs+W5kGsH4eNHajNv8o+SiR9DT 9RQhbLChBC8= =vRFW -----END PGP SIGNATURE-----
-- Saucy-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/saucy-changes
