Commit message (Expand) | Author | Age | |
---|---|---|---|
* | sci-mathematics: Update Manifest hashes. | Ulrich Müller | 2017-12-10 |
* | sci-mathematics/why3-for-spark: dev-ml/camlzip-1.06 causes problem. | Tupone Alfredo | 2017-11-06 |
* | sci-mathematics/why3-for-spark: Add ocamlopt use flag | Tupone Alfredo | 2017-11-04 |
* | sci-mathematics/why3-for-spark: Install libraries | Tupone Alfredo | 2017-11-04 |
* | sci-mathematics/why3-for-spark: Enable coq tactics | Tupone Alfredo | 2017-11-01 |
* | sci-mathematics/why3-for-spark: remove extra --disable-zip | Tupone Alfredo | 2017-10-25 |
* | sci-mathematics/why3-for-spark: Add zip use flags | Tupone Alfredo | 2017-10-24 |
* | sci-mathematics/why3-for-spark: Adding examples | Tupone Alfredo | 2017-10-24 |
* | sci-mathematics/why3-for-spark: Fix SRC_URI | Tupone Alfredo | 2017-10-23 |
* | sci-mathematics/why3-for-spark: Fix metadata.xml | Tupone Alfredo | 2017-10-20 |
* | sci-mathematics/why3-for-spark: Adding why3 for spark | Tupone Alfredo | 2017-10-19 |