author | Alfredo Tupone <tupone@gentoo.org> | |
Wed, 27 May 2020 19:24:39 +0000 (21:24 +0200) | ||
committer | Alfredo Tupone <tupone@gentoo.org> | |
Wed, 27 May 2020 19:24:39 +0000 (21:24 +0200) |
sci-mathematics/why3-for-spark/files/why3-for-spark-2019-gentoo.patch | patch | blob | history |