Accepted apron 0.9.10-6b3 (source)

Jon Severinsson jon at severinsson.net
Mon Feb 3 19:02:03 EST 2014


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

Format: 1.8
Date: Mon, 03 Feb 2014 20:00:00 +0100
Source: apron
Binary: libapron libapron-dev libapron-ocaml libapron-ocaml-dev
Architecture: source
Version: 0.9.10-6b3
Distribution: staging
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jon Severinsson <jon at severinsson.net>
Description: 
 libapron   - runtime libraries for APRON
 libapron-dev - abstract interpretation library
 libapron-ocaml - runtime libraries for APRON (OCaml interface)
 libapron-ocaml-dev - abstract interpretation library (OCaml interface)
Changes: 
 apron (0.9.10-6b3) staging; urgency=low
 .
   * No-change rebuild against updated ocaml libraries.
Checksums-Sha1: 
 33c61b8cde614ae099107625a75bd378a6501aec 2183 apron_0.9.10-6b3.dsc
 2defc170d522ab1c7ec0c50036d931411aa2fbc6 934321 apron_0.9.10.orig.tar.gz
 bafb01ab69ea3a8370d957f6b5217c037a5a0486 11926 apron_0.9.10-6b3.debian.tar.gz
Checksums-Sha256: 
 919acedc3c277559dd5f6c52827a1d31f9785cbb29e12925b238ba03b6046b7f 2183 apron_0.9.10-6b3.dsc
 f3fb6efff04948fa8277b16b9ae371c0fe5ea1460f4056117b32f813bf1a0b94 934321 apron_0.9.10.orig.tar.gz
 ca4fea52d2c2a06559f077b4a6fa92f3c300d192fad9464404a9fce8d0323149 11926 apron_0.9.10-6b3.debian.tar.gz
Files: 
 c3de7a2f2ce982625f76a2348a4e1959 2183 libdevel optional apron_0.9.10-6b3.dsc
 17058de80f7352885eb4064585baf873 934321 libdevel optional apron_0.9.10.orig.tar.gz
 c0ff59e30bc4bf6f10bf83289e79b570 11926 libdevel optional apron_0.9.10-6b3.debian.tar.gz

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

iQIcBAEBCgAGBQJS8CziAAoJEIxPDyvAFXjJnoUQAJ3hvcXANr6skG/2iNiot6Ae
187unFwKXApH9otdU0L7Jz5c6v74qnmPemjoTTmA9VvbQau4XQdrmm7nObHoKao4
Mr7474+rmF732+tpcuGm1/hvTNUkBM13L9jtYmUiB1FvWno+AYS49lXRSzyJOeOm
Y737ikH8zQIdxSXzSmgRaKxwOStQ0VwukGPg+Q2EFJaLQYHngMJ7XeAAgrgCuGvh
FNblUazW63nfWwxTr4NNU7rAdC2PNE53XbixTj9W6uNH9KXLf93awNsOS8ZRaDmy
0xmMixWSwtq/8xqrLl2RU6H0XI6WK86vap+iQdPHKcgxWusKBfCLLqN0Uf0PEjMz
degeic+W+fKYmnCvPWxqTPDxncUFhkmtstPYKNyt5j5a/KHK+Re5Bn5epm1ocp1Q
FXNuN0YMnN6qbRBMFzOvL5sH4IFoxAL+ybC7TKOPxXkaqYOpVAmZwZAMQjhvySuo
K5aU7XQ9M2B/t97VdOCAYnwOSsM7wF+c5pZx/3E7OjashxR/aG/sCkvJ+nfrlfGb
2uXkpdEuDnE7QhI/+y8zOlnC0wQs1Tktf7zKK+tFU6HovTg2GV2+9D1OTaQIRobY
28kTCkrRizmgW7x3LGSXRS1VXtiJo16AmALqTJK1EnR99TNSIzKsPcPRIu3a5FqX
lWm/0y3MPNjxxPGOHj46
=MA0Z
-----END PGP SIGNATURE-----



More information about the Tanglu-changes mailing list