Accepted apron 0.9.10-4 (source i386 all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sun, 17 Jan 2010 17:57:33 +0100
Source: apron
Binary: libapron libapron-dev libapron-ocaml libapron-ocaml-dev
Architecture: source i386 all
Version: 0.9.10-4
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Samuel Mimram <smimram@debian.org>
Description:
libapron - Runtime libraries for APRON
libapron-dev - An abstract interpretation library
libapron-ocaml - Runtime libraries for APRON
libapron-ocaml-dev - An abstract interpretation library
Closes: 558838
Changes:
apron (0.9.10-4) unstable; urgency=low
.
[ Mehdi Dogguy ]
* Remove non-needed Provides for libapron-dev
* Version the build dependency on quilt: >= 0.46-7
.
[ Samuel Mimram ]
* Added link patch in order to resolve symbols, closes: #558838.
* Fix nonopt patch to build gmp.cmxa.
* Added oct_static patch in order to install oct*.a.
Checksums-Sha1:
c8c3b155e6b0ef4c23e1df13dd1fa2cdc9c2be38 1406 apron_0.9.10-4.dsc
0b861ced67f58af28621b31037df3dc55d089087 7897 apron_0.9.10-4.diff.gz
1872480ada9e3c243fad1e8334579da5204ecfd9 706426 libapron_0.9.10-4_i386.deb
daf6c92f50b25d333b59c812fd048d9531af4f3a 174406 libapron-dev_0.9.10-4_all.deb
a5c400b4db6a9dcf2efd522fb194aba4626ccaec 73946 libapron-ocaml_0.9.10-4_i386.deb
cce35f2c0727e646b105c5dd2f9adce37265c426 3128818 libapron-ocaml-dev_0.9.10-4_i386.deb
Checksums-Sha256:
98632c5c2c14dc9a435fd0e7e2de9f24f76ce3b71fff86bacd40649237b8217c 1406 apron_0.9.10-4.dsc
45318bc2ab67d763f87a5ae642280a4735885c8dc8d68172cd6da868ff111980 7897 apron_0.9.10-4.diff.gz
44d9486d6575d3492027360a5524eb241872fcec3a2a265c908516692efd50c1 706426 libapron_0.9.10-4_i386.deb
4e044558ea87c9992e3b04c3a5536154ce9d250b39151488a104e929f3fb0375 174406 libapron-dev_0.9.10-4_all.deb
f553c4a851f520b1d8b738fbbe12d995e1a70f8cf2e3ca8184f12b8618fa2844 73946 libapron-ocaml_0.9.10-4_i386.deb
8bacf85ff1b1c7f3f86045645813a466f4fede64cca72da22de605916e876a5c 3128818 libapron-ocaml-dev_0.9.10-4_i386.deb
Files:
e0571f190a9a0306838cbb3176a4c001 1406 libdevel optional apron_0.9.10-4.dsc
6d6fe752ca4925fbeef25dd10aaf93e0 7897 libdevel optional apron_0.9.10-4.diff.gz
cccc0be91797931873970b63725e283e 706426 libs optional libapron_0.9.10-4_i386.deb
d725512dc99c1ea06f9558f87a50b3f8 174406 libdevel optional libapron-dev_0.9.10-4_all.deb
93e7e9251f16905c22a07944d3f4574f 73946 ocaml optional libapron-ocaml_0.9.10-4_i386.deb
6784a6c6d4f1c38a7e3d91839f1ee89a 3128818 ocaml optional libapron-ocaml-dev_0.9.10-4_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAktTRKIACgkQIae1O4AJae8WrwCdHgJtIsL8vKpZpvMgQwwjexQq
YMcAnR80eIUjIBOFeKBjdf4phkRxFcKY
=fqbF
-----END PGP SIGNATURE-----
Accepted:
apron_0.9.10-4.diff.gz
to main/a/apron/apron_0.9.10-4.diff.gz
apron_0.9.10-4.dsc
to main/a/apron/apron_0.9.10-4.dsc
libapron-dev_0.9.10-4_all.deb
to main/a/apron/libapron-dev_0.9.10-4_all.deb
libapron-ocaml-dev_0.9.10-4_i386.deb
to main/a/apron/libapron-ocaml-dev_0.9.10-4_i386.deb
libapron-ocaml_0.9.10-4_i386.deb
to main/a/apron/libapron-ocaml_0.9.10-4_i386.deb
libapron_0.9.10-4_i386.deb
to main/a/apron/libapron_0.9.10-4_i386.deb