| author | Tupone Alfredo <tupone@gentoo.org> | |
| Mon, 6 Nov 2017 21:09:20 +0000 (22:09 +0100) | ||
| committer | Tupone Alfredo <tupone@gentoo.org> | |
| Mon, 6 Nov 2017 21:09:20 +0000 (22:09 +0100) | ||
| commit | ce9a2c2e5a2c8c7acc61c556147b7385139071a5 | |
| tree | e84edb5974221a7fd9d66e8af552a218927e6498 | tree | snapshot |
| parent | d1c898d22c6568c5cab5b0007595cff33766139b | commit | diff |
| sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild | diff | blob | history |