From: "Alexis Ballier" <aballier@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ml/utop/
Date: Tue, 30 May 2017 07:00:16 +0000 (UTC) [thread overview]
Message-ID: <1496127384.f10c5c7ed05f66a90d053c5ca7c9c65690592e40.aballier@gentoo> (raw)
commit: f10c5c7ed05f66a90d053c5ca7c9c65690592e40
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
AuthorDate: Mon May 29 08:01:21 2017 +0000
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
CommitDate: Tue May 30 06:56:24 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f10c5c7e
dev-ml/utop: bump to 2.0.0
Package-Manager: Portage-2.3.6, Repoman-2.3.2
dev-ml/utop/Manifest | 1 +
dev-ml/utop/utop-2.0.0.ebuild | 40 ++++++++++++++++++++++++++++++++++++++++
2 files changed, 41 insertions(+)
diff --git a/dev-ml/utop/Manifest b/dev-ml/utop/Manifest
index 4ee8df4766e..cbde3cb1891 100644
--- a/dev-ml/utop/Manifest
+++ b/dev-ml/utop/Manifest
@@ -1 +1,2 @@
DIST utop-1.19.3.tar.gz 105213 SHA256 9dbca07b8c55700473cca1d9dd975abb9c6cd03e715dec4857f1249bee16e09b SHA512 97b3fec8b6f930efa742230058eba6fb846900d71e5758903dcefe03fa08e93b54e32642a5b8b6ad02aed7e81ccd6146e87a92805eb74aa4fae275a1188818cd WHIRLPOOL 470e5739639440b11905fbd4f755643aa3117f9fe76690723df7e2fba07e1bdcfcb7ad796a9dc2d00b3be3a6f0eba1afa335ce826a8c715ac40681ad38165599
+DIST utop-2.0.0.tar.gz 57421 SHA256 0a69e5ec055db223cf878d7fdda3b389dc5d42649cc99b5877db507767ce52b6 SHA512 12def269f18be292645d6339f80ffe85823d8095940acb57a03f99ea3f2fe2559662921e3a38d6381ec7246245164b5e2c6b5fc843bdb4fd07ad2377c73da207 WHIRLPOOL 8baf739295132c785d55001bba2aabe24e0f4b3e78214be3a3ac19ffa8baa80ab513d31225500f2dc18018284267be6a235d012f32d7e6c68c829e98358f1410
diff --git a/dev-ml/utop/utop-2.0.0.ebuild b/dev-ml/utop/utop-2.0.0.ebuild
new file mode 100644
index 00000000000..8418100ed7f
--- /dev/null
+++ b/dev-ml/utop/utop-2.0.0.ebuild
@@ -0,0 +1,40 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=5
+
+inherit findlib
+
+DESCRIPTION="A new toplevel for OCaml with completion and colorization"
+HOMEPAGE="https://github.com/diml/utop"
+SRC_URI="https://github.com/diml/utop/archive/${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="BSD"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE=""
+
+DEPEND="
+ dev-lang/ocaml:=
+ >=dev-ml/lwt-2.4.0:=
+ dev-ml/lwt_react:=
+ >=dev-ml/lambda-term-1.2:=
+ >=dev-ml/zed-1.2:=
+ >=dev-ml/cppo-1.0.1:=
+"
+RDEPEND="${DEPEND}"
+DEPEND="${DEPEND}
+ dev-ml/opam
+ dev-ml/jbuilder"
+
+DOCS=( "CHANGES.md" "README.md" )
+SITEFILE="50${PN}-gentoo.el"
+
+src_install() {
+ opam-installer -i \
+ --prefix="${ED}/usr" \
+ --libdir="${D}/$(ocamlc -where)" \
+ --docdir="${ED}/usr/share/doc/${PF}" \
+ --mandir="${ED}/usr/share/man" \
+ ${PN}.install || die
+}
next reply other threads:[~2017-05-30 7:00 UTC|newest]
Thread overview: 31+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-05-30 7:00 Alexis Ballier [this message]
-- strict thread matches above, loose matches on Subject: below --
2024-08-01 8:12 [gentoo-commits] repo/gentoo:master commit in: dev-ml/utop/ Alfredo Tupone
2024-07-13 11:37 Alfredo Tupone
2023-08-27 12:42 Maciej Barć
2023-08-05 16:53 Maciej Barć
2023-04-24 17:39 Maciej Barć
2023-04-24 17:39 Maciej Barć
2023-04-24 17:39 Maciej Barć
2023-01-13 12:31 Maciej Barć
2023-01-13 2:30 Maciej Barć
2022-07-04 15:14 Maciej Barć
2022-07-04 15:14 Maciej Barć
2022-05-22 0:45 Maciej Barć
2021-12-10 1:06 Maciej Barć
2021-12-08 2:13 Maciej Barć
2017-05-31 18:00 Alexis Ballier
2017-05-31 18:00 Alexis Ballier
2017-05-30 18:08 Alexis Ballier
2017-05-30 7:00 Alexis Ballier
2017-04-20 13:24 Alexis Ballier
2016-10-14 13:16 Alexis Ballier
2016-10-14 13:16 Alexis Ballier
2016-08-16 10:46 Alexis Ballier
2016-06-23 11:33 Alexis Ballier
2016-06-23 11:32 Alexis Ballier
2016-04-30 17:17 Alexis Ballier
2016-04-20 7:59 Alexis Ballier
2016-04-13 8:30 Alexis Ballier
2016-04-13 8:30 Alexis Ballier
2016-03-04 11:32 Alexis Ballier
2015-11-05 8:47 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=1496127384.f10c5c7ed05f66a90d053c5ca7c9c65690592e40.aballier@gentoo \
--to=aballier@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