summaryrefslogtreecommitdiff
path: root/dev-ml/utop
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2023-08-27 16:00:10 +0100
committerV3n3RiX <venerix@koprulu.sector>2023-08-27 16:00:10 +0100
commit9f51c386724b9543e88a9c0e1be57d44326f3116 (patch)
treed351bdf5964a53a79ca2c9cec1123b234cd321ed /dev-ml/utop
parentfdfde9fd41778789aaab6711adb9e4cc31c28360 (diff)
gentoo auto-resync : 27:08:2023 - 16:00:10
Diffstat (limited to 'dev-ml/utop')
-rw-r--r--dev-ml/utop/Manifest2
-rw-r--r--dev-ml/utop/utop-2.11.0-r1.ebuild64
2 files changed, 0 insertions, 66 deletions
diff --git a/dev-ml/utop/Manifest b/dev-ml/utop/Manifest
index 7d14d3993952..9423fffb22ec 100644
--- a/dev-ml/utop/Manifest
+++ b/dev-ml/utop/Manifest
@@ -1,6 +1,4 @@
AUX 50utop-gentoo.el 100 BLAKE2B eb2061a156c26f41f06076905e66212743aca67b3692c14f5347006aeda59f05d973f766fd65c97dfd14ab0dca22cac831076c7809e12d509253483cd0ab8bb4 SHA512 80ef89749dc68e7d339bc6fc63984b56913b3d94c22fa38ab82a6d4e4867ea30e94ce116d25212785d00ce721909fbda3cb3ff9e710e617e241b42f8152b18d2
-DIST utop-2.11.0.tar.gz 416351 BLAKE2B 14d407bd79f83b9b0307ec34ec9330e625e0e5fbc4b4091f98a45d90ff6225c292b6d764746273a5b7e7abda74c83852056f470d8f2f3b16fffc16569ecc6f98 SHA512 ebc27219b0345ab1478499221756806874c430f81aa9f40e7d482d0fd948750919d631b6159faec19fef0d23d14e6a115e6b21a5aa724ce1534e000e5d35bdae
DIST utop-2.12.1.tar.gz 416596 BLAKE2B a8a31c91fd4f989e3d89bc736caa7b611ba0ccc2de905adcd1cf59fff87770d5a00c2d7a43462940269ae8be2f5980fa5b8d2ec7ba547b937cc1e6a579621f2f SHA512 cc52bdb2a58141e6f7b678c93f69b0aa5ca4c628cb6841e02e6a783191a917bd838c06682d55f4f455a01a7004e43b5193d8574968b8400050b0f7b5a102ca3a
-EBUILD utop-2.11.0-r1.ebuild 1068 BLAKE2B e4f9aa5170aa046f5f07737cbca7e5dac2ab916ad41b7483fc3971cfd3430f28f6d304de4f1b496169093b2a279ba189bb07888710c1f6e60c7cdacc5f514a3e SHA512 d63f4757e29f790d84274f890ba7dcfc90e95c322fc1f94ee853c0a6de7a396ce9ab99780f891207bbf8812c45e665263b6aa4884451f5952fd44b96da0bcecf
EBUILD utop-2.12.1.ebuild 1068 BLAKE2B e4f9aa5170aa046f5f07737cbca7e5dac2ab916ad41b7483fc3971cfd3430f28f6d304de4f1b496169093b2a279ba189bb07888710c1f6e60c7cdacc5f514a3e SHA512 d63f4757e29f790d84274f890ba7dcfc90e95c322fc1f94ee853c0a6de7a396ce9ab99780f891207bbf8812c45e665263b6aa4884451f5952fd44b96da0bcecf
MISC metadata.xml 714 BLAKE2B cdcb086ec113872a316e1f98b53802f6faef22a718543527c5cd5d4038ac68a601bb0898532428378ce016e4d018074c043e8dafb4109ac7fcd233cabe1f3c54 SHA512 40468222a996f4b5bebf03ab5d2d7fc639ab00acba23ea98da3a4a7993864946d2327c296806e0106e5d150c90d5286629d9608bc0e04acbd94fc5fd1ba50bf4
diff --git a/dev-ml/utop/utop-2.11.0-r1.ebuild b/dev-ml/utop/utop-2.11.0-r1.ebuild
deleted file mode 100644
index 0acedbdf1fad..000000000000
--- a/dev-ml/utop/utop-2.11.0-r1.ebuild
+++ /dev/null
@@ -1,64 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit dune elisp-common
-
-DESCRIPTION="Universal toplevel for OCaml"
-HOMEPAGE="https://github.com/ocaml-community/utop"
-SRC_URI="https://github.com/ocaml-community/utop/archive/${PV}.tar.gz -> ${P}.tar.gz"
-
-LICENSE="BSD"
-SLOT="0/${PV}"
-KEYWORDS="~amd64 ~x86"
-IUSE="emacs +ocamlopt"
-
-ELISP_DEPEND="
- emacs? (
- >=app-editors/emacs-24:*
- >=app-emacs/tuareg-mode-2.2.0
- )
-"
-DEPEND="
- dev-ml/lambda-term:=
- dev-ml/logs:=
- dev-ml/lwt:=
- dev-ml/react:=
- dev-ml/zed:=
-"
-RDEPEND="
- ${DEPEND}
- ${ELISP_DEPEND}
-"
-BDEPEND="
- dev-ml/cppo
- dev-ml/findlib
- ${ELISP_DEPEND}
-"
-
-SITEFILE="50${PN}-gentoo.el"
-
-src_compile() {
- dune_src_compile
-
- use emacs &&
- BYTECOMPFLAGS="-L src/top" elisp-compile src/top/*.el
-}
-
-src_install() {
- dune_src_install
-
- if use emacs ; then
- elisp-install ${PN} src/top/*.el{,c}
- elisp-site-file-install "${FILESDIR}/${SITEFILE}"
- fi
-}
-
-pkg_postinst() {
- use emacs && elisp-site-regen
-}
-
-pkg_postrm() {
- use emacs && elisp-site-regen
-}