From nobody Sat Mar 16 11:59:40 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 4Txfmr61gmz5DgjS; Sat, 16 Mar 2024 11:59:40 +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 "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4Txfmr5Lgzz53h2; Sat, 16 Mar 2024 11:59:40 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1710590380; 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=B5d0aGtAbTGeNxsZgm9a5OYVVFaCO6EVDcKhJPf0p2s=; b=EnsIjZgLIZQiy6J1wNzojsVxb0gqf3lfbq6R5ii5XCXkJpdCVVTUThFXcCK+/rMClqQiNQ /nV7cMcGkGQMY1CWhGjIcNX/TZemj8I5OYvhSjvAsZx4VG8S8Z6Ajgyf3r8EVSdtb3vLeF aQc1+Mf3a6lCRaCr+CbkqSoeJi0JL89IQNElK3HgygWvetZy0/0AAQMLSGy7bYbUdPolFj F/7InbOU9l7KJqQIUaaGvQB4vmQ7OO7LqKceQj7pLmWuKZtT0lajG8leJwEkTLry6mfiGq qC7YUnjhCmycLIx/Al3BCau3//fBHblyOKupRfIeblUhGRkHvzgYYXoX59r6Cg== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1710590380; a=rsa-sha256; cv=none; b=Y8ANHV4laVpHN6dXVbvhuC0uwwj6MHrwSKcu/TKou+sGy1nyXblGCVRz/lG+SLRzdjxFrp zeRH8hlp4XDsLw8eCr1BhiatuY54v/73SXW4ShJD27VigSu1P3HiA4/DEid9f/rFVwioOi MOCG5zFsrKPw/WNJBiGpz/8ZmXh8eEhBqU4CkC5MDgODKlPG6qo3JhLshvkoyzph3NIQwp 4MLeWlRD2KSSFyMJmxftLhnji9fcZccIoSAxkjsf8H618XPWCdwdrcLEqubIPQYYf3KFkK Us/USz3xOe0y2CtAS3yTYqt88x2oxVE3Kst+CwSNIScvSm10K9YPww5XwZ6Wcw== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1710590380; 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=B5d0aGtAbTGeNxsZgm9a5OYVVFaCO6EVDcKhJPf0p2s=; b=xASfkVN9McXCv3yR2y2ME5kQxaCz26/N+2jS+1BacJsrsDWV5oK9TPyYY1cvEfuYjFf0O7 Xd0cvlCXPviFF82fPu2vgqoSFmSjZOX2GnGhpvsNm+mH6a1Brw7yxNqCFsviDj/uJ23NyM UVOkxtgTHPBCyC0yjW3YuLmRXDyl8H/mZVUK/jzBbAMcTUodi5vY+SP1Mg/USceSHD7XAm JYH2Ur3WHhhuUaz/50NhPEqGEY9FzD9PADGueAmZJxmalL7AYFfQK6aGksls2fUuCErOdx Jh2yDzuxW3vp3In/REd0Hesl4L6p6AUHJrzdE7r7C1582g0sYWNLh1TPYPtltw== 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 4Txfmr4qqkzthY; Sat, 16 Mar 2024 11:59:40 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.17.1/8.17.1) with ESMTP id 42GBxeul025289; Sat, 16 Mar 2024 11:59:40 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.17.1/8.17.1/Submit) id 42GBxeT9025286; Sat, 16 Mar 2024 11:59:40 GMT (envelope-from git) Date: Sat, 16 Mar 2024 11:59:40 GMT Message-Id: <202403161159.42GBxeT9025286@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Gleb Popov Subject: git: d9edbdde5ddc - main - math/hs-Agda: Fix LICENSE 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: Sender: owner-dev-commits-ports-main@freebsd.org X-BeenThere: dev-commits-ports-main@freebsd.org MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: arrowd X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: d9edbdde5ddc9d4a517d7b61def652172f96cea9 Auto-Submitted: auto-generated The branch main has been updated by arrowd: URL: https://cgit.FreeBSD.org/ports/commit/?id=d9edbdde5ddc9d4a517d7b61def652172f96cea9 commit d9edbdde5ddc9d4a517d7b61def652172f96cea9 Author: Andrey Korobkov AuthorDate: 2024-03-16 11:58:09 +0000 Commit: Gleb Popov CommitDate: 2024-03-16 11:58:29 +0000 math/hs-Agda: Fix LICENSE PR: 277730 --- math/hs-Agda/Makefile | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/math/hs-Agda/Makefile b/math/hs-Agda/Makefile index fff83be227f2..efb518465b09 100644 --- a/math/hs-Agda/Makefile +++ b/math/hs-Agda/Makefile @@ -6,10 +6,8 @@ MAINTAINER= haskell@FreeBSD.org COMMENT= Dependently typed functional programming language and proof assistant WWW= https://wiki.portal.chalmers.se/agda/ -LICENSE= UNKNOWN -LICENSE_NAME= custom +LICENSE= MIT LICENSE_FILE= ${WRKSRC}/LICENSE -LICENSE_PERMS= dist-mirror no-dist-sell pkg-mirror no-pkg-sell auto-accept BROKEN_i386= compiler goes out of memory