Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
sci-mathematics
/
verit
An open, trustable and efficient SMT-prover
https://verit.loria.fr/
Overview
Dependencies
QA report
Pull requests
0
Bugs
2
Security
0
Changelog
Latest Commits
Atom feed
Commits on 2022-03-10
sci-mathematics/verit: [QA] fix UnusedInherits (autotools)
269048a
Sam James
committed on 2022-03-10 21:09:38 UTC
sci-mathematics/verit/verit-2021.06.2.ebuild
Commits on 2022-01-25
**/metadata.xml: Replace http by https in DOCTYPE element
2585fff
Ulrich Müller
committed on 2022-01-25 18:37:45 UTC
sci-mathematics/verit/metadata.xml
Commits on 2021-12-25
sci-mathematics/verit: change maintainer to Gentoo Mathematics Project
8b85856
Maciej Barć
committed on 2021-12-25 20:39:39 UTC
sci-mathematics/verit/metadata.xml
Commits on 2021-12-24
sci-mathematics/verit: src_install - default
ccac2b0
Maciej Barć
committed on 2021-12-24 21:17:30 UTC
sci-mathematics/verit/verit-2021.06.2.ebuild
sci-mathematics/verit: new package; add version 2021.06.2
8062e93
Maciej Barć
committed on 2021-12-24 13:59:09 UTC
sci-mathematics/verit/Manifest
sci-mathematics/verit/metadata.xml
sci-mathematics/verit/verit-2021.06.2.ebuild