projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 73e1b27) | patch
sci-mathematics/why3-for-spark: remove unused patch
authorTupone Alfredo <tupone@gentoo.org>
Fri, 29 Mar 2019 08:25:45 +0000 (09:25 +0100)
committerTupone Alfredo <tupone@gentoo.org>
Fri, 29 Mar 2019 08:25:45 +0000 (09:25 +0100)
commit1075f5c716518cebdef31cb080bceb6c2bb4f71b
tree4c0a3414609f8f5010ab20eeb16d1ec27adbe26btree | snapshot
parent73e1b27f7550812417d63488c510c28c07b76589commit | diff
sci-mathematics/why3-for-spark: remove unused patch

Closes: Closes: https://github.com/gentoo/gentoo/pull/11528
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Package-Manager: Portage-2.3.62, Repoman-2.3.11
sci-mathematics/why3-for-spark/files/why3-for-spark-2017-gentoo.patch [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.