From owner-freebsd-ports@freebsd.org Sat Jan 5 13:31:22 2019 Return-Path: Delivered-To: freebsd-ports@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id 658E2149AC9B for ; Sat, 5 Jan 2019 13:31:22 +0000 (UTC) (envelope-from serpent7776@gmail.com) Received: from mail-lj1-x233.google.com (mail-lj1-x233.google.com [IPv6:2a00:1450:4864:20::233]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (Client CN "smtp.gmail.com", Issuer "Google Internet Authority G3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 8688882551; Sat, 5 Jan 2019 13:31:21 +0000 (UTC) (envelope-from serpent7776@gmail.com) Received: by mail-lj1-x233.google.com with SMTP id v15-v6so34597270ljh.13; Sat, 05 Jan 2019 05:31:21 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=date:from:to:cc:subject:message-id:in-reply-to:references :mime-version:content-transfer-encoding; bh=p7cgsOaFkSGkdFuFkCkUJrAzo/Ao9IYVlf3w0DrzIMk=; b=eTKEkPgEQ/KMnORWpy16Rb1U6PkxYuX12b3hrgP4ZQ/H3G5K5ersnfvUyTfKs1QYI4 eAvevmw/CjNzAHM0zvYD8QcZGJQBM3yByO3/PUpHCbUguQvtRetivMMB90f6r4aQo6AK 6tbLJ2UkAPOLem/FYWpOgfVZ3YfgdEzO00Xn+ovLav8/FnL8616anWt65k5LdhCnXJJ9 bu7HSF8gg0l2+A6RmZUOyYi16yb4mvyR4j1xBA885I9QZQ6s8F8yV2DvHK8/wsAcd2VQ +38WZLxFADHTzDckRAvTDA0+b/IRftmkcGGt6H58VVDFvlIZM0lfTzEk0+RgmjuWoYJW 7vjw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:from:to:cc:subject:message-id:in-reply-to :references:mime-version:content-transfer-encoding; bh=p7cgsOaFkSGkdFuFkCkUJrAzo/Ao9IYVlf3w0DrzIMk=; b=spMKom6GeHErIO+h7wFsncQtQZ7FPobriZLq9P70Hppbbo8913k1TgG8jyBa+XPDYu 2OfycZ9s4dapfCV1PfYGgWT/r1cEYp4T6hoNLTiXcYNsdufQR4y7mRwk8lqQJ4YMQBDd VIV4/y/OCKru4xzhViBA0UTy+sAPtyxdzJoqWLbIzJRp5iVwvThsDxyutl3ocn/ULTu4 Ynuto+vjRZ1JqtaNHHKYm5Pj5r+/mT6UC9Yz4mdioFso2m8NxaCnLTYTdlDFGkhUYyA/ kwwflqmPA3w3xuJVsBbFLEL0FY4PBdltnvFnSE5FAxyysn5G3eQSR8JCItQw12zP4Vrm F9DQ== X-Gm-Message-State: AJcUukdbBs0oT/SjJt/TWaSD9Wj1UiumAFZi+4tU/R8rvmTXy5OHsfMa 0pcZ++qsjVXwoVjQWfRKJ5ypjYFQaTk= X-Google-Smtp-Source: ALg8bN6qGGG+SCJ7mPMO/o+yP6IU7P5QrTS8d+j6OU+WyNPZTL1pIlGPpf0UPGjzy2456RazicAd/g== X-Received: by 2002:a2e:84ca:: with SMTP id q10-v6mr3257288ljh.65.1546695079108; Sat, 05 Jan 2019 05:31:19 -0800 (PST) Received: from DaemONX (90-156-31-193.internetia.net.pl. [90.156.31.193]) by smtp.gmail.com with ESMTPSA id e13-v6sm12959405ljk.53.2019.01.05.05.31.18 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sat, 05 Jan 2019 05:31:18 -0800 (PST) Date: Sat, 5 Jan 2019 14:30:52 +0100 From: Serpent7776 To: Kurt Jaeger Cc: michipili@gmail.com, freebsd-ports@freebsd.org Subject: Re: FreeBSD Port: lang/ocaml Message-ID: <20190105143052.628c7909@DaemONX> In-Reply-To: <20190104123141.GR84895@home.opsec.eu> References: <20190104130318.6f490bfb@DaemONX> <20190104123141.GR84895@home.opsec.eu> X-Mailer: Claws Mail 3.17.3 (GTK+ 2.24.32; amd64-portbld-freebsd11.2) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-Rspamd-Queue-Id: 8688882551 X-Spamd-Bar: ----- Authentication-Results: mx1.freebsd.org; dkim=pass header.d=gmail.com header.s=20161025 header.b=eTKEkPgE; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (mx1.freebsd.org: domain of serpent7776@gmail.com designates 2a00:1450:4864:20::233 as permitted sender) smtp.mailfrom=serpent7776@gmail.com X-Spamd-Result: default: False [-5.82 / 15.00]; RCVD_VIA_SMTP_AUTH(0.00)[]; TO_DN_SOME(0.00)[]; R_SPF_ALLOW(-0.20)[+ip6:2a00:1450:4000::/36]; FREEMAIL_FROM(0.00)[gmail.com]; RCVD_COUNT_THREE(0.00)[3]; DKIM_TRACE(0.00)[gmail.com:+]; DMARC_POLICY_ALLOW(-0.50)[gmail.com,none]; MX_GOOD(-0.01)[cached: alt3.gmail-smtp-in.l.google.com]; NEURAL_HAM_SHORT(-0.93)[-0.934,0]; FROM_EQ_ENVFROM(0.00)[]; MIME_TRACE(0.00)[0:+]; RCVD_TLS_LAST(0.00)[]; FREEMAIL_ENVFROM(0.00)[gmail.com]; ASN(0.00)[asn:15169, ipnet:2a00:1450::/32, country:US]; DWL_DNSWL_NONE(0.00)[gmail.com.dwl.dnswl.org : 127.0.5.0]; ARC_NA(0.00)[]; NEURAL_HAM_MEDIUM(-1.00)[-1.000,0]; R_DKIM_ALLOW(-0.20)[gmail.com:s=20161025]; FROM_HAS_DN(0.00)[]; RCPT_COUNT_THREE(0.00)[3]; NEURAL_HAM_LONG(-1.00)[-1.000,0]; MIME_GOOD(-0.10)[text/plain]; IP_SCORE(-2.37)[ip: (-8.24), ipnet: 2a00:1450::/32(-1.89), asn: 15169(-1.67), country: US(-0.08)]; TO_MATCH_ENVRCPT_SOME(0.00)[]; RCVD_IN_DNSWL_NONE(0.00)[3.3.2.0.0.0.0.0.0.0.0.0.0.0.0.0.0.2.0.0.4.6.8.4.0.5.4.1.0.0.a.2.list.dnswl.org : 127.0.5.0]; MID_RHS_NOT_FQDN(0.50)[]; FREEMAIL_CC(0.00)[gmail.com] X-BeenThere: freebsd-ports@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Porting software to FreeBSD List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 05 Jan 2019 13:31:22 -0000 On Fri, 4 Jan 2019 13:31:41 +0100 Kurt Jaeger wrote: > Hi! > > > Current version of ocaml is 4.02.3, but newest is 4.07. > > Could ocaml port be updated to newest version please? > > The attempt to do so can be followed at: > > https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=218333 > Thanks, wasn't aware update is already in progress. -- /* * Serpent7776 */