diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-08-04 20:05:57 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-08-04 20:05:57 +0100 |
| commit | a87d0d6b8bfa400637c56d3194b22fca5cbd6f9e (patch) | |
| tree | 761432665eb6bfa18b129f0bc7b23162bcfd98fc /dev-ml | |
| parent | 9ec9cbf23e468492eab5e3a31836c699e8c5c534 (diff) | |
gentoo auto-resync : 04:08:2022 - 20:05:57
Diffstat (limited to 'dev-ml')
| -rw-r--r-- | dev-ml/Manifest.gz | bin | 35142 -> 35142 bytes | |||
| -rw-r--r-- | dev-ml/jingoo/Manifest | 2 | ||||
| -rw-r--r-- | dev-ml/jingoo/jingoo-1.4.2.ebuild | 3 |
3 files changed, 3 insertions, 2 deletions
diff --git a/dev-ml/Manifest.gz b/dev-ml/Manifest.gz Binary files differindex 943782d7292f..567d5896a2bb 100644 --- a/dev-ml/Manifest.gz +++ b/dev-ml/Manifest.gz diff --git a/dev-ml/jingoo/Manifest b/dev-ml/jingoo/Manifest index c293a0fe7c53..66d4f6585cbb 100644 --- a/dev-ml/jingoo/Manifest +++ b/dev-ml/jingoo/Manifest @@ -1,3 +1,3 @@ DIST jingoo-1.4.2.tar.gz 67611 BLAKE2B 5d2ead117863a2edd18320da4fa7539a7ebd6c537509b5cd37df3778d90c3459dde73d03d3d97b0ed64cfa4b7ef46f620e5638dd75f7e5b290340cc53761deea SHA512 d54d9114b87efdf49b81931b28ee2b61edbd984792c8371f7498b42175f574da7d2774b7b28702b62eeae704168e18c7e9283c4618045abc559b2d1d680e92ad -EBUILD jingoo-1.4.2.ebuild 662 BLAKE2B ac0e63fca5fd603639b97cc4782e27002208df0381fcf3a159610bf9555e57d44758e64ec00d8ad7f95402b69b1d9521e190829b5a4d1708edb92bb95ed03287 SHA512 28a73b1689e89d05bbf9718ef41bad379a2260bd4bfb3d1d727bcab784b06b45189eb3ea94e9788ddc1d7b9dcf3dc2b14532dcfbe6f197b56c267cf6bf3b382b +EBUILD jingoo-1.4.2.ebuild 701 BLAKE2B c805e12d9b3cd70bff8ebe35e23a1516aea760ae5a6030aeca2c493000f2668007ee0626ac574c4cadd523f35dc938e9facf9e2aba751f80a7b65dc8bf9d5731 SHA512 3035861be4acb5b1eb3fe597554a524acdedacfec0ea0e5a42f3410462ebff5f0180f7b4d376d451d971a7fdff1d552894ad18bacf48b5aa2b39a40239cc5d1a MISC metadata.xml 318 BLAKE2B a882d48f971b725d9604a9205258cdf6747d2ebcfb868f9782267fa54ca4aca64482032bca93c54708bf9908e700b0c38a96b6f075f834ba2381744920075fd7 SHA512 15f06496cd273fac20f93fd79dec7bfc08ede35639e162e4de9e2e9c90cb187218f0232e4bd011d1b4dd8ebd9ee7c2ec32ea4091cac2adee2f772a3db5e88652 diff --git a/dev-ml/jingoo/jingoo-1.4.2.ebuild b/dev-ml/jingoo/jingoo-1.4.2.ebuild index cef6205ee582..fb7f96eea9f3 100644 --- a/dev-ml/jingoo/jingoo-1.4.2.ebuild +++ b/dev-ml/jingoo/jingoo-1.4.2.ebuild @@ -1,4 +1,4 @@ -# Copyright 2021 Gentoo Authors +# Copyright 2021-2022 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=7 @@ -20,6 +20,7 @@ RDEPEND="dev-ml/ppx_deriving:= dev-ml/uucp:= dev-ml/uutf:= dev-ml/re:= + dev-ml/ocaml-migrate-parsetree:= dev-ml/menhir:=" DEPEND="${RDEPEND} test? ( dev-ml/ounit2 )" |