diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-02-12 09:56:54 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-02-12 09:56:54 +0000 |
| commit | ebc282ef4dfa408accac685565b8ee5f6faec119 (patch) | |
| tree | c0a4f713228cda0ab17eed46f0bb7ca8cb8be2f6 /dev-ml/ppx_string | |
| parent | 6c8694a707151d59555b0e4e48235f085ce166c3 (diff) | |
gentoo auto-resync : 12:02:2023 - 09:56:54
Diffstat (limited to 'dev-ml/ppx_string')
| -rw-r--r-- | dev-ml/ppx_string/Manifest | 2 | ||||
| -rw-r--r-- | dev-ml/ppx_string/ppx_string-0.15.0-r1.ebuild (renamed from dev-ml/ppx_string/ppx_string-0.15.0.ebuild) | 3 |
2 files changed, 3 insertions, 2 deletions
diff --git a/dev-ml/ppx_string/Manifest b/dev-ml/ppx_string/Manifest index 3e3388f9e5e1..4adbd4237583 100644 --- a/dev-ml/ppx_string/Manifest +++ b/dev-ml/ppx_string/Manifest @@ -1,5 +1,5 @@ DIST ppx_string-0.14.1.tar.gz 4807 BLAKE2B 2ce5cf2d5dd913f05e66c24ea5be2ce4a56c59b7e5faecf003a573274bfaef3834935276e110fba1d0af3a3ef9d6ca730622dc780ab6063945a01aa3d6900a43 SHA512 2b570ca3d248f89ee1903e6ea40fbcd9c5c72809ff1f42dc67e9d41f6c297465ae47ffdbeda9f263dddf14c9c460bbbdee01243cef838d0ec49493c3b5644aee DIST ppx_string-0.15.0.tar.gz 6071 BLAKE2B 06e4761732db5aa5ee0214c68ac8ff95a85a38e6d62abaa45cc630d19036b0ed38ec0198a45871068d8bcc4f40176ac072da67e8f339cef3be3d64ace7a22e69 SHA512 bb1819017a6c25d581854e8487a0e5535fe282ec421c91e662c310c0d0aa7704be65484b3f2e721b29409e0eb68f72528e60380e036af066b3b1f1f11ea6cd5e EBUILD ppx_string-0.14.1.ebuild 675 BLAKE2B 9695ec5c36068ab29ba12283604fb9607354940da97d00a5cb5f889e8f4b2521a88d1d41f48b702d7010eb35d12ccd75ea12bf7a37e8391180180c176a891352 SHA512 e412b9a1a39fc8ae807ad422c1c32928388d6ad57b30126f5ed00c18e337421ed10b9e03f02adb58118d8b70a815049cafa90f49f3f0830ba567cf26f96a222b -EBUILD ppx_string-0.15.0.ebuild 516 BLAKE2B 74f242c749802bdb553c81e88e70aacb21ebae212108108f0a37fc17b7f1445c5989c1883245558fd278d0cf39f5d4cf0e21caca8ca1ba1ae1350344fa9b74ac SHA512 9e6a4eedbd12de4a5bbf0e1f3e4c4354130233b472eb41132ff4cdfc188f0ed12d38b6490a50b8b940c8e6e1f9b74fc270ac03cfe51c13037ed95a2675b82cc3 +EBUILD ppx_string-0.15.0-r1.ebuild 542 BLAKE2B fda2e666044b12e9cd6608e9aa6d867f56af566ae7d247298bde55dc81481e3d91d7d31a9609a67086812151e9ae7e48e72d901762fdb8ec71d6ad2c4ae432cb SHA512 62004995a402861cbfc8db9da2315e24d5b9038e8dad719939f4fb9c384f3a266935170a6f63cc8792069f9a83fb8dc7a56d39d58167faa10d0de77166061b0b MISC metadata.xml 331 BLAKE2B 1d60a54e1b3bc26c9ad6e497cb396a105c8eb00a1b05b7ef59e71674fcfdb3241172e487bfa654ff01e2fcdea6d9d29d1de858dec78885821518e55ae8aeae65 SHA512 436694c8e8f66f48b52b1997d94f7224ebb2805e04aa81b908d0505b54e9c3f1590c4d91d99c1fb73c7991bd74327f9e3ddb217d9b7ea3b95d620757bffbd915 diff --git a/dev-ml/ppx_string/ppx_string-0.15.0.ebuild b/dev-ml/ppx_string/ppx_string-0.15.0-r1.ebuild index 35d16f26cc7e..31368ef5e02c 100644 --- a/dev-ml/ppx_string/ppx_string-0.15.0.ebuild +++ b/dev-ml/ppx_string/ppx_string-0.15.0-r1.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2022 Gentoo Authors +# Copyright 1999-2023 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -17,5 +17,6 @@ IUSE="+ocamlopt" DEPEND=" dev-ml/ppx_base:${SLOT} dev-ml/stdio:${SLOT} + >=dev-ml/ppxlib-0.23.0:= " RDEPEND="${DEPEND}" |