-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 26 Aug 2009 23:41:27 +0200 Source: ssreflect Binary: libssreflect-ocaml libssreflect-coq Architecture: source amd64 all Version: 1.2+dfsg-1 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) Closes: 508468 Changes: ssreflect (1.2+dfsg-1) unstable; urgency=low . * Initial release (Closes: #508468) Checksums-Sha1: d35f093a88448d276478e3c6cc5fc56b1f4f6b3c 2064 ssreflect_1.2+dfsg-1.dsc 2eb821b6d7660688f24b9158dbe3ee2ed2182282 332281 ssreflect_1.2+dfsg.orig.tar.gz 7e13449f00091f24be910d949c0a048c7ff621af 12376 ssreflect_1.2+dfsg-1.diff.gz 30957386bd6768d6de6666b8a107e1b4cf9e65e7 385188 libssreflect-ocaml_1.2+dfsg-1_amd64.deb c2b9669f3e62aef748b8247f3ffddd36cac9b784 3624536 libssreflect-coq_1.2+dfsg-1_all.deb Checksums-Sha256: d424a9cb3b1602ef9955ca4f8fb9c84f8350c5a7654316650f5e92d8fd4acc84 2064 ssreflect_1.2+dfsg-1.dsc be53184a5fffea4e055f616461f2adab660e1424c73d146b898ee35f0921cb94 332281 ssreflect_1.2+dfsg.orig.tar.gz c08d901ae960308b338754165163e26f35709b69d254693fff0ea93d0b2f2715 12376 ssreflect_1.2+dfsg-1.diff.gz 85e2a8a31b8b7fee12d61dff0505f820c9f43d2f250b7e161ff21ac49678175c 385188 libssreflect-ocaml_1.2+dfsg-1_amd64.deb 572f59e4f0b6b1c61a513b5cc723af2d08268b14d5bf133a1a2fa91b38acb1c6 3624536 libssreflect-coq_1.2+dfsg-1_all.deb Files: 0d04121c6f8d0354ce239fcb76c02ef5 2064 math extra ssreflect_1.2+dfsg-1.dsc e0815fa981ea23087f7de90d9487e581 332281 math extra ssreflect_1.2+dfsg.orig.tar.gz 37da3dda3147f72460fce28bd3f260c5 12376 math extra ssreflect_1.2+dfsg-1.diff.gz 1938384ce17adfe4a8e92ef2f9354801 385188 math extra libssreflect-ocaml_1.2+dfsg-1_amd64.deb 35ba32310d91f345f8ce534244d18865 3624536 math extra libssreflect-coq_1.2+dfsg-1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iQIcBAEBCgAGBQJKla7oAAoJEHhT2k1JiBrTETEP/iBahPb0TRCRZCn8EJXU1xG3 zJeQysi16rmm/xl1ciYE8hcxe2PAYfOpQAodx4oLSpyNkxfCgT01L2BDxQP+WrdA h1ULtVgjytyE8EaFvDjyEDs++WHIVBvUkRh7i7aRx53rtsL398IwrHSka+WoGe3j +hu7/9OUeZYmx8xZ+LKZ32RE0XpzJ4kVgMfCZkORr1tTDW1l38kVjq0FulsppglH yr16y+V+iq+Pp6lo7/7CVYfVK2/nCQy2nF906uRvzZXcyOYT4AX8dxiJD9a4V+UU 0Sxh2TP4hM6oyu9YMhGZpRdgtIOVw1hYDJvXZpC/mqXyIhWUBr203/050mzT9YWS 4CcxFVkw6qAH76wyatOzjfvbCyDvzcyIYNtufiKEE7U0NJw1kYmdR0BdHnf4Kaq0 YFz4w9BJ1QoDkQM2isZdfTXm5tEu2xCIoVmY/bEFzfzHHul0bxYKJiUzhQa60jMD rWUwKzaISUPCm0mz9P5bWPgldxmp0XS5aPinzkwJsFEj/RWS1Y7w8zZddSw/jx1L gPVwQ7bmEjZH7cjMzuf5aKiNOmpRIgJqDnmbIl5jvbRBcnZiRiD++lk4+/iKyFIy rgFQe9ld+vbvFfKqHHHKef8w6oYX1JL8FfDo74AcP047c8QHle/7BsrNZ2Az6MMV Qj35avH+nK92ZeBoDc2G =dH2l -----END PGP SIGNATURE----- Accepted: libssreflect-coq_1.2+dfsg-1_all.deb to pool/main/s/ssreflect/libssreflect-coq_1.2+dfsg-1_all.deb libssreflect-ocaml_1.2+dfsg-1_amd64.deb to pool/main/s/ssreflect/libssreflect-ocaml_1.2+dfsg-1_amd64.deb ssreflect_1.2+dfsg-1.diff.gz to pool/main/s/ssreflect/ssreflect_1.2+dfsg-1.diff.gz ssreflect_1.2+dfsg-1.dsc to pool/main/s/ssreflect/ssreflect_1.2+dfsg-1.dsc ssreflect_1.2+dfsg.orig.tar.gz to pool/main/s/ssreflect/ssreflect_1.2+dfsg.orig.tar.gz
