-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 06 Mar 2012 08:29:13 +0100 Source: ssreflect Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq Architecture: source amd64 all Version: 1.3pl2-3 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org> 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.3pl2-3) unstable; urgency=low . * Recompile with camlp5 6.04 (no changes) Checksums-Sha1: eb863084a213e161d2132fc86aca4a3c59b04d3c 2250 ssreflect_1.3pl2-3.dsc 7026793735fdf5712168e0fd00083117627da382 12853 ssreflect_1.3pl2-3.debian.tar.gz 9ad99f062f76f591aa22aefe2df1a63ad9ef610b 476522 libssreflect-ocaml_1.3pl2-3_amd64.deb f44818de13fbada363cbfd4401b9b3ddd625a0e9 394526 libssreflect-ocaml-dev_1.3pl2-3_amd64.deb 4f801127f6f6b571832b31f15a5c720cfa0238e8 16081096 libssreflect-coq_1.3pl2-3_all.deb Checksums-Sha256: eb88d538b76035370e984c954a68ff4b0a0d47c22e40752b308b2e9be3812de3 2250 ssreflect_1.3pl2-3.dsc 85b6306bf67a62256280daa5110086df753738e3551084b8deaff62df3bffbd7 12853 ssreflect_1.3pl2-3.debian.tar.gz 42a14f8cfb35ae18aceb2c9aac12214eac1a4e01f815962b4dde266f9f5e6dcd 476522 libssreflect-ocaml_1.3pl2-3_amd64.deb f0890fdd61f349fde7edba718b2e99e075dfc4cc58ce906f2e3530392596e481 394526 libssreflect-ocaml-dev_1.3pl2-3_amd64.deb c17331983433ee4a7ee1a5edcedb3fd9c84d77fcb72954606a67da59695f8977 16081096 libssreflect-coq_1.3pl2-3_all.deb Files: 41ce2a6701db9bff337e4d4c84c15659 2250 math optional ssreflect_1.3pl2-3.dsc 53ce9d3481cfdc46c452f482e3c14970 12853 math optional ssreflect_1.3pl2-3.debian.tar.gz 2ae4a17a345ab3f1fea92200bb17f75e 476522 ocaml optional libssreflect-ocaml_1.3pl2-3_amd64.deb aaba69eb638733fcde84157b07455911 394526 ocaml optional libssreflect-ocaml-dev_1.3pl2-3_amd64.deb c937be754c84ee7e26620079102ccacd 16081096 math optional libssreflect-coq_1.3pl2-3_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iQIcBAEBCgAGBQJPVc0eAAoJEHhT2k1JiBrTM/0P/j570C/tZKIulZqv1J8W6JLb TPqLRZqNVkTFOSQ1PrEyABSIlsI6QJS5ooE9fU8+saH+Ogo0XwLkhlj6lgFzqJ7y QENCX/ZwDJ8dOTxkWTLftUkNGchUl3Z1h+eY90odX2BjwRZMJxqH6muMCKreiC3C lgCv39N9wssJkXTZY1bv6tnq30Noe1HjcKDkKcVLhy902/NVMMPtPJluz10fyJ/R 6/yvF1RmxHL7lsrGp5TW4MXgy9NN/xBUmcVon5+Hf8WgC1fqpA40tqZ8z2C8DM7a 8i/sEyCOS/qqe2//MBjciuYlyXQfGDytJb5tiytYaUu1z+gaDajZok+hH7ebfzDC yntPEVpexFU+I1TxpLutoryHsSDCpWjKTrGkRyKjljD+mXa+vRbhXeh2oJkIHvVH Ar+1lQTw5cmzQ2oCD1icKYeud4gYo6I0jWcWBp6Ne4rZTTyc7bI0xns2+jFG4KM/ esDwKTFuCl8a9TOKWc+3d04Tv6fyngl9tOPzoTzV+pzd86Fioqo6R6yqc/+YBy/H 9Ds1jZSXkW2MfNlywBAYMaLiwueaVBfN2kZNxHI4X+pFMCwvaP6dTht8yKlqH7/d eilEYWrDRdAoRCPrijf4hDQYEg7Pwq1X3hVJeQTTf8HUOJAfm6kbcjcojWIzW0vi n7K3k0LdzbvmvdLEvRDL =d01R -----END PGP SIGNATURE----- Accepted: libssreflect-coq_1.3pl2-3_all.deb to main/s/ssreflect/libssreflect-coq_1.3pl2-3_all.deb libssreflect-ocaml-dev_1.3pl2-3_amd64.deb to main/s/ssreflect/libssreflect-ocaml-dev_1.3pl2-3_amd64.deb libssreflect-ocaml_1.3pl2-3_amd64.deb to main/s/ssreflect/libssreflect-ocaml_1.3pl2-3_amd64.deb ssreflect_1.3pl2-3.debian.tar.gz to main/s/ssreflect/ssreflect_1.3pl2-3.debian.tar.gz ssreflect_1.3pl2-3.dsc to main/s/ssreflect/ssreflect_1.3pl2-3.dsc
