projects / shuber-gentoo-overlay.git / commit
| author | Stefan Huber <shuber@sthu.org> | |
| Thu, 12 Dec 2013 14:14:15 +0000 (15:14 +0100) | ||
| committer | Stefan Huber <shuber@sthu.org> | |
| Thu, 12 Dec 2013 14:14:15 +0000 (15:14 +0100) | ||
| commit | 4ed57723db7c4dda887ec8c4450498cac08d719b | |
| tree | ad031540d9b0c5a4637b02142ff1f47f1facde41 | tree | snapshot |
| parent | a863192789bd0b66e42df9344abed4549c73dd67 | commit | diff |
| licenses/boolector | [new file with mode: 0644] | blob |
| sci-mathematics/boolector/Manifest | [new file with mode: 0644] | blob |
| sci-mathematics/boolector/boolector-1.5.116.ebuild | [new file with mode: 0644] | blob |
| sci-mathematics/boolector/files/pathfixes.patch | [new file with mode: 0644] | blob |