Back to ssreflect PTS page

Accepted ssreflect 1.3pl1-4 (source all amd64)



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

Format: 1.8
Date: Sun, 24 Apr 2011 14:44:33 +0200
Source: ssreflect
Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq
Architecture: source amd64 all
Version: 1.3pl1-4
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.3pl1-4) unstable; urgency=low
 .
   * Build theories only when explicitly asked (fixes FTBFS on armel as
     a side-effect)
Checksums-Sha1: 
 d42240c1ba73cb98798cf29c7f5b8cc119d76f5f 2113 ssreflect_1.3pl1-4.dsc
 282a44f17e912e08166cf13f2057dfe56ac2056b 12191 ssreflect_1.3pl1-4.debian.tar.gz
 0b500c76f7a08f5270872bbfad65fe5a8850f46e 469728 libssreflect-ocaml_1.3pl1-4_amd64.deb
 2a6ea0f4b53f0ba86f1bd9cb87ac93b5948eb021 383632 libssreflect-ocaml-dev_1.3pl1-4_amd64.deb
 889b80487aded018bdbd7b2fba059405e892826d 15755656 libssreflect-coq_1.3pl1-4_all.deb
Checksums-Sha256: 
 0a4b7da185e8f2a328f87ec10ddc1ca447aabea3b6bae58d059388932a66bfd5 2113 ssreflect_1.3pl1-4.dsc
 74b29ca0541c5a5e74f5e1a15156e05e3233bdc3c1732935c5618d4dfbfcc0cb 12191 ssreflect_1.3pl1-4.debian.tar.gz
 dcd500059d661f49c061a4ad0957151043936bc660f4f77118b446cb06bdde36 469728 libssreflect-ocaml_1.3pl1-4_amd64.deb
 1aea527921a5102ab457e0312f9a6849bbba0e5a26ff74f01f693df3b68d7c66 383632 libssreflect-ocaml-dev_1.3pl1-4_amd64.deb
 61ec2800fe5fe550926bc203173bd1caa988b95c5eb969f8116a9920a0dbd218 15755656 libssreflect-coq_1.3pl1-4_all.deb
Files: 
 3d21dfbb57fa8c031b7b281eb0231ba2 2113 math extra ssreflect_1.3pl1-4.dsc
 52b5dd142cfd435d9d04897a5da9c8e0 12191 math extra ssreflect_1.3pl1-4.debian.tar.gz
 b37ce165d9cc46336d5335a8ef507e21 469728 ocaml extra libssreflect-ocaml_1.3pl1-4_amd64.deb
 74688e8155850c12c53cd2fbbfb323bb 383632 ocaml extra libssreflect-ocaml-dev_1.3pl1-4_amd64.deb
 64586125aba8f98a66d239b7df8071c5 15755656 math extra libssreflect-coq_1.3pl1-4_all.deb

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

iQIcBAEBCgAGBQJNtCIqAAoJEHhT2k1JiBrTHLwP/RqSuU1CqmVX13pxtOMia8Uj
k+eStuiAb96ENw/gsmH30GP0MAnLychwfoxoEUX0IgDe9EXzbWB6aaX0akNZ5Vt1
FPfDQnFVvxuijUULoDC9Nqq9Kpwjhl3Y+8WD2aGFOxytboeP/hYM6aIB0TlAvcJz
ibqN7R9CLUcxdgtgQ3HH2ZGUUYvgJSNevKwBV0JPF16HLEr6z5qOnWMBGY3YizR3
iSky7QVMlEqsWoaW/VuDe4LcJXyOGONFhvoKcIyEqAbAgtRIj5bEQDev5GUgg9dd
2YEiQDAJ99LiZnECnZoRS1/S0pFN4jea5NnmRHkooALfPw5JtIqqNGKhZnQQvkH6
hJXRvho8silOGJLkOqW7++6Myc7GGglp6qoMyJeevqiJfvjK5ekQzMfunM1Yamu8
lla9l4dzTEVhv7WpNHx9ocJ4ygrj3YN2px2MuB5SuGFadlNG5mntFH6piDqal55l
XgXpLe7UDoblgmIT1LQdrBNQeId6DuyB0m06wlFZb6jdb3Z5ubEjjxXuPWwQ14oJ
chtNyuhSx0KyYMHCLDpzCj5HeYTcwe9Aj1M5pLUX0YsoXTNkNbyXh0dbvlQJG3IQ
Y8scC3fiBwEJrh5uiUgtDAx4xyBudOYp5h4lOpl8Z/0HrS8OXcHyu5NwtrXP/wBc
F0hPmgj1TZAT2Siw0HO4
=/240
-----END PGP SIGNATURE-----


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