summaryrefslogtreecommitdiff
path: root/sci-mathematics/psmt2-frontend
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2022-03-20 00:40:44 +0000
committerV3n3RiX <venerix@koprulu.sector>2022-03-20 00:40:44 +0000
commit4cbcc855382a06088e2f016f62cafdbcb7e40665 (patch)
tree356496503d52354aa6d9f2d36126302fed5f3a73 /sci-mathematics/psmt2-frontend
parentfcc5224904648a8e6eb528d7603154160a20022f (diff)
gentoo resync : 20.03.2022
Diffstat (limited to 'sci-mathematics/psmt2-frontend')
-rw-r--r--sci-mathematics/psmt2-frontend/Manifest2
-rw-r--r--sci-mathematics/psmt2-frontend/psmt2-frontend-0.4.0.ebuild4
2 files changed, 3 insertions, 3 deletions
diff --git a/sci-mathematics/psmt2-frontend/Manifest b/sci-mathematics/psmt2-frontend/Manifest
index 64fee26bb05f..a26509e62f8c 100644
--- a/sci-mathematics/psmt2-frontend/Manifest
+++ b/sci-mathematics/psmt2-frontend/Manifest
@@ -2,5 +2,5 @@ AUX psmt2-frontend-0.2-gentoo.patch 607 BLAKE2B 4d3a967d9c694e74b1e33426d73f41e9
DIST psmt2-frontend-0.2.tar.gz 26976 BLAKE2B 2b45ceb8d824f5b11455ad0026064b6329b6c6e6173c091b36dc42e8c1dd36924d12d9296db3dcfe748a84fdc37a1a530f3ef485bec904c19a0e6aa8034149f9 SHA512 c29802f4265a1cbdb05ee9154ce2c156136af258bc7283dd0fb1d1b2ce162b671553cab96484036d898e3ff7c26ab133f5c2e1ca88e9e48660b2faa139fd1f41
DIST psmt2-frontend-0.4.0.tar.gz 70801 BLAKE2B 337b3a87e9bff1c48eec9be4b1b50539c0114cdcdba1ac9c64ee180f73451b6a500f4a970a4f557dc3b886c5932bb72bb0b1b5e130a833b05502954c5279e702 SHA512 68b883f4bc4e0e39162807ffae251782871f372850c469889ea5ba5cf59388e363b1de5bc8087ad8624a1466b52611d0e41d78c6c3e6ac8af7c6e6e5c35630c5
EBUILD psmt2-frontend-0.2.ebuild 949 BLAKE2B c86ff25357b7d930a560559921f063bbd9fdfbe055eb2e06413e3619ec1834c24052718b30e022be46761846c57176e81fb5fa0374bb98b2c2be41b31c094a3f SHA512 db228543428bb17b0b7bb313deadebc6b01edf034bd48879aeed33fdb26a90f5cd51e3f95884dfff5bcce77a602ac64d95af7a4390350e96d7a77d6d89801feb
-EBUILD psmt2-frontend-0.4.0.ebuild 592 BLAKE2B b8a083d829869c62ee6daee94d53a73d04afe26549773497a66c2fddd80e028a65f54d89b111f86bf13c5fd6a674c2bf3f0cd7348407b26d7a1d81015aef43ca SHA512 bdef9291425a4b638035fb868e4d862ccea089fec4016524bd38df2f7e05ccad5e76df606947884f1622f0274fd6b6751083a5c63cc318c5311a9abbe5c8cd9e
+EBUILD psmt2-frontend-0.4.0.ebuild 591 BLAKE2B e6c8444f7401566e19ce5cfeddfbac2d7df46d78d7b6bd171df3cf547cdaddd245fde9e157b23707d29bf73fef6226f90f81e735a91d9baa10590d576d05acc1 SHA512 2f594d42be049cceb40fffe52b336790863abd16b1507c1edd8061c737c7f29125828b51d2eb99fd1f63a5bd05e0501ae9df39901ea48c9fc677ad113083058a
MISC metadata.xml 731 BLAKE2B 14577e7299ccd12be2ce493d8544a43bf3cafc7ffe7dff3be057f1428b467a0f47195b937303c50b284e5df1896765436d0f122472fe2d9aab0ddcf45f7fe140 SHA512 6bf3fdf46245ea1c9ff4b032ebba4feb6b519ec16605b1f486a2daf28961a4fe7f58b419b31eacf077e2cb64ca3e846dc21d741c7a4be3b57003e55c572c985a
diff --git a/sci-mathematics/psmt2-frontend/psmt2-frontend-0.4.0.ebuild b/sci-mathematics/psmt2-frontend/psmt2-frontend-0.4.0.ebuild
index 4ff6c1c91532..804904c9a49b 100644
--- a/sci-mathematics/psmt2-frontend/psmt2-frontend-0.4.0.ebuild
+++ b/sci-mathematics/psmt2-frontend/psmt2-frontend-0.4.0.ebuild
@@ -1,4 +1,4 @@
-# Copyright 2019-2021 Gentoo Authors
+# Copyright 2019-2022 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -11,7 +11,7 @@ SRC_URI="https://github.com/OCamlPro-Coquera/${PN}/archive/${PV}.tar.gz -> ${P}.
LICENSE="Apache-2.0"
SLOT="0/${PV}"
-KEYWORDS="~amd64 ~x86"
+KEYWORDS="amd64 ~x86"
IUSE="+ocamlopt test"
RESTRICT="!test? ( test )"