projects / gentoo.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
dev-libs/openssl: stable 1.0.2n for ia64/ppc/ppc64, bug #640172
[gentoo.git] / sci-mathematics / why3-for-spark /
2017-11-06 Tupone Alfredosci-mathematics/why3-for-spark: dev-ml/camlzip-1.06... tree | commitdiff
2017-11-04 Tupone Alfredosci-mathematics/why3-for-spark: Add ocamlopt use flag tree | commitdiff
2017-11-04 Tupone Alfredosci-mathematics/why3-for-spark: Install libraries tree | commitdiff
2017-11-01 Tupone Alfredosci-mathematics/why3-for-spark: Enable coq tactics tree | commitdiff
2017-10-25 Tupone Alfredosci-mathematics/why3-for-spark: remove extra --disable-zip tree | commitdiff
2017-10-24 Tupone Alfredosci-mathematics/why3-for-spark: Add zip use flags tree | commitdiff
2017-10-24 Tupone Alfredosci-mathematics/why3-for-spark: Adding examples tree | commitdiff
2017-10-23 Tupone Alfredosci-mathematics/why3-for-spark: Fix SRC_URI tree | commitdiff
2017-10-20 Tupone Alfredosci-mathematics/why3-for-spark: Fix metadata.xml tree | commitdiff
2017-10-19 Tupone Alfredosci-mathematics/why3-for-spark: Adding why3 for spark tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.