Back to ssreflect PTS page

Accepted ssreflect 1.3pl2-3 (source all amd64)



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Tue, 06 Mar 2012 08:29:13 +0100
Source: ssreflect
Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq
Architecture: source amd64 all
Version: 1.3pl2-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.3pl2-3) unstable; urgency=low
 .
   * Recompile with camlp5 6.04 (no changes)
Checksums-Sha1: 
 eb863084a213e161d2132fc86aca4a3c59b04d3c 2250 ssreflect_1.3pl2-3.dsc
 7026793735fdf5712168e0fd00083117627da382 12853 ssreflect_1.3pl2-3.debian.tar.gz
 9ad99f062f76f591aa22aefe2df1a63ad9ef610b 476522 libssreflect-ocaml_1.3pl2-3_amd64.deb
 f44818de13fbada363cbfd4401b9b3ddd625a0e9 394526 libssreflect-ocaml-dev_1.3pl2-3_amd64.deb
 4f801127f6f6b571832b31f15a5c720cfa0238e8 16081096 libssreflect-coq_1.3pl2-3_all.deb
Checksums-Sha256: 
 eb88d538b76035370e984c954a68ff4b0a0d47c22e40752b308b2e9be3812de3 2250 ssreflect_1.3pl2-3.dsc
 85b6306bf67a62256280daa5110086df753738e3551084b8deaff62df3bffbd7 12853 ssreflect_1.3pl2-3.debian.tar.gz
 42a14f8cfb35ae18aceb2c9aac12214eac1a4e01f815962b4dde266f9f5e6dcd 476522 libssreflect-ocaml_1.3pl2-3_amd64.deb
 f0890fdd61f349fde7edba718b2e99e075dfc4cc58ce906f2e3530392596e481 394526 libssreflect-ocaml-dev_1.3pl2-3_amd64.deb
 c17331983433ee4a7ee1a5edcedb3fd9c84d77fcb72954606a67da59695f8977 16081096 libssreflect-coq_1.3pl2-3_all.deb
Files: 
 41ce2a6701db9bff337e4d4c84c15659 2250 math optional ssreflect_1.3pl2-3.dsc
 53ce9d3481cfdc46c452f482e3c14970 12853 math optional ssreflect_1.3pl2-3.debian.tar.gz
 2ae4a17a345ab3f1fea92200bb17f75e 476522 ocaml optional libssreflect-ocaml_1.3pl2-3_amd64.deb
 aaba69eb638733fcde84157b07455911 394526 ocaml optional libssreflect-ocaml-dev_1.3pl2-3_amd64.deb
 c937be754c84ee7e26620079102ccacd 16081096 math optional libssreflect-coq_1.3pl2-3_all.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iQIcBAEBCgAGBQJPVc0eAAoJEHhT2k1JiBrTM/0P/j570C/tZKIulZqv1J8W6JLb
TPqLRZqNVkTFOSQ1PrEyABSIlsI6QJS5ooE9fU8+saH+Ogo0XwLkhlj6lgFzqJ7y
QENCX/ZwDJ8dOTxkWTLftUkNGchUl3Z1h+eY90odX2BjwRZMJxqH6muMCKreiC3C
lgCv39N9wssJkXTZY1bv6tnq30Noe1HjcKDkKcVLhy902/NVMMPtPJluz10fyJ/R
6/yvF1RmxHL7lsrGp5TW4MXgy9NN/xBUmcVon5+Hf8WgC1fqpA40tqZ8z2C8DM7a
8i/sEyCOS/qqe2//MBjciuYlyXQfGDytJb5tiytYaUu1z+gaDajZok+hH7ebfzDC
yntPEVpexFU+I1TxpLutoryHsSDCpWjKTrGkRyKjljD+mXa+vRbhXeh2oJkIHvVH
Ar+1lQTw5cmzQ2oCD1icKYeud4gYo6I0jWcWBp6Ne4rZTTyc7bI0xns2+jFG4KM/
esDwKTFuCl8a9TOKWc+3d04Tv6fyngl9tOPzoTzV+pzd86Fioqo6R6yqc/+YBy/H
9Ds1jZSXkW2MfNlywBAYMaLiwueaVBfN2kZNxHI4X+pFMCwvaP6dTht8yKlqH7/d
eilEYWrDRdAoRCPrijf4hDQYEg7Pwq1X3hVJeQTTf8HUOJAfm6kbcjcojWIzW0vi
n7K3k0LdzbvmvdLEvRDL
=d01R
-----END PGP SIGNATURE-----


Accepted:
libssreflect-coq_1.3pl2-3_all.deb
  to main/s/ssreflect/libssreflect-coq_1.3pl2-3_all.deb
libssreflect-ocaml-dev_1.3pl2-3_amd64.deb
  to main/s/ssreflect/libssreflect-ocaml-dev_1.3pl2-3_amd64.deb
libssreflect-ocaml_1.3pl2-3_amd64.deb
  to main/s/ssreflect/libssreflect-ocaml_1.3pl2-3_amd64.deb
ssreflect_1.3pl2-3.debian.tar.gz
  to main/s/ssreflect/ssreflect_1.3pl2-3.debian.tar.gz
ssreflect_1.3pl2-3.dsc
  to main/s/ssreflect/ssreflect_1.3pl2-3.dsc