From nobody Sat Nov 30 20:09:52 2024 X-Original-To: dev-commits-ports-main@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4Y11Nx0wTpz5fb76; Sat, 30 Nov 2024 20:09:53 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R10" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4Y11Nw6JnGz4TBW; Sat, 30 Nov 2024 20:09:52 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1732997392; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=XR2b6ugzcgjzLGFfkNZgescH1csVmnxaMExr+U5+BGk=; b=bqADYvMJDtlGozoWVu/Mr1WU20qoiatNdwSJ3JN/HZLKil5qj7O3kiD8H1yYBOxqJ+J6hb NMog9fz/zvKaKAVZLGJexs57fwhpn//Fwe6i8XYjjqBkVgrmVoAFoikkTriJ+zMEIbSFGR 5nX0vU80YDgXt8z3faHS6n742eMu8hsnxIFn5a+pchb3LE2AGtNWIUeDypJnHpve5A4V20 na3ul6hJNxbm1OqMfckiCEuOAbQacF5onjxEhWmWTdQUOv6XT3yezdsyxI5JGx37TGpnjf luFZ7sD6ugxOT2sY/ya+DJ1ogfJ6uosQ3Sw3iCFrBvm+goTasf4OXGcw86O2sA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1732997392; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=XR2b6ugzcgjzLGFfkNZgescH1csVmnxaMExr+U5+BGk=; b=PoUAN18S7LeQcffXelyV01cJNH+25di7HCkvih1NYKV88tVG+C8DTA32xBBu2FmlWrU+X8 UDY+hK+QBSIpYJNfsHhaCmavNGsiZW5jmL9tzCxKZ+r+soD/qnga0SxXuCPDdADXm8rqLR wiS8szgTAe16tLx3MS4MIhA469q4rKnYme3c8ERtlBx2ti1girjwTfN+rY5JX5e0gJu5Kf AoAm6NQ9aGhuIM+6GTo0XAAprz+CxmBrnH4eWDQh3oP6uNgYA6TAC0oQZjvCGP8xr/Dnyd 9eFPQnJ1Gd/QQzDVAVuKHzWhxMQR6u3MvZOf+f9IWJOioSFcHfVYZ+ZkgzjMIg== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1732997392; a=rsa-sha256; cv=none; b=V6fse8Yd8caNVMS9+XS7888lb/pnYv89vHGr1aJxS0RW0SoJWFZClUfcO+IfL/3Xg0yOW1 f/1FkDkbkEqgZsdJJ4arGbztDfG3a7wDZdA36rat+Djg3oKCsn1r0Ud1dmgbIvhcloipfF e/Iyd5MWBqE44UmjPnJRDHVKO+3EF8t0DOZqapOnISDDhWN8VxPu6A596RH7+8sejORoRD bxdNFQ6ccOf/X80eu8sKr/KGrJdXI0mmSb2MQc3M5hCd1tiXWbN/oCpVrGljcSA5teYl1B +g4tr//a787962oqLoTNbetkdotpS10ROebeJWm07yA6EYWwHWMuj2XD83u4QA== Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 4Y11Nw5pCBzMcx; Sat, 30 Nov 2024 20:09:52 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.18.1/8.18.1) with ESMTP id 4AUK9qdV010218; Sat, 30 Nov 2024 20:09:52 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.18.1/8.18.1/Submit) id 4AUK9qVA010215; Sat, 30 Nov 2024 20:09:52 GMT (envelope-from git) Date: Sat, 30 Nov 2024 20:09:52 GMT Message-Id: <202411302009.4AUK9qVA010215@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Zsolt Udvari Subject: git: b26873832908 - main - lang/ott: Update to 0.33 List-Id: Commits to the main branch of the FreeBSD ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-main List-Help: List-Post: List-Subscribe: List-Unsubscribe: X-BeenThere: dev-commits-ports-main@freebsd.org Sender: owner-dev-commits-ports-main@FreeBSD.org MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: uzsolt X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: b268738329085d6a591dbe40209e69bdfc0cad1e Auto-Submitted: auto-generated The branch main has been updated by uzsolt: URL: https://cgit.FreeBSD.org/ports/commit/?id=b268738329085d6a591dbe40209e69bdfc0cad1e commit b268738329085d6a591dbe40209e69bdfc0cad1e Author: Benjamin Jacobs AuthorDate: 2024-11-30 20:07:16 +0000 Commit: Zsolt Udvari CommitDate: 2024-11-30 20:07:16 +0000 lang/ott: Update to 0.33 Add BUILD_DEPENDS. Switch to DISTVERSION. Pet portfmt. PR: 282120 Approved by: maintainer timeout (6+ weeks) --- lang/ott/Makefile | 10 ++++++---- lang/ott/distinfo | 6 +++--- 2 files changed, 9 insertions(+), 7 deletions(-) diff --git a/lang/ott/Makefile b/lang/ott/Makefile index a9b98f77a508..cf12e9630334 100644 --- a/lang/ott/Makefile +++ b/lang/ott/Makefile @@ -1,6 +1,5 @@ PORTNAME= ott -PORTVERSION= 0.28 -PORTREVISION= 1 +DISTVERSION= 0.33 CATEGORIES= lang MAINTAINER= domagoj.stolfa@cl.cam.ac.uk @@ -10,15 +9,18 @@ WWW= https://github.com/ott-lang/ott LICENSE= BSD3CLAUSE LICENSE_FILE= ${WRKSRC}/LICENCE -USES= gmake +BUILD_DEPENDS= ${OCAMLFIND_DEPEND} \ + ocaml-ocamlgraph>=0:math/ocaml-ocamlgraph -ALL_TARGET= world +USES= gmake USE_GITHUB= yes GH_ACCOUNT= ott-lang USE_OCAML= yes +ALL_TARGET= world + PLIST_FILES= bin/ott do-install: diff --git a/lang/ott/distinfo b/lang/ott/distinfo index 1313a4ff43b9..ee2894ac8018 100644 --- a/lang/ott/distinfo +++ b/lang/ott/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1537137485 -SHA256 (ott-lang-ott-0.28_GH0.tar.gz) = 30c7613802cdd7f03eb1df1d634da3e13197e210d5697252382d29b5f03618f2 -SIZE (ott-lang-ott-0.28_GH0.tar.gz) = 3263773 +TIMESTAMP = 1718314215 +SHA256 (ott-lang-ott-0.33_GH0.tar.gz) = d64ec4527f8ace56a407fc67957840d1653980fb0112d7fa8f2b0fc958501f7b +SIZE (ott-lang-ott-0.33_GH0.tar.gz) = 3533658