From: "Maciej Barć" <xgqt@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ml/reason/
Date: Sat, 17 Jun 2023 17:52:44 +0000 (UTC) [thread overview]
Message-ID: <1687023813.2c00f12c9d2b94dea6c8d2993546212a507ff26d.xgqt@gentoo> (raw)
commit: 2c00f12c9d2b94dea6c8d2993546212a507ff26d
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat Jun 17 12:14:19 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Jun 17 17:43:33 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2c00f12c
dev-ml/reason: drop old 3.8.1
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-ml/reason/Manifest | 1 -
dev-ml/reason/reason-3.8.1.ebuild | 37 -------------------------------------
2 files changed, 38 deletions(-)
diff --git a/dev-ml/reason/Manifest b/dev-ml/reason/Manifest
index e95d5d3bb004..a031a7db81ab 100644
--- a/dev-ml/reason/Manifest
+++ b/dev-ml/reason/Manifest
@@ -1,2 +1 @@
-DIST reason-3.8.1.tar.gz 1263319 BLAKE2B 340aa12bbf53255bd83af4922f552e0e341a09dc9946eb1afd486c57446b29f70891abe58fe04c46f94b4fce3ca7d3b015bff5599c002c95e5e161104c3d30d3 SHA512 b792c654f07f3aaf529811c422b548036a51a3170892110945d9c17580f931815fb0773362d00f939a68e89b9ebdb74bcf05f65ae99d93b36f1cd398e877cfd3
DIST reason-3.8.2.tar.gz 1264705 BLAKE2B f82cde6c3e825e9c0e0911ed9c3f5febd0b475e7f93c8919be4a817d3ebb11193b4b827eedce3db06d343dc6c508b355b7b5a1cab612bfcb54f020ff52be7be0 SHA512 a38d4727ac9c53b8c7c1aa86b1db62ab85e149084e44ef559c5eb6e92090eca09a78f810b93f7d7d180fa8dfa40569b622fc439e0569749dc8478094404d8916
diff --git a/dev-ml/reason/reason-3.8.1.ebuild b/dev-ml/reason/reason-3.8.1.ebuild
deleted file mode 100644
index 29a823b9621d..000000000000
--- a/dev-ml/reason/reason-3.8.1.ebuild
+++ /dev/null
@@ -1,37 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit dune
-
-DESCRIPTION="Simple, fast & type safe language that leverages JavaScript and OCaml"
-HOMEPAGE="https://reasonml.github.io"
-SRC_URI="https://github.com/reasonml/${PN}/archive/${PV}.tar.gz -> ${P}.tar.gz"
-
-LICENSE="MIT"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE="+ocamlopt"
-
-RDEPEND="
- dev-ml/fix:=
- dev-ml/menhir:=
- dev-ml/merlin-extend:=
- dev-ml/ocaml-migrate-parsetree:=
- dev-ml/result:=
- dev-ml/utop:=
-"
-DEPEND="${RDEPEND}"
-
-DOCS=(
- CODE_OF_CONDUCT.md HISTORY.md ORIGINS.md PLAN README.md
- docs/GETTING_STARTED_CONTRIBUTING.md
- docs/TYPE_PARAMETERS_PARSING.md
- docs/USING_PARSER_PROGRAMMATICALLY.md
-)
-
-src_install() {
- dune-install reason rtop
- einstalldocs
-}
next reply other threads:[~2023-06-17 17:52 UTC|newest]
Thread overview: 30+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-06-17 17:52 Maciej Barć [this message]
-- strict thread matches above, loose matches on Subject: below --
2025-02-10 19:19 [gentoo-commits] repo/gentoo:master commit in: dev-ml/reason/ Maciej Barć
2024-12-01 17:29 Maciej Barć
2024-12-01 17:29 Maciej Barć
2024-10-23 15:44 Maciej Barć
2024-05-26 21:36 Maciej Barć
2024-02-26 0:54 Maciej Barć
2024-02-26 0:54 Maciej Barć
2023-08-27 12:42 Maciej Barć
2023-07-08 20:38 Alfredo Tupone
2023-06-17 17:52 Maciej Barć
2023-06-17 17:52 Maciej Barć
2022-12-21 7:33 Alfredo Tupone
2022-10-16 0:02 Maciej Barć
2022-10-16 0:02 Maciej Barć
2022-06-28 15:19 Maciej Barć
2022-06-28 15:19 Maciej Barć
2022-03-09 1:36 Maciej Barć
2022-02-28 10:30 Maciej Barć
2022-01-29 19:36 Maciej Barć
2021-12-11 0:20 Maciej Barć
2021-12-08 4:18 Maciej Barć
2021-12-08 3:09 Maciej Barć
2021-12-08 2:13 Maciej Barć
2017-08-06 12:30 Alexis Ballier
2017-06-03 15:13 Alexis Ballier
2017-05-30 18:08 Alexis Ballier
2017-05-02 9:33 Alexis Ballier
2017-04-20 9:33 Alexis Ballier
2017-04-01 12:24 Alexis Ballier
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=1687023813.2c00f12c9d2b94dea6c8d2993546212a507ff26d.xgqt@gentoo \
--to=xgqt@gentoo.org \
--cc=gentoo-commits@lists.gentoo.org \
--cc=gentoo-dev@lists.gentoo.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox