XPost: linux.debian.maint.ocaml.maint

This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --------------YhoP1tKVFKHG0nC9GmrR1SW0
Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: base64

U291cmNlOiBvY2FtbG1ha2VmaWxlDQpWZXJzaW9uOiA2LjM5LjItMg0KU2V2ZXJpdHk6IHNl cmlvdXMNClVzZXI6IGRlYmlhbi1jaUBsaXN0cy5kZWJpYW4ub3JnDQpVc2VydGFnczogcmVn cmVzc2lvbg0KVGFnczogdHJpeGllLWlnbm9yZQ0KDQpEZWFyIG1haW50YWluZXIocyksDQoN CllvdXIgcGFja2FnZSBoYXMgYW4gYXV0b3BrZ3Rlc3QsIGdyZWF0LiBIb3dldmVyLCBpdCBm YWlscyBzaW5jZSBKYW51YXJ5IA0KMjAyNS4gQ2FuIHlvdSBwbGVhc2UgaW52ZXN0aWdhdGUg dGhlIHNpdHVhdGlvbiBhbmQgZml4IGl0PyBJIGNvcGllZCBzb21lIA0Kb2YgdGhlIG91dHB1 dCBhdCB0aGUgYm90dG9tIG9mIHRoaXMgcmVwb3J0LiBUaGUgdGVzdCBkb2Vzbid0IGZhaWwg YnkgDQppdHNlbGYsIGJ1dCBieSBkZWZhdWx0IGluIGF1dG9wa2d0ZXN0IGlmIHRoZXJlIGlz IG91dHB1dCB0byBzdGRlcnIsIHRoZSANCnRlc3QgZmFpbHMuIFlvdSBjYW4gaWdub3JlIHRo YXQgYnkgYWRkaW5nIHRoZSBhbGxvdy1zdGRlcnIgcmVzdHJpY3Rpb24uIA0KQmV0dGVyIGlz IHRvIGZpeCB0aGUgb3V0cHV0IG9mIGNvdXJzZS4NCg0KVGhlIHJlbGVhc2UgdGVhbSBoYXMg YW5ub3VuY2VkIFsxXSB0aGF0IGZhaWxpbmcgYXV0b3BrZ3Rlc3Qgb24gYW1kNjQgYW5kIA0K YXJtNjQgYXJlIGNvbnNpZGVyZWQgUkMgaW4gdGVzdGluZy4NCg0KTW9yZSBpbmZvcm1hdGlv biBhYm91dCB0aGlzIGJ1ZyBhbmQgdGhlIHJlYXNvbiBmb3IgZmlsaW5nIGl0IGNhbiBiZSAN CmZvdW5kIG9uIA0KaHR0cHM6Ly93aWtpLmRlYmlhbi5vcmcvQ29udGludW91c0ludGVncmF0 aW9uL1JlZ3Jlc3Npb25FbWFpbEluZm9ybWF0aW9uDQoNCldpdGggbXkgUmVsZWFzZSBUZWFt IG1lbWJlciBoYXQgb24gSSBoYXZlIHRhZ2dlZCB0aGlzIGFzIHRyaXhpZS1pZ25vcmUgDQph cyBpdCdzIHNvIGxhdGUgaW4gdGhlIGZyZWV6ZSBhbmQgaXQncyBub3Qgd29ydGggcmVtb3Zp bmcgdGhlIHBhY2thZ2UgDQpmcm9tIHRyaXhpZSBiZWNhdXNlIG9mIHRoaXMgYXQgdGhpcyBt b21lbnQuIEhhdmluZyBzYWlkIHRoYXQsIGlmIGEgZml4IA0KaXMgcG9zc2libGUgd2l0aG91 dCBmdWxseSByZW1vdmluZyB0aGUgYXV0b3BrZ3Rlc3QgYW5kIHdpdGhvdXQgbWFraW5nIA0K dGhlIHRlc3Qgc3VwZXJmaWNpYWwsIGl0J3Mgc3RpbGwgd2VsY29tZSwgYnV0IGl0IHdvdWxk IG5lZWQgdG8gaGFwcGVuIHNvb24uDQoNClBhdWwNCg0KWzFdIGh0dHBzOi8vbGlzdHMuZGVi aWFuLm9yZy9kZWJpYW4tZGV2ZWwtYW5ub3VuY2UvMjAxOS8wNy9tc2cwMDAwMi5odG1sDQoN Cmh0dHBzOi8vY2kuZGViaWFuLm5ldC9kYXRhL2F1dG9wa2d0ZXN0L3Rlc3RpbmcvYW1kNjQv by9vY2FtbG1ha2VmaWxlLzYxNDg5Nzk5L2xvZy5neg0KDQogIDIwcyBhdXRvcGtndGVzdCBb MTc6MDc6MzBdOiB0ZXN0IGNhbGM6ICAtIC0gLSAtIC0gLSAtIC0gLSAtIHN0ZGVyciAtIC0g DQotIC0gLSAtIC0gLSAtIC0NCiAgMjBzIC91c3Ivc2hhcmUvb2NhbWxtYWtlZmlsZS9PQ2Ft bE1ha2VmaWxlOjExNjM6IHdhcm5pbmc6IHBhdHRlcm4gDQpyZWNpcGUgZGlkIG5vdCB1cGRh dGUgcGVlciB0YXJnZXQgJy5fbmNkaS9wYXJzZXIuZGknLg0KICAyMHMgL3Vzci9zaGFyZS9v Y2FtbG1ha2VmaWxlL09DYW1sTWFrZWZpbGU6MTE2Mzogd2FybmluZzogcGF0dGVybiANCnJl Y2lwZSBkaWQgbm90IHVwZGF0ZSBwZWVyIHRhcmdldCAnLl9uY2RpL3Rlc3QuZGknLg0KICAy MHMgL3Vzci9zaGFyZS9vY2FtbG1ha2VmaWxlL09DYW1sTWFrZWZpbGU6MTA3Njogd2Fybmlu ZzogcGF0dGVybiANCnJlY2lwZSBkaWQgbm90IHVwZGF0ZSBwZWVyIHRhcmdldCAndGVzdC5v Jy4NCiAgMjBzIC91c3Ivc2hhcmUvb2NhbWxtYWtlZmlsZS9PQ2FtbE1ha2VmaWxlOjEwNzY6 IHdhcm5pbmc6IHBhdHRlcm4gDQpyZWNpcGUgZGlkIG5vdCB1cGRhdGUgcGVlciB0YXJnZXQg J3BhcnNlci5vJy4NCiAgMjBzIC91c3Ivc2hhcmUvb2NhbWxtYWtlZmlsZS9PQ2FtbE1ha2Vm aWxlOjEwNzY6IHdhcm5pbmc6IHBhdHRlcm4gDQpyZWNpcGUgZGlkIG5vdCB1cGRhdGUgcGVl ciB0YXJnZXQgJ2xleGVyLm8nLg0KICAyMHMgL3Vzci9zaGFyZS9vY2FtbG1ha2VmaWxlL09D YW1sTWFrZWZpbGU6MTA3Njogd2FybmluZzogcGF0dGVybiANCnJlY2lwZSBkaWQgbm90IHVw ZGF0ZSBwZWVyIHRhcmdldCAnY2FsYy5vJy4NCg==

