| author | Tupone Alfredo <tupone@gentoo.org> | |
| Fri, 13 Jul 2018 06:49:22 +0000 (08:49 +0200) | ||
| committer | Tupone Alfredo <tupone@gentoo.org> | |
| Fri, 13 Jul 2018 06:49:22 +0000 (08:49 +0200) | ||
| commit | a30437c0c5fb08780562baccb5ff3eeb511bb6ad | |
| tree | 6052a84a1558472a486e144484ee1afc116244c0 | tree | snapshot |
| parent | 72b615a85a1cf5c8f384d1a0957de0ad42d3afd3 | commit | diff |
| sci-mathematics/why3-for-spark/Manifest | diff | blob | history | |
| sci-mathematics/why3-for-spark/files/why3-for-spark-2018-gentoo.patch | [new file with mode: 0644] | blob |
| sci-mathematics/why3-for-spark/why3-for-spark-2018.ebuild | [new file with mode: 0644] | blob |