GitWeb
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Gentoo Repository
Repositories
Projects
Developer Overlays
User Overlays
Data
Websites
index
:
repo/sync/gentoo.git
master
stable
Sync-friendly git mirror of repo/gentoo with caches and metadata
Michał Górny <mgorny@gentoo.org>
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
sci-mathematics
/
why3-for-spark
Commit message (
Expand
)
Author
Age
Files
Lines
*
sci-mathematics/why3-for-spark: enabled hypothesis-selection
Alfredo Tupone
2021-06-29
2
-2
/
+12
*
sci-mathematics/why3-for-spark: disable hypothesis-selection
Alfredo Tupone
2021-06-29
1
-0
/
+1
*
sci-mathematics/why3-for-spark: version bump to 2021
Alfredo Tupone
2021-06-12
3
-0
/
+152
*
sci-mathematics/why3-for-spark: fix dep
Alfredo Tupone
2021-02-10
1
-1
/
+1
*
sci-mathematics/why3-for-spark: version bump to 2020
Alfredo Tupone
2021-02-09
5
-0
/
+173
*
sci-mathematics/why3-for-spark: Remove old
Jakov Smolic
2021-01-20
2
-153
/
+0
*
sci-mathematics/why3-for-spark: update OCaml deps
Sam James
2021-01-17
4
-30
/
+30
*
sci-mathematics/why3-for-spark: supports both lablgtk:2, :3 for most versions
Sam James
2021-01-17
4
-8
/
+8
*
sci-mathematics/why3-for-spark: fix broken links
Alfredo Tupone
2020-06-15
1
-2
/
+4
*
sci-mathematics/why3-for-spark: fix broken symlink
Alfredo Tupone
2020-06-14
1
-1
/
+1
*
sci-mathematics/why3-for-spark: fix flags and compression
Alfredo Tupone
2020-06-12
2
-0
/
+144
*
sci-mathematics/why3-for-spark: use CC
Alfredo Tupone
2020-05-27
1
-0
/
+10
*
sci-mathematics/why3-for-spark: profiling is not more supported by newer ocaml
Tupone Alfredo
2020-01-17
1
-2
/
+1
*
sci-mathematics/why3-for-spark: depend on a newer dev-ml/lablgtk
Tupone Alfredo
2020-01-16
1
-1
/
+1
*
sci-mathematics/why3-for-spark: Needs a newer coq version
Tupone Alfredo
2020-01-15
1
-1
/
+1
*
sci-mathematics/why3-for-spark: use ocaml-4.09
Tupone Alfredo
2020-01-14
1
-0
/
+78
*
sci-mathematics/why3-for-spark: Update virtual/emacs dependency.
Ulrich Müller
2019-12-20
2
-2
/
+2
*
sci-mathematics/why3-for-spark: version bump to 2019
Tupone Alfredo
2019-10-11
3
-0
/
+91
*
sci-mathematics/why3-for-spark: remove unused patch
Tupone Alfredo
2019-03-29
1
-40
/
+0
*
sci-mathematics/why3-for-spark: use virtual/emacs on dependency
Tupone Alfredo
2019-03-15
3
-86
/
+2
*
sci-mathematics/why3-for-spark: Stable
Tupone Alfredo
2018-12-16
2
-4
/
+4
*
sci-mathematics/why3-for-spark: Version bump to 2018
Tupone Alfredo
2018-07-13
3
-0
/
+101
*
sci-mathematics/why3-for-spark: Fix STRIP_MASK usage. Bug #651458
Tupone Alfredo
2018-03-27
1
-5
/
+2
*
sci-mathematics: Update Manifest hashes.
Ulrich Müller
2017-12-10
1
-1
/
+1
*
sci-mathematics/why3-for-spark: dev-ml/camlzip-1.06 causes problem.
Tupone Alfredo
2017-11-06
1
-1
/
+1
*
sci-mathematics/why3-for-spark: Add ocamlopt use flag
Tupone Alfredo
2017-11-04
1
-2
/
+10
*
sci-mathematics/why3-for-spark: Install libraries
Tupone Alfredo
2017-11-04
1
-0
/
+1
*
sci-mathematics/why3-for-spark: Enable coq tactics
Tupone Alfredo
2017-11-01
2
-1
/
+27
*
sci-mathematics/why3-for-spark: remove extra --disable-zip
Tupone Alfredo
2017-10-25
1
-1
/
+0
*
sci-mathematics/why3-for-spark: Add zip use flags
Tupone Alfredo
2017-10-24
2
-3
/
+6
*
sci-mathematics/why3-for-spark: Adding examples
Tupone Alfredo
2017-10-24
1
-0
/
+2
*
sci-mathematics/why3-for-spark: Fix SRC_URI
Tupone Alfredo
2017-10-23
1
-1
/
+1
*
sci-mathematics/why3-for-spark: Fix metadata.xml
Tupone Alfredo
2017-10-20
1
-23
/
+23
*
sci-mathematics/why3-for-spark: Adding why3 for spark
Tupone Alfredo
2017-10-19
4
-0
/
+116