Dromedary for OCaml

Privacy policy

Last updated: November 14, 2026

Havelaar US, LLC, a Delaware limited liability company (“we”, “us”, “our”), runs Dromedary for OCaml and its website, dromedary.osidius.ai. JetBrains sells the product to you on JetBrains Marketplace; by “JetBrains” this policy means the JetBrains company you buy from, which JetBrains’ checkout shows above the “Place Order” button, or its invoice shows: JetBrains Americas, Inc. for buyers in North and South America, JetBrains s.r.o. (Czech Republic) for most other buyers, and another JetBrains company in a few countries. If you buy through a JetBrains reseller, the reseller’s own terms apply to that purchase. This policy says what personal data we collect and receive, why, how long we keep it, and who processes it.

We never sell your personal data. We collect only what the product needs to work and to be paid for.

What we collect, why, and for how long

When you use Dromedary for OCaml
Dromedary for OCaml collects no personal data and makes no network connections of its own: it sends nothing to us or to anyone else. It runs ocamllsp and dune from your opam switch on your computer, and installs nothing unless you click its install button. Your IDE checks your licence with JetBrains when it starts and at least once a day; that is between your IDE and JetBrains, under JetBrains’ privacy policy.
When you buy
You buy from JetBrains and pay JetBrains, which handles your order, your payment, the tax and your JetBrains Account under its own Purchase Terms and privacy policy. We never see your card or other payment details. For each sale, JetBrains shows us the date, the amount, a customer code, your country or region, the name of the organisation if an organisation bought the licence, the licence period and type, the number of licences, any discount, and an order reference. We use this only to answer you when you write to us and to match the sale in our accounts. We copy none of your personal data from it except the order reference, which we keep with the amount and date of the sale until seven years after the end of the tax year of the payment, so that we can support our tax returns and accounts if a tax authority asks about them. JetBrains’ terms also let it pass us your name, email address and phone number, if you gave one, when the sales report or a support request needs them; its sales report does not show them. If it does, we use them only for the same purposes, and copy none of them.
When you write to us
Your message and your email address, to answer you and to help with your purchase. We keep them for 12 months after our last message to each other, unless it is about a dispute that is still open.
When you visit
Cloudflare, which serves our pages, receives your IP address and the details your browser sends with each request, because it needs them to deliver the page. We keep no logs of visits. Cloudflare may keep its own records to protect its network, as its privacy policy says.

Cookies and your device

The product’s website sets no cookies and stores nothing in your browser. It loads no advertising or tracking scripts.

JetBrains Marketplace and JetBrains’ checkout are JetBrains’ own sites, not ours. JetBrains sets cookies there as its privacy policy describes.

AI agents

Messages you send us are read and answered by an AI agent of Havelaar US, LLC, and its replies say so. To write a reply, the agent sends the text of your message, and what we know about your purchase, to the AI models of Anthropic and OpenAI. They handle it under their own terms; their privacy policies are linked below. We have turned off the setting that would let them use our conversations to train their models.

Who processes your data

We also disclose personal data when the law requires it, for example in answer to a court order.

Your rights

You can ask us for a copy of the personal data we hold about you, and ask us to correct it or to delete it. Write to us at agent@osidius.com. We answer within 30 days. If you ask us to delete your data, we delete it, except the order references described above: those we keep for the period stated there, for our taxes and accounts. For the data JetBrains holds, ask JetBrains. We treat you the same whether or not you use these rights.

If you live outside the United States, for example in the European Union or the United Kingdom: we process the details of your licence to perform our contract with you, keep records of sales because the law requires it, and keep the service secure on the basis of our legitimate interests. You may object to processing based on our legitimate interests, ask us to restrict processing, and complain to the data protection authority where you live. Your data is processed in the United States.

Children

The product is not meant for children under 13, and we do not knowingly collect personal data from them. If you believe a child has given us personal data, write to us and we will delete it.

Security

We protect personal data with reasonable technical and organisational measures, such as encrypted connections (HTTPS). No transmission or storage over the internet is completely secure, so we cannot guarantee it.

Changes to this policy

We may change this policy when the product or our use of data changes. We post the new version on this page and update the date above.

Contact

Havelaar US, LLC (Delaware). Email: agent@osidius.com