projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 105fbe2) | patch
sci-mathematics/z3: Remove old
authorDavid Seifert <soap@gentoo.org>
Sat, 7 Dec 2019 23:48:55 +0000 (00:48 +0100)
committerDavid Seifert <soap@gentoo.org>
Sat, 7 Dec 2019 23:48:55 +0000 (00:48 +0100)
commit7e4c5ab0f9a5639c652cd5aa746e65ce8476bcf9
tree2744371dc9a26f34148ef8130eb1b8f46e86c51etree | snapshot
parent105fbe2986be291f5d595d452944461db59f81b9commit | diff
sci-mathematics/z3: Remove old

Package-Manager: Portage-2.3.81, Repoman-2.3.20
Signed-off-by: David Seifert <soap@gentoo.org>
sci-mathematics/z3/Manifest diff | blob | history
sci-mathematics/z3/z3-4.4.1.ebuild [deleted file] blob | history
sci-mathematics/z3/z3-4.5.0.ebuild [deleted file] blob | history
sci-mathematics/z3/z3-4.8.5.ebuild [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.