-----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
