From 3517852e3b8a68d1e997770fc0650c5053bafc6c Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Tue, 4 Jan 2022 01:27:12 +0000 Subject: gentoo resync : 04.01.2022 --- sci-mathematics/verit/Manifest | 2 +- sci-mathematics/verit/metadata.xml | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) (limited to 'sci-mathematics/verit') diff --git a/sci-mathematics/verit/Manifest b/sci-mathematics/verit/Manifest index 33bd4ca29d74..b6db2bf874c3 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 -MISC metadata.xml 628 BLAKE2B a23cb8e317e25706a6aef22a09639ab69d5255d624dee52234070050ce571bf41d6ad14c06808905c59632fc3fab429c4b6cabb7e06dfec08a7ebf7ff538b5bb SHA512 7d612a0cf762d81799fe3954bedd02c6d7392d20fff12bf1f515723889fec0aa59d4494c6f939c4166ad72f6ec6202b62fa9c8ff91695bc28d9d26f447c6b229 +MISC metadata.xml 654 BLAKE2B a80ae2771051d1660ef87811291c9a36eb11a596cc3ab2ac3bed1496b178988cfe666b0a62b7ce3fbde4b3b580c5d457e8a2f6be826d90f070086c3c0938e969 SHA512 b6d826f6d1e973c28c5a274628e58e973a7913ad0d254496aa596e172fc4a7469c84a289e64e6ed5542a7983fd06a46d4d3f51ca72aa5e4d469a963749686b4b diff --git a/sci-mathematics/verit/metadata.xml b/sci-mathematics/verit/metadata.xml index cd0a6cfe1019..de5342d8a613 100644 --- a/sci-mathematics/verit/metadata.xml +++ b/sci-mathematics/verit/metadata.xml @@ -2,9 +2,9 @@ - - xgqt@gentoo.org - Maciej Barć + + sci-mathematics@gentoo.org + Gentoo Mathematics Project veriT is a SMT (Satisfiability Modulo Theories) solver. It is open-source, -- cgit v1.2.3