-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 04 Oct 2017 14:14:39 +0200 Source: ocaml Binary: ocaml-base-nox ocaml-base ocaml-nox ocaml ocaml-source ocaml-interp ocaml-compiler-libs ocaml-mode Architecture: source Version: 4.05.0-10 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Ximin Luo <infinity0@debian.org> Description: ocaml - ML language implementation with a class-based object system ocaml-base - Runtime system for OCaml bytecode executables ocaml-base-nox - Runtime system for OCaml bytecode executables (no X) ocaml-compiler-libs - OCaml interpreter and standard libraries ocaml-interp - OCaml interactive interpreter and standard libraries ocaml-mode - major mode for editing Objective Caml in Emacs ocaml-nox - ML implementation with a class-based object system (no X) ocaml-source - Sources for Objective Caml Changes: ocaml (4.05.0-10) unstable; urgency=medium . * Drop support for ocamlopt on armel as suggested by upstream. * Replace the ARM PIC patch with one from upstream. Checksums-Sha1: 69e42be7aa4d6c1d46bb14c8d0db7c33a3182151 2608 ocaml_4.05.0-10.dsc 5d8bd2a5c94b199f23742a860d425fce2dd181f4 46096 ocaml_4.05.0-10.debian.tar.xz f5263ababb38177ae9c63b6138cf12d4a9c4a131 5882 ocaml_4.05.0-10_source.buildinfo Checksums-Sha256: 45a5f354ec482c2d71cdd1c98b44c5da514c9c6509ec3fdb83ec734ca94254ce 2608 ocaml_4.05.0-10.dsc 8fef65d5f8ed73d4483376215f4af79be3c8b02c4dff7ee016ae9f38741b7283 46096 ocaml_4.05.0-10.debian.tar.xz 639f70047dc3e21c7d21a498bef4ab151e549eb25e82a87b0e767ccc10c910e5 5882 ocaml_4.05.0-10_source.buildinfo Files: cc0def49526f85d056ab7d04714c0f75 2608 ocaml optional ocaml_4.05.0-10.dsc b9911dab64c6f1a227c61f574fcfd70e 46096 ocaml optional ocaml_4.05.0-10.debian.tar.xz c398afc4df6aee16cd83a1265edb1385 5882 ocaml optional ocaml_4.05.0-10_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJJBAEBCgAzFiEENmdIajJtsnZtJVVGhg3vO49lC3kFAlnU0MQVHGluZmluaXR5 MEBkZWJpYW4ub3JnAAoJEIYN7zuPZQt5k2YP/RLlI2n7B1+wNEz9JjWn4RKnIs5z X9YuU/Md+U2/BaU4pmaSoMxEUeefGNiYvL88aPti8vhP18dZXaPtrenqvT1/DhJi eMIOwooQZ7KbOCLW4RvyglIP2QRrCJAae2Cp8UKqM4kTjYi32dyvaFyyAxVw9o3O u7P9z3CHv5gzvoKENk8o1Y1TA3RkmmCBR1jLnQHRYpIEACx4B1etXRKZISI061pC yg+6npjrE39uBAf7cXeFJLLthykRT4jB81NXHHFj8eBaYv2ASjmQtTf31Ag+nmDV 7go96f2LQytb5/iOpXRDM6apQiEpWhB2znCyLwPqQiBO7zIw8iq5gUcEajMyogEm R8W6YmLc9LJLoO7dVjLFRTZUvDwfzazCtLQDDvhPah9HBt2FHSijS95W1YbAHbM/ bGuSr14LB2pmBrpP48zGciRz569849oW1Snt5coLiHa+Wk4wbamS8k2Cyldk3rrT mcnCqm/zNN59LNJNIUfCY8Q3E4Ti8oIJALhdS966q5hYu8J2IQYU/RXaJjK/m9Og uA1oV0b7L96CccTax1NVQaJxINqmUDclKDKpzFZzmDuGYdR9UyfgKzY1t95XB8Eg 3tzA54G+vURK2Me5YVUowDxN42Rn2w/CscSmqeu6UbKlc1p3uv3bhZY319dVOllF dueRHEHPv+hH8bq0 =9uR1 -----END PGP SIGNATURE-----