[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Accepted ssreflect 1.2+dfsg-2 (source all amd64)



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

Format: 1.8
Date: Wed, 02 Sep 2009 19:18:26 +0200
Source: ssreflect
Binary: libssreflect-ocaml libssreflect-coq
Architecture: source amd64 all
Version: 1.2+dfsg-2
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)
Changes: 
 ssreflect (1.2+dfsg-2) unstable; urgency=low
 .
   * Use -R when invoking coq_makefile to avoid warnings and need of
     explicit exclusion of ssreflect path; set it to user-contrib/Ssreflect
Checksums-Sha1: 
 f4f3bab62ecda76366b544a716b04ebaaa65a801 2064 ssreflect_1.2+dfsg-2.dsc
 9c788b4d2cb50dab99d37216d4108fb36eeeb1c5 11911 ssreflect_1.2+dfsg-2.diff.gz
 915d6715eb7c6efd87a200b384bcf494a4c1d2ae 446010 libssreflect-ocaml_1.2+dfsg-2_amd64.deb
 15c78b3efaf1ad4658a00ed0b272ad6661bc1509 3662216 libssreflect-coq_1.2+dfsg-2_all.deb
Checksums-Sha256: 
 667f6ed5ba36bdeacc8bf808f2fc08654846a4f171450c9550ef30b7093661ff 2064 ssreflect_1.2+dfsg-2.dsc
 8ce7b49d97bd1c4b33cf1508593d52c8d10ddd32ca7818f061b7a1ca033bae48 11911 ssreflect_1.2+dfsg-2.diff.gz
 7fec272d49312bb5a4bc5c14a589f9b8ba946f80b53e6d43569d92f5fac4dce3 446010 libssreflect-ocaml_1.2+dfsg-2_amd64.deb
 4c9b44da15be6821271622c1f23b18d12823b45c3262ef56b001236b1731b240 3662216 libssreflect-coq_1.2+dfsg-2_all.deb
Files: 
 ba5f93b25816a0bc9f3b871dabd73c77 2064 math extra ssreflect_1.2+dfsg-2.dsc
 7a979e6918f243c65c6e421e150bf558 11911 math extra ssreflect_1.2+dfsg-2.diff.gz
 880d6a37de15026a4e0cd0650c49928f 446010 math extra libssreflect-ocaml_1.2+dfsg-2_amd64.deb
 49c07107202220204634573175fbf17a 3662216 math extra libssreflect-coq_1.2+dfsg-2_all.deb

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

iQIcBAEBCgAGBQJKnqv2AAoJEHhT2k1JiBrTtMQP/18fbVi/lMuN19XOt1jSqX5l
wMWmKItVViZpZJnYp1ULpz+Xc+mNLtF+NnR7MsbXki1zk/ZWFypldxvigc1rzE7h
JZ7N873zIwtpuT7LAmdWerBEAdbAXJ3rjmNoX1behqO2BkNW499jROWABVoeLmou
CMN1+dcG+Q97qhI+tH39F6CGrnfb/SOfG4xK8mQh5BcNosV84uEQpRbQ5PkQegio
7JxFlYF8FnIYEG/OPiUrRijF2G68AIzagXjpvmj0vu7WwACjW1I1pW0yY6fP9u7J
dx3sO8uVdNZM841FOEBr+tGOI4+fDQ7UWLnpwqD+NElQPi9JRuZt0sSz4BHqRSaW
OmSjrpKB9RXMw3EDcptuNRxRjFtPCZIOHxHAlq3JSB06Yhg3As0d1xRXUIWuFtUT
LAllUsWBFGiJ1+gsl+B6cEF6j3IIebZf+Gyhd5E/c4rnOWh0DnbCELMJYfwJuayY
O7J8nKPLxlJssLS3kvwLY0Rvf4P4gJrD9R719oiWvETeeU+dW1p1vSc4lO0lTGGd
uimx5Nq2VyWBuWYV6vWIjHjwmgITpilbKvLwWpbEdnhrj4fHnC7KJ8nKUcl/mEBp
OFpZ31VrkDrURTZXaxovhiPO/yOR/RfW4b+guoQJSA+66iatOXar5ADpOJBc2cgo
gy42elnl8TnAObmytR0H
=pC+S
-----END PGP SIGNATURE-----


Accepted:
libssreflect-coq_1.2+dfsg-2_all.deb
  to pool/main/s/ssreflect/libssreflect-coq_1.2+dfsg-2_all.deb
libssreflect-ocaml_1.2+dfsg-2_amd64.deb
  to pool/main/s/ssreflect/libssreflect-ocaml_1.2+dfsg-2_amd64.deb
ssreflect_1.2+dfsg-2.diff.gz
  to pool/main/s/ssreflect/ssreflect_1.2+dfsg-2.diff.gz
ssreflect_1.2+dfsg-2.dsc
  to pool/main/s/ssreflect/ssreflect_1.2+dfsg-2.dsc


Reply to: