GitWeb
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Gentoo Repository
Repositories
Projects
Developer Overlays
User Overlays
Data
Websites
index
:
repo/sync/gentoo.git
master
stable
Sync-friendly git mirror of repo/gentoo with caches and metadata
Michał Górny <mgorny@gentoo.org>
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
sci-mathematics
/
cvc4
Commit message (
Expand
)
Author
Age
Files
Lines
*
sci-mathematics/cvc4: add github upstream metadata
Alfredo Tupone
2022-12-05
1
-0
/
+3
*
sci-mathematics/cvc4: drop toml usage
Alfredo Tupone
2022-11-11
2
-3
/
+52
*
sci-mathematics/cvc4: fix PythonHasVersionUsage
Sam James
2022-10-15
1
-1
/
+1
*
sci-mathematics/cvc4: use <pkg> tag in metadata.xml
Petr Vaněk
2022-08-26
1
-1
/
+1
*
sci-mathematics/cvc4: fix deps check
Alfredo Tupone
2022-02-17
1
-3
/
+6
*
sci-mathematics/cvc4: revbump for CMake config file fix
Sam James
2022-02-09
1
-0
/
+0
*
sci-mathematics/cvc4: fix library path
Alfredo Tupone
2022-02-08
1
-0
/
+9
*
sci-mathematics/cvc4: fix deps
Alfredo Tupone
2022-02-08
1
-1
/
+5
*
sci-mathematics/cvc4: remove unused CMake variables
Alfredo Tupone
2022-02-08
1
-3
/
+1
*
sci-mathematics/cvc4: PythonCompatUpdate
Alfredo Tupone
2022-02-05
2
-4
/
+4
*
**/metadata.xml: Replace http by https in DOCTYPE element
Ulrich Müller
2021-09-11
1
-1
/
+1
*
sci-mathematics/cvc4: version bump to 1.8
Alfredo Tupone
2021-05-27
3
-0
/
+98
*
sci-mathematics/cvc4: python3_9, switch to cmake.eclass
Andreas Sturmlechner
2021-04-05
1
-10
/
+9
*
*/*: Remove obsolete values from PYTHON_COMPAT
Michał Górny
2021-01-31
1
-1
/
+1
*
sci-mathematics/cvc4: Remove old
Jakov Smolic
2021-01-20
2
-25
/
+0
*
sci-mathematics/cvc4: add python dep
Alfredo Tupone
2021-01-20
1
-2
/
+5
*
*/*: [QA] Use consistent function definition formatting
David Seifert
2020-02-22
1
-2
/
+2
*
sci-mathematics/cvc4: Add readline use flag
Tupone Alfredo
2019-07-25
1
-1
/
+3
*
sci-mathematics/cvc4: add statistics, replay and proofs use flag
Tupone Alfredo
2019-07-23
2
-1
/
+8
*
sci-mathematics/cvc4: Fix sandbox issue
Tupone Alfredo
2019-07-18
1
-0
/
+8
*
sci-mathematics/cvc4: Bump to 1.7
Tupone Alfredo
2019-07-14
3
-0
/
+90
*
sci-mathematics/cvc4: Add cvc4 to the tree
Tupone Alfredo
2018-07-18
3
-0
/
+42