diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-11-20 01:01:31 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-11-20 01:01:31 +0000 |
| commit | 5d0c0ffd63620a4db788484bd36ab92b76e7891b (patch) | |
| tree | b4204d122504a5c2d3bfdb2cc9f3a5dcf5fe07b2 /dev-ml/pp | |
| parent | 60945053af0588a6219a4a6867aace9e7b47faeb (diff) | |
gentoo auto-resync : 20:11:2022 - 01:01:31
Diffstat (limited to 'dev-ml/pp')
| -rw-r--r-- | dev-ml/pp/Manifest | 3 | ||||
| -rw-r--r-- | dev-ml/pp/metadata.xml | 11 | ||||
| -rw-r--r-- | dev-ml/pp/pp-1.1.2.ebuild | 20 |
3 files changed, 34 insertions, 0 deletions
diff --git a/dev-ml/pp/Manifest b/dev-ml/pp/Manifest new file mode 100644 index 000000000000..fb3787ac580a --- /dev/null +++ b/dev-ml/pp/Manifest @@ -0,0 +1,3 @@ +DIST pp-1.1.2.tbz 9586 BLAKE2B 36bf09c2623c28215f2d4d3260681dacf7041919e09eb5e53ee04f90706b037784c0f7d5cbdfee58ce2808f28df09638fa4d15b82d8542badc05c06c0d8cce96 SHA512 58f78b083483006b40814be9aac33c895349eb1c6427d2762b4d760192613401262478bd5deff909763517560b06af7bf013c6a6f87d549aafa77b26345303f2 +EBUILD pp-1.1.2.ebuild 459 BLAKE2B 468b13b6bbe43bfbaa2a95f2903705df9d480e4523bfb29da0daed55ad185736e3da8d24e73a8b705b7b97b4a90c9baecd0182407f820f393ed487f86dd0149e SHA512 5d0d7913b5219216e08e5f5cb3685663fb2e60d9f4195bbd759554709ccfbead053b0e31e3cf1a2cdca6a3a4f7331e38743a81a7b99c982b528ae1c3633dd8cf +MISC metadata.xml 311 BLAKE2B 186c7e33d7f49e9833a705df8f1d1e55af53322a65a71e7a14828929ff71f661f7e0bd8f69d3fa21851a58d24273108d94f789491e9e9c65021f90d2798f1164 SHA512 c936324d80846839c2d209666f8ecbb54556bff77dd198da029944321d0344a70c16c7fecb699449f29b600d68d249a3b9ee829c53e2eee9c5b51320668cd952 diff --git a/dev-ml/pp/metadata.xml b/dev-ml/pp/metadata.xml new file mode 100644 index 000000000000..25a0b092cb96 --- /dev/null +++ b/dev-ml/pp/metadata.xml @@ -0,0 +1,11 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <maintainer type="project"> + <email>ml@gentoo.org</email> + <name>ML</name> + </maintainer> + <upstream> + <remote-id type="github">ocaml-dune/pp</remote-id> + </upstream> +</pkgmetadata> diff --git a/dev-ml/pp/pp-1.1.2.ebuild b/dev-ml/pp/pp-1.1.2.ebuild new file mode 100644 index 000000000000..61daa7921fa6 --- /dev/null +++ b/dev-ml/pp/pp-1.1.2.ebuild @@ -0,0 +1,20 @@ +# Copyright 2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="Pretty-printing library" +HOMEPAGE="https://github.com/ocaml-dune/pp" +SRC_URI="https://github.com/ocaml-dune/pp/releases/download/${PV}/${P}.tbz" + +LICENSE="MIT" +SLOT="0" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" +IUSE="+ocamlopt" + +DEPEND="dev-ml/ppx_expect:= + >=dev-lang/ocaml-4.08" +RDEPEND="${DEPEND}" +BDEPEND="" |