diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-03-20 00:40:44 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-03-20 00:40:44 +0000 |
| commit | 4cbcc855382a06088e2f016f62cafdbcb7e40665 (patch) | |
| tree | 356496503d52354aa6d9f2d36126302fed5f3a73 /sci-mathematics/verit | |
| parent | fcc5224904648a8e6eb528d7603154160a20022f (diff) | |
gentoo resync : 20.03.2022
Diffstat (limited to 'sci-mathematics/verit')
| -rw-r--r-- | sci-mathematics/verit/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/verit/verit-2021.06.2.ebuild | 4 |
2 files changed, 2 insertions, 4 deletions
diff --git a/sci-mathematics/verit/Manifest b/sci-mathematics/verit/Manifest index cd39e9999082..a996cb23f1ea 100644 --- a/sci-mathematics/verit/Manifest +++ b/sci-mathematics/verit/Manifest @@ -1,3 +1,3 @@ DIST verit-2021.06.2-rmx.tar.gz 683775 BLAKE2B e7488ef11f37c4312dc3bb7809c8f4a134c70e0cb893a9127235e5bd660e3cf88648d5af598f650d25aed02eb864c171479a570b4e47b96ab2bb5f6aba3e6926 SHA512 4dfdbcf12fefaba13f5540a08a520e15666ca3bb923483b86eac708cf23bd5d8441d9a687487ae38f9bbdbc023beedf3e503800e99622cb71fb086329c047a4d -EBUILD verit-2021.06.2.ebuild 508 BLAKE2B 6ac727f550f8fa0c81b70e509e2381e26eee8745b3c16f7626b0f02408bac78b0b2cd88b11c99f815f9439e0454d714254c0b3fa56ec0a063369e74048ba422a SHA512 60e00146bf88f2d93b9a5ec476568700154df6a70b67b85fe3c37bee495546cddc6942b3d5a1659c4252e1a22073d5c776452548cf1bc6d2812834d92faae80f +EBUILD verit-2021.06.2.ebuild 489 BLAKE2B 49417dbb1155bb98b19f4369229b4b6d0728f9a937f8bad489737211d370f8210d8ca53b02923b3bbaa34d4c7cc27957e0c505f4ef4a9421c5d9d4edfd9316ca SHA512 b411237818f1c8ef6abb00cf77c024120f882bf0260db4c55d1a60eeb98345dd1849c91fc29906af5efa2a5168baed7f35d537945a1d1dc3aadd824f6f07626d MISC metadata.xml 655 BLAKE2B 901ce12d712051cde3d4cd1c936f5de3b1e52eb9a238c6ba14de2a8ba78bc6f793dedc25ff3f44903f31a70b90bc18fd2e6829e8be88fa431db172c964c32e76 SHA512 1bd1dbbf7d701fde4db5b5b7bf7525baf6d7cda1a959f4a6a10653ddd95be0225a792c10c5adfa78330ceefd37e72fe59436cc3616719fd5e683643e1e123fa8 diff --git a/sci-mathematics/verit/verit-2021.06.2.ebuild b/sci-mathematics/verit/verit-2021.06.2.ebuild index bd4092215917..d76cb2be23a3 100644 --- a/sci-mathematics/verit/verit-2021.06.2.ebuild +++ b/sci-mathematics/verit/verit-2021.06.2.ebuild @@ -1,10 +1,8 @@ -# Copyright 1999-2021 Gentoo Authors +# Copyright 1999-2022 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 -inherit autotools - DESCRIPTION="An open, trustable and efficient SMT-prover" HOMEPAGE="https://verit.loria.fr/" SRC_URI="https://verit.loria.fr/download/${PV}/${P}-rmx.tar.gz" |