author | Ulrich Müller <ulm@gentoo.org> | |
Fri, 20 Dec 2019 16:31:12 +0000 (17:31 +0100) | ||
committer | Ulrich Müller <ulm@gentoo.org> | |
Fri, 20 Dec 2019 22:48:52 +0000 (23:48 +0100) | ||
commit | 6c532ec926058d96e6d584075b63a32e4fb2c300 | |
tree | f866f467c8b044effb860b7b9e53dab73832b5e6 | tree | snapshot |
parent | 7123dfea220bfbc96226df6883217023f2bfaa19 | commit | diff |
sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild | diff | blob | history | |
sci-mathematics/why3-for-spark/why3-for-spark-2019.ebuild | diff | blob | history |