| author | Tupone Alfredo <tupone@gentoo.org> | |
| Thu, 18 Jul 2019 10:27:55 +0000 (12:27 +0200) | ||
| committer | Tupone Alfredo <tupone@gentoo.org> | |
| Thu, 18 Jul 2019 10:27:55 +0000 (12:27 +0200) | ||
| commit | 91f593d0b2dceda3acb4035fe50172cccc6f290e | |
| tree | bc3133f6aad84b57ca8ab365c22ebf284d6d7520 | tree | snapshot |
| parent | 7a41cb52eb1fbb01715ce8d3a8b2a6736303762a | commit | diff |
| sci-mathematics/cvc4/files/cvc4-1.7-gentoo.patch | diff | blob | history |