diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-06-29 12:04:12 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-06-29 12:04:12 +0100 |
| commit | 0f558761aa2dee1017b4751e4017205e015a9560 (patch) | |
| tree | 037df795519468a25d9362b4e95cdaeb84eb1cf9 /metadata/md5-cache/sci-mathematics/otter-3.3-r3 | |
| parent | 752d6256e5204b958b0ef7905675a940b5e9172f (diff) | |
gentoo resync : 29.12.2022
Diffstat (limited to 'metadata/md5-cache/sci-mathematics/otter-3.3-r3')
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/otter-3.3-r3 | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/metadata/md5-cache/sci-mathematics/otter-3.3-r3 b/metadata/md5-cache/sci-mathematics/otter-3.3-r3 index 2f426a50585e..5849b29aefff 100644 --- a/metadata/md5-cache/sci-mathematics/otter-3.3-r3 +++ b/metadata/md5-cache/sci-mathematics/otter-3.3-r3 @@ -3,10 +3,11 @@ DEPEND=x11-libs/libX11 x11-libs/libXaw x11-libs/libXt DESCRIPTION=An Automated Deduction System EAPI=7 HOMEPAGE=http://www.cs.unm.edu/~mccune/otter/ +INHERIT=flag-o-matic toolchain-funcs KEYWORDS=amd64 ~ppc x86 ~amd64-linux ~x86-linux ~ppc-macos LICENSE=otter RDEPEND=x11-libs/libX11 x11-libs/libXaw x11-libs/libXt SLOT=0 SRC_URI=http://www.cs.unm.edu/~mccune/otter/otter-3.3.tar.gz -_eclasses_=edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a500d7cc40da3de38c361e889153bdf7 multilib 4a33c9008e5ee30cb8840a3fdc24df2b strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 wrapper 4a1902f969e5718126434fc35f3a0d9c +_eclasses_=edos2unix 33e347e171066657f91f8b0c72ec8773 eutils dab5d8ec471d025b79c9e6906bcf3bff flag-o-matic a3abd6002fafb3022597be6b8d01f88b multilib 4fbbbc98f236f1b43acd99476bc3cd85 strip-linguas ac3ee41ee2d31d8c41a77c0838320cc7 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb wrapper 4a1902f969e5718126434fc35f3a0d9c _md5_=35c0781f99f4c127174c3bf0f5ecb0bf |