Accepted ssreflect 1.3pl1-1 (source all amd64)
-----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