projects / gentoo.git / commit
| author | Tupone Alfredo <tupone@gentoo.org> | |
| Thu, 19 Oct 2017 19:43:39 +0000 (21:43 +0200) | ||
| committer | Tupone Alfredo <tupone@gentoo.org> | |
| Thu, 19 Oct 2017 19:43:39 +0000 (21:43 +0200) | ||
| commit | eb5feee2d87d486910df3c8b3cb505f1eb0e47c3 | |
| tree | bb8da3e495b6ba2aed64ab1739b6cadb83379162 | tree | snapshot |
| parent | e00949d9fe4e70664d843c433e4d87318161e45c | commit | diff |
| sci-mathematics/why3-for-spark/Manifest | [new file with mode: 0644] | blob |
| sci-mathematics/why3-for-spark/files/why3-for-spark-2017-gentoo.patch | [new file with mode: 0644] | blob |
| sci-mathematics/why3-for-spark/metadata.xml | [new file with mode: 0644] | blob |
| sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild | [new file with mode: 0644] | blob |