Accepted ssreflect 1.2+dfsg-1 (source all amd64)
-----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