-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: apron Binary: libapron, libapron-dev, libapron-ocaml, libapron-ocaml-dev Architecture: any all Version: 0.9.10-9build1 Maintainer: Debian OCaml Maintainers Homepage: http://apron.cri.ensmp.fr/library/ Standards-Version: 3.9.8 Vcs-Browser: https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/apron.git Vcs-Git: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/apron.git Build-Depends: debhelper (>= 9), ocaml-nox (>= 3.11.1-3~), ocaml-best-compilers, camlidl, dh-ocaml (>= 0.9~), libgmp3-dev, libmpfr-dev, libppl-dev, texi2html (>= 1.82) Package-List: libapron deb libs optional arch=any libapron-dev deb libdevel optional arch=all libapron-ocaml deb ocaml optional arch=any libapron-ocaml-dev deb ocaml optional arch=any Checksums-Sha1: 2defc170d522ab1c7ec0c50036d931411aa2fbc6 934321 apron_0.9.10.orig.tar.gz 1ddad9cea82db2ec14c1ea086b2c2f294b7e181c 15384 apron_0.9.10-9build1.debian.tar.xz Checksums-Sha256: f3fb6efff04948fa8277b16b9ae371c0fe5ea1460f4056117b32f813bf1a0b94 934321 apron_0.9.10.orig.tar.gz 4310841e0adc70735d70d0c312a1df17e79575852d0fe2e0d28b6948e7d22cd0 15384 apron_0.9.10-9build1.debian.tar.xz Files: 17058de80f7352885eb4064585baf873 934321 apron_0.9.10.orig.tar.gz c072a31ae21f7a13aac1443128fd6425 15384 apron_0.9.10-9build1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIcBAEBCgAGBQJYVJr3AAoJEOZsd1rr/mx9BxIP/jNBO/06AwVKxd/8MiS7Lfaa InWJY4Z122Y/XbwB7RxksNvLYwHmgkUCGjt06LW37bzrAhIMBHhOqU3m3H/Ydn2r F0YzjvhnR+DWJl2BEW7bNjdAWyJ4S4SiGU8T+anKGcZBU6XW0Z76ZFkI383ofnEs yhBQvRn9yV8b+FDHt/7HsLsTspBxRbA0864VAbbMi20vkAV+FbNvjlCMhLlIoIwr CVFM288gzc91/i8G4/im04NBfxGVB/cYNWaEZl1nTVTg9sEt6YxfW65BAQn9QO+X J1AhHWevMVX93sI+LwZhXrYjd4+lkEjZniM4RmrcpNVHSKo+BWNg3R3wfnjw1x7q l1T7wlL7Z8mRHius9eh/YCQEr7D+zlfS9apKrbBQ3Bxby7m2kQ7rXaqsorRjxeLE JmmhvkdDn+uZ3j1wvxfYYJMmpOLB8m8grv8hJJcsQtDrIEWW9bnEXnQXLFxneFjg DRfEJq/8xeHYqUHtVDxTCzyOhDOAwLO9O+j+Nov5KDxBP5K5+2uHwgTcU2f879Fw MiWBGMGf+zyPmhoKaG/x1u7tG+sPuhFl2x2G2tyZNt/FhGQ0eLqGr5+kQ02cnHq8 XcFZ/WyGrUlnEyiRcmXjKZyiyVdgnXZb5anwuOJsJKQ7tqjx+nta6rWM0kFMRXvV 6Kbs1SB/p5iJcrGnbTDa =09K1 -----END PGP SIGNATURE-----