-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 31 Mar 2011 10:52:00 +0200 Source: ssreflect Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq Architecture: source amd64 all Version: 1.3pl1-1 Distribution: experimental 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-1) experimental; urgency=low . * New upstream release Checksums-Sha1: 9978454fd1b45567c72e4f59a8551de768a82e41 2113 ssreflect_1.3pl1-1.dsc 9e4a58d8b75189c0876daffdabbe26a8959b5b22 828876 ssreflect_1.3pl1.orig.tar.gz 422c68ce5235815a7a09d5b4e107d719fbf302d5 11934 ssreflect_1.3pl1-1.debian.tar.gz 9bf68d644df7c71abc711ff5e1b5fbc4456cf463 468288 libssreflect-ocaml_1.3pl1-1_amd64.deb d375f0bd4048b74223815cd7ff9f385da48eea3f 388210 libssreflect-ocaml-dev_1.3pl1-1_amd64.deb 85886ae9cf508374d54f0d5a491c7681be7a2497 15915334 libssreflect-coq_1.3pl1-1_all.deb Checksums-Sha256: 409d04ee648b6fb54659d596d92de254d7adbaf872c4072d501af0695352e72a 2113 ssreflect_1.3pl1-1.dsc 31a705403e11675190e81cb6a525788f8c8abaddc0d6465aa15629641686797a 828876 ssreflect_1.3pl1.orig.tar.gz 3d6df68ccdd3c3d3408d67cf42cee63cb78ff3835b8a1179a0ee7f3bbcf5d898 11934 ssreflect_1.3pl1-1.debian.tar.gz a3cf5eb99e37b051be3b410a9332b5a83dceb70960b237d079127810c6114608 468288 libssreflect-ocaml_1.3pl1-1_amd64.deb 8c74a314cd08d3c1e9c7111702ed39856887d8fef6c529fa3d13853c9895c9ae 388210 libssreflect-ocaml-dev_1.3pl1-1_amd64.deb df0abc2149a322dd9a61114aeca46d0b4099c6c2e1192eda33e92056df00265c 15915334 libssreflect-coq_1.3pl1-1_all.deb Files: 3e2c423d5446842466fb84d976797dfb 2113 math extra ssreflect_1.3pl1-1.dsc 6676cc1498c786aacd45758818548a01 828876 math extra ssreflect_1.3pl1.orig.tar.gz 346dd5cd41c8754a83095f50fcab49d0 11934 math extra ssreflect_1.3pl1-1.debian.tar.gz 6884c5bebb05db156ef4bec1c6f27c9d 468288 ocaml extra libssreflect-ocaml_1.3pl1-1_amd64.deb e3cd267ec0fd78a8b1fce2f7b29596c5 388210 ocaml extra libssreflect-ocaml-dev_1.3pl1-1_amd64.deb c8635d3aa73c3f4bdf5d30a5881eaf60 15915334 math extra libssreflect-coq_1.3pl1-1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iQIcBAEBCgAGBQJNlEpgAAoJEHhT2k1JiBrT20oP+gJb1AlJ/nVdajp8xY47ktl1 vvdEBQBpaHMmtZHuWIF63caWACRPD7MMcP3n5L9L7wJWx0FzOv3lalEwpqyMJLvl z3Bm0TTAg7t28bERQiwJDfye5oKy53Xn4YhAUtQQFLaJ63IuB6REuPl7LfA8alVu TivpabeprsL+1yhG3cskkETr9oYPqppK16UyoA/bsYMAAPfF1N3LmYtXBoPv5h1X 5c8lbBQ6kAwlWuvSzm0tlRvXsz/doKqI6v/0GvkjfqwGbp9PnS97rzo5K9w+uXWK j02vQ2Gq7E+GzAZHBjT4VvLQ7C/HZyXD0Y6usfv4B7fnky4a4kJpKV8RH5EqpRa+ 1/q37rUubXOBaQCT0LWERqUCmVm6L8FMOzFDlfEyE4Ms/F5AzLgYQGIZaEN3fttS RzFFBH8qv4yYmVKYpVXowg5qrB4RDiIUY5lMrWX41ZtyglKstWcVkWskvNji5f5Q o2fKoimi9IfGVnlg1OwFMz/BsrLkY6205RjdD37IY2/4hj3Z0VYxCMUoYae1vm69 2JDe4fVN2FmsZ40h0DxDCAfIPPEYD5F4X8kWrIqcIURTeR8sVjQWnM6wJ8/B/QB7 MVAxDpGmF+LdauZ1kINLVx07PsFUARFAC3H+mk2KxwcookUmCJEG8/Q4oHvVfaYh t9Gyc3vuYawJuqJr5H0d =7Jit -----END PGP SIGNATURE----- Accepted: libssreflect-coq_1.3pl1-1_all.deb to main/s/ssreflect/libssreflect-coq_1.3pl1-1_all.deb libssreflect-ocaml-dev_1.3pl1-1_amd64.deb to main/s/ssreflect/libssreflect-ocaml-dev_1.3pl1-1_amd64.deb libssreflect-ocaml_1.3pl1-1_amd64.deb to main/s/ssreflect/libssreflect-ocaml_1.3pl1-1_amd64.deb ssreflect_1.3pl1-1.debian.tar.gz to main/s/ssreflect/ssreflect_1.3pl1-1.debian.tar.gz ssreflect_1.3pl1-1.dsc to main/s/ssreflect/ssreflect_1.3pl1-1.dsc ssreflect_1.3pl1.orig.tar.gz to main/s/ssreflect/ssreflect_1.3pl1.orig.tar.gz
