| author | Tupone Alfredo <tupone@gentoo.org> | |
| Wed, 1 Nov 2017 20:28:03 +0000 (21:28 +0100) | ||
| committer | Tupone Alfredo <tupone@gentoo.org> | |
| Wed, 1 Nov 2017 20:30:29 +0000 (21:30 +0100) | ||
| commit | f7767454e6ac2a9eb63c5fc48e3fe8d1fe0ff1dd | |
| tree | 9312445f04a4829b661387704a1fc7461a32a92a | tree | snapshot |
| parent | 8c00984371aa5a6deb21325c6a9ce176d7eb261e | commit | diff |
| sci-mathematics/why3-for-spark/files/why3-for-spark-2017-gentoo.patch | diff | blob | history | |
| sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild | diff | blob | history |