Accepted ssreflect 1.3pl2-4 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 01 Apr 2012 16:43:46 +0200
Source: ssreflect
Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq
Architecture: source amd64 all
Version: 1.3pl2-4
Distribution: unstable
Urgency: medium
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.3pl2-4) unstable; urgency=medium
.
* Fix compilation with camlp5 6.05 and coq 8.3pl4
Checksums-Sha1:
050094d1c7c4d98199eb81fb010cfaf59841244e 2250 ssreflect_1.3pl2-4.dsc
ca8ba02d4da1898a47949426303ea93318e3c174 13161 ssreflect_1.3pl2-4.debian.tar.gz
4cde06c8bbab0a01df6bce95cbe6e64264ee61c4 477290 libssreflect-ocaml_1.3pl2-4_amd64.deb
a98ebcf61292184576a47ba89be59c10d62dbacd 395346 libssreflect-ocaml-dev_1.3pl2-4_amd64.deb
18446f7642697da2c2dd0fecfbfdba05e2d58532 16082178 libssreflect-coq_1.3pl2-4_all.deb
Checksums-Sha256:
e2f7064c728574a71d2d2f48494fd81c3531f3e1ee88cb765f35ce03c6cafe26 2250 ssreflect_1.3pl2-4.dsc
cede05cf2d382e6dd00f48b84f79e6a6c25b0fe7daffa066b0d526a4b1843f16 13161 ssreflect_1.3pl2-4.debian.tar.gz
65c8cf14287934da71faa9f557d749134d5f156fbf0fae1ca7b77b946ff605bd 477290 libssreflect-ocaml_1.3pl2-4_amd64.deb
a8d2e51bacb2241cd80019b832f964d5baf775e5b54bda974b0bdb8d6985ad0e 395346 libssreflect-ocaml-dev_1.3pl2-4_amd64.deb
70545f552ba6362031718aa859dd2e04ce99bf9f31375d1ed5e8aea4e4d6dd56 16082178 libssreflect-coq_1.3pl2-4_all.deb
Files:
d3097502aa99335c66a48a5dc540c2f2 2250 math optional ssreflect_1.3pl2-4.dsc
bf25e05173a43fd5edc4b2e1cf48bb3f 13161 math optional ssreflect_1.3pl2-4.debian.tar.gz
8a064739ce9505bb3bd9361d29d21084 477290 ocaml optional libssreflect-ocaml_1.3pl2-4_amd64.deb
63fc5a362de94c98d0772250c6d3bc0f 395346 ocaml optional libssreflect-ocaml-dev_1.3pl2-4_amd64.deb
5f8c326d134371efbd490d6916b1916e 16082178 math optional libssreflect-coq_1.3pl2-4_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCgAGBQJPeHPeAAoJEHhT2k1JiBrTO3cQAKri72Lh9r9g1qE3lxtVh8XH
MgjbKHcDM0+Hf5wXJSGhbpCQKgGc8UpLkGUvTAhQ93B4eZNTIiKI2SjO4WK5ISS2
u1QX9/b1h71jz6QKDygIjab7Jx0ylr3Ym1Z/y9qQgy8fTcVt1ApCtphpeab0Hxua
+IFLFJyPcs8R/f/SKEbibShn33A7PeKXkx3xjYUK/VCyHajtiFd7Dd+uJoVyVI6i
E4StL0GSXLdrnRsxeMZbqMB1jjqSRFYKN/C9TbkHh/E3TYzI02OAqLHTinHz6kW2
DSnkwRS+KyCuMTQlUvIfINOxkCZYT9BZ6Q3o57u+VS1CfvX/SM7Zu2qQb29wiFM/
N6qYlwqFMrfqrcj/jOlsDqOrhqEoLQotoJQJmdX8oGggq8GY5WJfbrTQE69ZFKnU
V/8PkLAG9AxuYPU3jW7opnMc4SlEyDllYHMhbWo7JlPcKAmrjdaQ8Ky1OEo6bohb
07d27F15zf3um2/11Z4L0Cna/sYdaBaO+PsFnU2LFoQY1kqbGNTvxaaHNJ/aRMcD
e6sMsRSRMFccMJ4q+Jsn5QMigB8usG6mXj1HiL3vgZjHN2pT74/FKA1CETrbBUr1
gAaBvrl/4T57n6Gq0/MQqnknN9rGbYuYJkO0UpQRMebJt6TKh+Og9vM8X8stzlEb
PWZKXvmtMT0CU0G8cvq/
=TBBJ
-----END PGP SIGNATURE-----
Accepted:
libssreflect-coq_1.3pl2-4_all.deb
to main/s/ssreflect/libssreflect-coq_1.3pl2-4_all.deb
libssreflect-ocaml-dev_1.3pl2-4_amd64.deb
to main/s/ssreflect/libssreflect-ocaml-dev_1.3pl2-4_amd64.deb
libssreflect-ocaml_1.3pl2-4_amd64.deb
to main/s/ssreflect/libssreflect-ocaml_1.3pl2-4_amd64.deb
ssreflect_1.3pl2-4.debian.tar.gz
to main/s/ssreflect/ssreflect_1.3pl2-4.debian.tar.gz
ssreflect_1.3pl2-4.dsc
to main/s/ssreflect/ssreflect_1.3pl2-4.dsc