diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-03-09 00:01:06 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-03-09 00:01:06 +0000 |
| commit | 9a754065ce56ab139449903367df82ccc14a7725 (patch) | |
| tree | aba2026be26b9905ddb573e3e79da8da2a812921 /sci-mathematics/cubicle | |
| parent | 78ebdce6a16942c7081565472862ab6730321ee3 (diff) | |
gentoo auto-resync : 09:03:2023 - 00:01:06
Diffstat (limited to 'sci-mathematics/cubicle')
| -rw-r--r-- | sci-mathematics/cubicle/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/cubicle/cubicle-1.2.0-r2.ebuild (renamed from sci-mathematics/cubicle/cubicle-1.2.0-r1.ebuild) | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/sci-mathematics/cubicle/Manifest b/sci-mathematics/cubicle/Manifest index aa9a2c6b901b..33678f503d2e 100644 --- a/sci-mathematics/cubicle/Manifest +++ b/sci-mathematics/cubicle/Manifest @@ -1,4 +1,4 @@ AUX 50cubicle-gentoo.el 185 BLAKE2B 76ef002c52bd0d6ef8ce5474e5cf9032cffe861d273a88176c3a8eae17f6176896bc1a4cb099d1f793b63f1ad3e0b7fb6d4b066317f160a0a4fd586e0a61ec64 SHA512 c9a93fec3f1f12cbe326940a79dfe950b56c82e7bdd24a6bf5923d1c4fe6245b8fec4c399f3e60c16cc4757f290f9cbeab606a20b5844f4228a4f29b0ed669f4 DIST cubicle-1.2.0.tar.gz 866004 BLAKE2B 4fd944acb394165396344b7a9d4b29ffcb7b61571e1ac9cb90aacf1a5ddb0521d399f301a51af6b37461e5a47244fb095ad69ab0041440c240257522ba4de4a7 SHA512 e2815b4b7b4feda30df91eabebae741d14a2c822f5efea972676bc7a941454ea368e9dc003f754c2edb1c6b1db5a5c86a354b3612c2d47a9095f8fc348dfb692 -EBUILD cubicle-1.2.0-r1.ebuild 1332 BLAKE2B 7dbbb9ed042dd4ecabb00ee3ccc050e39174b01e7131f90b6bbd5dde249299071e30eee3f2cfd5576f8504b7a3f27ab1430428935b4012e0da69c8cbc67409b7 SHA512 a9018679ffa0b2481fd3629518317e8ceab2494d66d1688e1a95ff41b73964a62f17b4d2c6e2ad17e130c09e93b84bb1d23f360e5eebdb8f6f87f154a4069f9d +EBUILD cubicle-1.2.0-r2.ebuild 1322 BLAKE2B 7136d0adc33943f7ea5f5f5579988fe853b6060e2f495352aabc589ee51a01ed64cb7b7b70ebb153361462b5d98928e068967e83e2b3844f10e853d0dabe407c SHA512 a4947250719ef0e0428b4862ca2b47b8f50e6940988efd0c866885e83207ccb1d969c34a99dc5160917ed41fe61ff5f777e8ad9effad5c7ff90d546c5a9d7829 MISC metadata.xml 1503 BLAKE2B d67f3f6524234cf3be4b0118aced6f4e3424a25754d91b13eb5c8250aedb6a57a6f7faabe6539875953874f48b2d8349fe3adfe431b72675fdd6723cb9ff3c52 SHA512 96540a56c6ef839924fa93f49e4ffdeb8a5eb3b83ef43bd62ccbed72dfa522f1b0acad4132650f67387915af5be8fe432fd6d01f8c9a76271c53f7f3a33f476d diff --git a/sci-mathematics/cubicle/cubicle-1.2.0-r1.ebuild b/sci-mathematics/cubicle/cubicle-1.2.0-r2.ebuild index 8159f9f60a4a..756eb6aab056 100644 --- a/sci-mathematics/cubicle/cubicle-1.2.0-r1.ebuild +++ b/sci-mathematics/cubicle/cubicle-1.2.0-r2.ebuild @@ -14,10 +14,10 @@ SRC_URI="https://github.com/cubicle-model-checker/${PN}/archive/${PV}.tar.gz LICENSE="Apache-2.0" SLOT="0/${PV}" KEYWORDS="~amd64 ~x86" -IUSE="emacs examples ocamlopt" +IUSE="emacs examples" RDEPEND=" - >=dev-lang/ocaml-4.09.0:=[ocamlopt=] + >=dev-lang/ocaml-4.09.0:=[ocamlopt] dev-ml/num:= emacs? ( >=app-editors/emacs-23.1:* ) " |