Accepted ssreflect 1.3pl1-3 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 21 Apr 2011 13:59:00 +0200
Source: ssreflect
Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq
Architecture: source amd64 all
Version: 1.3pl1-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.3pl1-3) unstable; urgency=low
.
* Upload to unstable
Checksums-Sha1:
31f0894bcccd74e003fd52eff2596550e2b3254d 2113 ssreflect_1.3pl1-3.dsc
6bdb9c0ca38c72644c49635d8eb588dfbda8451f 11881 ssreflect_1.3pl1-3.debian.tar.gz
b3b2ad6defd90033a066c33524b597a57609b932 469634 libssreflect-ocaml_1.3pl1-3_amd64.deb
27535efa9637b05b20e76aebbc0fa88f9087e16b 383562 libssreflect-ocaml-dev_1.3pl1-3_amd64.deb
50acc66284f26b0d6a2bee5e5a4c7afc9ede0c14 15755600 libssreflect-coq_1.3pl1-3_all.deb
Checksums-Sha256:
0a7531a8ab725e285b43080e922213aff83e79f36233bf5150638d9d23231e18 2113 ssreflect_1.3pl1-3.dsc
d47a2d882a8c802037fe1f2a3f0612bbc880a6214cbb7aa7cd26f63729d1af74 11881 ssreflect_1.3pl1-3.debian.tar.gz
daabbb959d8a880b2e8b1cb5c32a620e20362b0fad9156f623c84c8ec51b22c0 469634 libssreflect-ocaml_1.3pl1-3_amd64.deb
0ccb6ea5d49f72c643f6d3de370161f2220d8ea2ce11c9d680d7f0958ae6d15e 383562 libssreflect-ocaml-dev_1.3pl1-3_amd64.deb
1ab2cfe4b107a0f8553761d6e5434ee158ebee3ab9d825ecd81c4a9eee278c98 15755600 libssreflect-coq_1.3pl1-3_all.deb
Files:
fc8b269d1ca7df16f43f7f0e16aab582 2113 math extra ssreflect_1.3pl1-3.dsc
5d609dd734f2568c94c5e37b72f835bc 11881 math extra ssreflect_1.3pl1-3.debian.tar.gz
29715578f9ca63f15fb050b7cd33066b 469634 ocaml extra libssreflect-ocaml_1.3pl1-3_amd64.deb
63284f3e7921306cd218f70bea11e849 383562 ocaml extra libssreflect-ocaml-dev_1.3pl1-3_amd64.deb
c075804dc7b6c13338cb13cf781f3427 15755600 math extra libssreflect-coq_1.3pl1-3_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQIcBAEBCgAGBQJNsJakAAoJEHhT2k1JiBrTLUEP/i9epIyoZe+Rh4xUogrMLnmv
1f7LeD7OYXfjNsP8WCCHQlVczdox4tkiEuEjNogYKrtzY6+1HUjD0rRoPuLk7cOE
islQZ4Tfy4qbTrtkZb/qmlNVt6UIywfVTx5uDyihPm67gfxdAflfBuq1B0NhwM9i
QDfcW7aYA4sTCpC5genPVSSlbHj2KJK3Et/0nhqE+/Pt+Nl9NvzQpThQMWT+2hjW
jI1DsinJA0Pb8Qns0zFENdtKXfjkKxBKTAnKxC+TEHCpw2ZlIXP7HcRao+ExWVYx
+zl3qcvZvF+NE9KwHQI0SUjv7vJ8bLlUpUq9ucOAxH/VSOATY1c3eA97aKtHAoN7
iSBxK4YcXaVx1MjdryfnIHd0xs56IY4l9F25EPpifh0pIG6y/hMGUmCYrrb0LKY4
wHGNZJMhv+XzgiPva0x0YRDUEV+2K2OAwOd73hpVH1bfRFnFHz5je5fErBkrGByX
Q8T0777Uf1yhhQhqQdYZ1A8VHQVPI1VvFdF8XS5OaUZ26QYllJrWNZBMhwpUQGh6
IDOXl7lAzSM9LqgI9ZbciWCgbR02eo3DiiUk2meL6Rmro0RZhOmJlkaRwPOaDr1j
ax+ayqyp+8lCETDofKoHGTsKQVPvS+C9QFvt+nDZltfXbydU5LORZvkwddvG6pCb
ZmWHBZI5T4UPIJuRSKTI
=KNdB
-----END PGP SIGNATURE-----
Accepted:
libssreflect-coq_1.3pl1-3_all.deb
to main/s/ssreflect/libssreflect-coq_1.3pl1-3_all.deb
libssreflect-ocaml-dev_1.3pl1-3_amd64.deb
to main/s/ssreflect/libssreflect-ocaml-dev_1.3pl1-3_amd64.deb
libssreflect-ocaml_1.3pl1-3_amd64.deb
to main/s/ssreflect/libssreflect-ocaml_1.3pl1-3_amd64.deb
ssreflect_1.3pl1-3.debian.tar.gz
to main/s/ssreflect/ssreflect_1.3pl1-3.debian.tar.gz
ssreflect_1.3pl1-3.dsc
to main/s/ssreflect/ssreflect_1.3pl1-3.dsc