diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-03-08 11:59:47 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-03-08 11:59:47 +0000 |
| commit | 0d96a0e47c83a107ad92e2bc90e5389f577cc9a4 (patch) | |
| tree | 0c8e7c1365039b3d5a467bf7f0fd2c4926d0bf45 /dev-ml | |
| parent | 60a831b4d328a261286ac8a4e150437faf49ce69 (diff) | |
gentoo auto-resync : 08:03:2023 - 11:59:47
Diffstat (limited to 'dev-ml')
| -rw-r--r-- | dev-ml/Manifest.gz | bin | 37181 -> 37346 bytes | |||
| -rw-r--r-- | dev-ml/ppx_blob/Manifest | 3 | ||||
| -rw-r--r-- | dev-ml/ppx_blob/metadata.xml | 11 | ||||
| -rw-r--r-- | dev-ml/ppx_blob/ppx_blob-0.7.2.ebuild | 20 |
4 files changed, 34 insertions, 0 deletions
diff --git a/dev-ml/Manifest.gz b/dev-ml/Manifest.gz Binary files differindex 7e6f0195ed03..e711fd8c488b 100644 --- a/dev-ml/Manifest.gz +++ b/dev-ml/Manifest.gz diff --git a/dev-ml/ppx_blob/Manifest b/dev-ml/ppx_blob/Manifest new file mode 100644 index 000000000000..424402ee27b7 --- /dev/null +++ b/dev-ml/ppx_blob/Manifest @@ -0,0 +1,3 @@ +DIST ppx_blob-0.7.2.tbz 3155 BLAKE2B 86262f4ef91dde30bbfc466dd0404c0f4825156097d0b019b180332e8f7d91630660f568193f8e8e184d3db07ec9dbc007e888f8dcb6874e2c04a077e8477a16 SHA512 d1701f640ce3dda2e2f0dce7d3f4a6b33ddfdaf793a9beab73e4f9ac93b2912adb7bb3b7fd1800bab258302aef0f0cdefb1e20ee62e6d882b25f0a64eae390a3 +EBUILD ppx_blob-0.7.2.ebuild 500 BLAKE2B ec3063c7d9ce56768612e4db28e635a8e03061bf52aacd6eec70f47d10ec40d43be5f0766ad5595cdbf461d7461750ef9b7110761bd77cf699da03a5b2266501 SHA512 20e9127e599850066890e3ab49b52827e3e01cad8e82fe09d5164d930d69bed4cffcfcfd5e7bd4fdf63e600f1d6cb613750d07e974ca12f67e5a0e7aede82062 +MISC metadata.xml 321 BLAKE2B 05fe6ad30e119812c67c94ed39deb4dabfc1206e414227006a59121c8c38a0bb739ed9204244dfb02a1f22a1f2d3e36990e959c646aa72338f00ba15f85af204 SHA512 afc30ca83d6c8c2ea0cc57687217d4a55ec6d3aff689bfd5e10c8d5c8d905d3ae799f3e46a2f1bd1e2a4de897c97d8cbe59aa8e94801eb80bf4753fd48d5a374 diff --git a/dev-ml/ppx_blob/metadata.xml b/dev-ml/ppx_blob/metadata.xml new file mode 100644 index 000000000000..55ef7e485ec1 --- /dev/null +++ b/dev-ml/ppx_blob/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">johnwhitington/ppx_blob</remote-id> + </upstream> +</pkgmetadata> diff --git a/dev-ml/ppx_blob/ppx_blob-0.7.2.ebuild b/dev-ml/ppx_blob/ppx_blob-0.7.2.ebuild new file mode 100644 index 000000000000..44f72a5c6423 --- /dev/null +++ b/dev-ml/ppx_blob/ppx_blob-0.7.2.ebuild @@ -0,0 +1,20 @@ +# Copyright 2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="Include a file as a string at compile time" +HOMEPAGE="https://github.com/johnwhitington/ppx_blob" +SRC_URI="https://github.com/johnwhitington/${PN}/releases/download/${PV}/${P}.tbz" + +LICENSE="Unlicense" +SLOT="0" +KEYWORDS="~amd64 ~x86" +IUSE="+ocamlopt test" +RESTRICT="!test? ( test )" + +DEPEND="dev-ml/ppxlib:=" +RDEPEND="${DEPEND}" +BDEPEND="test? ( dev-ml/alcotest )" |