From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 693847EE89 for ; Sun, 30 Oct 2016 09:34:58 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=lindig@gmail.com; spf=Pass smtp.mailfrom=lindig@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f42.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of lindig@gmail.com) identity=pra; client-ip=74.125.82.42; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="lindig@gmail.com"; x-sender="lindig@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of lindig@gmail.com designates 74.125.82.42 as permitted sender) identity=mailfrom; client-ip=74.125.82.42; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="lindig@gmail.com"; x-sender="lindig@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wm0-f42.google.com) identity=helo; client-ip=74.125.82.42; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="lindig@gmail.com"; x-sender="postmaster@mail-wm0-f42.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AunqJKBE/nPgsYiW7T+FppJ1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ75pM+wAkXT6L1XgUPTWs2DsrQf2rCQ7P6rADdaqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZv?= =?us-ascii?q?IaytQ8iJ3p7xiL75osaJKyxzxxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP?= =?us-ascii?q?5Xz247bXianhL7+9vitMU7q3cY6Lod8JtLWKD+OqA5VqBwDTI8Mmlz6te4mwPE?= =?us-ascii?q?SF6k5mEdSXkXmxwAJwnD4BD1FsP1sy32t+VV1yyTPMmwRrcxD2fxp5x3QQPl3X?= =?us-ascii?q?9UfwUy93va35R9?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CWAAAbsBVYhipSfUpdSBgHgnMBAQEBA?= =?us-ascii?q?YF0rQCLcoIHiCZBEgEBAQEBAQEBAQEBEgEBAQgLCwkdMIIzGIIwER0BGx4DEhA?= =?us-ascii?q?PAiYCJREBBQFXiBcBAxcDol2CCIEyPzKLRoFrgl8Fg00KGScNVIMgAQEBGwIGE?= =?us-ascii?q?HeHMwiHY4IACy0tgi8FmhiBPo5yiWSGIIx+glMxgRElC3YGCIM0gV5yiAUBAQE?= X-IPAS-Result: =?us-ascii?q?A0CWAAAbsBVYhipSfUpdSBgHgnMBAQEBAYF0rQCLcoIHiCZ?= =?us-ascii?q?BEgEBAQEBAQEBAQEBEgEBAQgLCwkdMIIzGIIwER0BGx4DEhAPAiYCJREBBQFXi?= =?us-ascii?q?BcBAxcDol2CCIEyPzKLRoFrgl8Fg00KGScNVIMgAQEBGwIGEHeHMwiHY4IACy0?= =?us-ascii?q?tgi8FmhiBPo5yiWSGIIx+glMxgRElC3YGCIM0gV5yiAUBAQE?= X-IronPort-AV: E=Sophos;i="5.31,568,1473112800"; d="scan'208";a="198639447" Received: from mail-wm0-f42.google.com ([74.125.82.42]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 30 Oct 2016 09:34:57 +0100 Received: by mail-wm0-f42.google.com with SMTP id u144so152794wmu.1 for ; Sun, 30 Oct 2016 01:34:57 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:content-transfer-encoding:mime-version:subject:message-id:date :to; bh=6rSkgyesrqWHsLF2THy9c3E2WOQQKoINex5vuBPiFEg=; b=mP1KBLmeiduNZ+7FDQo+2ZiND6R9jRaXbDdYedERjrJA6SqtfTidyruN0pdkd0n/MN m01+hUOFcWdxbLqRsjSJN14hLMUlkSwhlc82md8xmfqM6PosYcnDZavkyEbZ+k+XcXzh D5LAKNz8HkaVNUoZORII6NdVWJHyBJeFDU57VpXyNNRKCLGFqEAsGuQmxBmrZVbbjT+m ZE2ARNBi0bWTLzz0aMlMi8+BTC1cByE/zMO/Ao2rMb65cp8V4TEW5Rp5bSDOTpChRixl xmlWhbd6SV+AsTw3ikMvg79L+Uep4sL5/egR2pi3adrmrW0Ai9HHCUJuFfJorYMTE6b4 wNzQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:from:content-transfer-encoding:mime-version :subject:message-id:date:to; bh=6rSkgyesrqWHsLF2THy9c3E2WOQQKoINex5vuBPiFEg=; b=BgakvIXcaKaNP3eO/wAOaA7xRhl12PsTc4jVTZ9HInJdtw9xPI6uMzQoLTdMTBRMEq 6jwpplITinMb5N3TLm/f1z3lx/Fa6/ArkQg/vkhdPRmDcLDeikoibiHX3M5dEtQMlkMw 8chroeJmvC0UIhzZDY1jds8i8SPAiC2caMwrwpSWB5vDfHVzNLmLRKKtHi015yL+ZKjT W/FAx2hxtp+heOnIVHoDQavRyukCMVJl2wKFkKgvbCKCtyhS1dl/rp/4G8PokD93wBOa qvj8In7F2CPSdXMebKpbfkAfpBwtfgkdrZEDpUAHe5EiO4pEzOPoX0t7SDTEL6DRow1r g1AA== X-Gm-Message-State: ABUngveADiYgbjZNEQ6zI1HB3RNKTQ3k+EslmLx7YTF1EnvMOFUp/ocT+7qzzWDbTbdVsA== X-Received: by 10.28.168.86 with SMTP id r83mr6156922wme.16.1477816496264; Sun, 30 Oct 2016 01:34:56 -0700 (PDT) Received: from christians-air.lan (58.245.6.51.dyn.plus.net. [51.6.245.58]) by smtp.gmail.com with ESMTPSA id w1sm23485141wje.36.2016.10.30.01.34.55 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sun, 30 Oct 2016 01:34:55 -0700 (PDT) From: Christian Lindig Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 10.1 \(3251\)) Message-Id: Date: Sun, 30 Oct 2016 08:34:55 +0000 To: caml-list@inria.fr X-Mailer: Apple Mail (2.3251) Subject: [Caml-list] Running an Opam Cache? Opam is the best way to install OCaml packages. By default it will download= each package from the URL provided in a package and thus it relies on thes= e being available over the internet. This entails a danger that they might = not, or change (although the checksum provides some protection). Is there a= way to setup an Opam repository locally such that an "opam install=E2=80= =9D would download (selected) sources from a local archive? I understand that packages can be pinned locally using each package=E2=80= =99s Git repo and this would work if each package also includes its opam fi= les. I am looking for a way to populate the cache with the tar/zip files th= at the Opam packages point to. =E2=80=94 Christian