--------------YhoP1tKVFKHG0nC9GmrR1SW0--

-----BEGIN PGP SIGNATURE-----

wsC7BAABCABvBYJoaR1PCRCcXJnrBb11CkcUAAAAAAAeACBzYWx0QG5vdGF0aW9u cy5zZXF1b2lhLXBncC5vcmfj7D1UBCpN425HiRAMnVFiWJxwKHzR4BCP2UVvUXwb hBYhBFi2bUhza+k7BS3mcpxcmesFvXUKAABERgf+Kj1ufzrovnWK5fdZryHMXkJk JwfJhb46985bDXtA6w0og67OP2KUYUPrjrKaIczxGm88fBD4/4EJxlE9lE+wuIAt zr6rioe7s4D5IbTMRP+AyXm+R3vxinU6oHt2Tda/nvwa2mdC63uV6ncVJ+cSEAV0 8XRrwre4HZuqF/B/G/LdcDCo1UONLBD/YeOPQ2j5oY6phjmH1DuE3A30Bl+YJmpE 5459FoX1jU3+K9zaikhSK97aI0dH5Tc4o7SOMLRNDuQ9fxXDp4pA7qc21tE5vZJV 8nlfgRr6IhR8NvdwzrYhcO2E9lzvLN35+9hRsjxaPbPAf4auwbaaVd4P9cPlCg==
=2BoI
-----END PGP SIGNATURE-----

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)