ssreflect (1.3pl1-4build1) oneiric; urgency=low * Rebuild to pick up ocaml fixes on armel.
Date: Wed, 24 Aug 2011 16:41:20 -0600 Changed-By: Adam Conrad <[email protected]> Maintainer: Debian OCaml Maintainers <[email protected]> https://launchpad.net/ubuntu/oneiric/+source/ssreflect/1.3pl1-4build1
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Wed, 24 Aug 2011 16:41:20 -0600 Source: ssreflect Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq Architecture: source Version: 1.3pl1-4build1 Distribution: oneiric Urgency: low Maintainer: Debian OCaml Maintainers <[email protected]> Changed-By: Adam Conrad <[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.3pl1-4build1) oneiric; urgency=low . * Rebuild to pick up ocaml fixes on armel. Checksums-Sha1: 25ee84aed26893ca8dffadcdc44330d192dd6732 1497 ssreflect_1.3pl1-4build1.dsc 0b871cd3b06889e6f943c99fe15ec9aa191f4b8b 12345 ssreflect_1.3pl1-4build1.debian.tar.gz Checksums-Sha256: 0be402e0478ff9456c53eaca7ad786c1311d9f18d1e6756f0d15c93560430513 1497 ssreflect_1.3pl1-4build1.dsc 4aa1b943806d2387a1df7762214ae7d3614dbafc90554216798f9d6bcaf5930b 12345 ssreflect_1.3pl1-4build1.debian.tar.gz Files: b77a8c3adc6da7e3799c1d65afefd586 1497 math extra ssreflect_1.3pl1-4build1.dsc 06cf32bdf71b8377fbb9f7eb9773d8d9 12345 math extra ssreflect_1.3pl1-4build1.debian.tar.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iEYEARECAAYFAk5Vf8MACgkQvjztR8bOoMlbLACfaeo2+9fnYlFb6XayC/f7/e3b V98AoKrZyNETyelkYWk3gPBtQ57Q+mE7 =2MhH -----END PGP SIGNATURE-----
-- Oneiric-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/oneiric-changes
