Accepted apron 0.9.10-6b4 (source)

Jon Severinsson jon at severinsson.net
Tue Feb 4 03:17:04 EST 2014


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

Format: 1.8
Date: Mon, 03 Feb 2014 22:00:00 +0100
Source: apron
Binary: libapron libapron-dev libapron-ocaml libapron-ocaml-dev
Architecture: source
Version: 0.9.10-6b4
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-6b4) staging; urgency=low
 .
   * No-change rebuild against updated ocaml libraries.
Checksums-Sha1: 
 6d12677125b02d5d72798c0efc483918b6f7590e 2183 apron_0.9.10-6b4.dsc
 2defc170d522ab1c7ec0c50036d931411aa2fbc6 934321 apron_0.9.10.orig.tar.gz
 e8fac1fab8c369f8580e6b49594ee4f9cd2af94a 11924 apron_0.9.10-6b4.debian.tar.gz
Checksums-Sha256: 
 9a13428be077a8c859f063e09920689a7648fa17d29287ee36d2f009c5dec07d 2183 apron_0.9.10-6b4.dsc
 f3fb6efff04948fa8277b16b9ae371c0fe5ea1460f4056117b32f813bf1a0b94 934321 apron_0.9.10.orig.tar.gz
 bf436c9487aaacea947b711808f6f8d44131b8609b0e91e7ec501ae7789c1e2f 11924 apron_0.9.10-6b4.debian.tar.gz
Files: 
 ea1bb0f6115a5eed9d47d36e611d34f2 2183 libdevel optional apron_0.9.10-6b4.dsc
 17058de80f7352885eb4064585baf873 934321 libdevel optional apron_0.9.10.orig.tar.gz
 9131fc63458585e60b07e7a18d47ccba 11924 libdevel optional apron_0.9.10-6b4.debian.tar.gz

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

iQIcBAEBCgAGBQJS8J64AAoJEIxPDyvAFXjJdy4QAIdMdd0UYtfMI0ZYQRNwmGEr
BXnf3H8R+wnhjWoOkKQ8G8quUwODraXN/WGVQR4BhBS7vpafX3SpL84ifXZlpJOb
NiDVEvBBAe/kskgiX+dMvbg3A9iSP+jU20ESEwk5nR1l7sKyMRtFTnxiyUr/c/5z
/Qu3bRAqJKMF0FwenlCG0ikTissgRauuc3zc1+gSndziWtIEzNRzmFHvJlh5AXz3
HL8WKNjHx7U9bMAfb5H6bkOE2IXUNHWOlr3vjHhRKOAyO8otI90Vc2h4mzQpjLI3
EDwJXPWY5mBJzyyS6ppRHtGERMmCfTvbXSglHE8ZuD2Gsi+IlstmgWhZiJG4U6F0
I6tUTfotkQdqH+NckijoWi9/BuTP4lymuiVmj4p2ZaY26k6JVUK3DNyrlHv6ug+7
nCAYQRJe9jLqiTgmv2ysWfWcmN9bWF9Cv5j/qChZxp42qjbRFLCiUqumUEULWD6F
jWVpdR0LgAnFw1HR7sk5qPGRHgiRMxU9z/GnJeOBOnxq6YRddSZ7WBZBjo+j4Ti9
gI1O0Xs4BB+cKPdpOd0omkqpB3rNkdcbsUuI6zCym0eOlSZTMTjREgpydRq7L6Fi
2U0I02+r8y5jsHE7xb3+V2wgbfURmoZ+VGor/wyYeLW2AwSA+U4peyGccRi3rQn7
1qaPyFmBabX/D91SV7+1
=NnJO
-----END PGP SIGNATURE-----



More information about the Tanglu-changes mailing list