projects
/
gentoo.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
kde-apps/umbrello: x86 stable (bug #637292)
2017-11-29
Tupone Alfredo
dev-ada/aunit: Removing duplicated file
commit
|
commitdiff
|
tree
2017-11-29
Tupone Alfredo
dev-ada/gnat_util: Defaulting some use flags
commit
|
commitdiff
|
tree
2017-11-29
Tupone Alfredo
dev-ada/gnatcoll: Defaulting some use flags
commit
|
commitdiff
|
tree
2017-11-29
Tupone Alfredo
dev-ada/asis: Defaulting some use flags
commit
|
commitdiff
|
tree
2017-11-27
Tupone Alfredo
dev-ada/xmlada: Set default use flags
commit
|
commitdiff
|
tree
2017-11-26
Tupone Alfredo
dev-lang/gnat-gpl: gnat-gpl-2017 stable
commit
|
commitdiff
|
tree
2017-11-26
Tupone Alfredo
dev-ada/gprbuild: Set default use flags
commit
|
commitdiff
|
tree
2017-11-26
Tupone Alfredo
dev-lang/gnat-gpl: align gnat-gpl-2016 ebuild to gcc...
commit
|
commitdiff
|
tree
2017-11-25
Tupone Alfredo
dev-ada/gps: Adding gnat documentation
commit
|
commitdiff
|
tree
2017-11-25
Tupone Alfredo
dev-lang/gnat-gpl: update checksum
commit
|
commitdiff
|
tree
2017-11-25
Tupone Alfredo
dev-ada/gps: Fix names for gnat/gnatls/gnatmake
commit
|
commitdiff
|
tree
2017-11-25
Tupone Alfredo
dev-ada/gnatcoll: use gnatls-6.3.0 instead of gnatls
commit
|
commitdiff
|
tree
2017-11-22
Tupone Alfredo
dev-ada/gps-bin: use only (gnat)gcc-4.9.4
commit
|
commitdiff
|
tree
2017-11-22
Tupone Alfredo
dev-ada/gps: use only (gnat)gcc-6.3.0 compiler
commit
|
commitdiff
|
tree
2017-11-21
Tupone Alfredo
dev-ada/gps: Add GPS (IDE) to gentoo
commit
|
commitdiff
|
tree
2017-11-20
Tupone Alfredo
license/BSD-3: Removing it being a duplicate of BSD
commit
|
commitdiff
|
tree
2017-11-20
Tupone Alfredo
dev-python/funcy: Changing license from BSD-3 to BSD
commit
|
commitdiff
|
tree
2017-11-20
Tupone Alfredo
dev-ada/libadalang: Adding libadalang to the tree
commit
|
commitdiff
|
tree
2017-11-19
Tupone Alfredo
dev-python/funcy: Adding funcy to gentoo tree
commit
|
commitdiff
|
tree
2017-11-19
Tupone Alfredo
license/BSD-3: Add it
commit
|
commitdiff
|
tree
2017-11-19
Tupone Alfredo
dev-ada/gprbuild: Fix Name_Id constants
commit
|
commitdiff
|
tree
2017-11-14
Tupone Alfredo
dev-ada/gprbuild: Really add /usr/share/gpr in front...
commit
|
commitdiff
|
tree
2017-11-11
Tupone Alfredo
dev-ada/gprbuild: Fix local patch against a constraint...
commit
|
commitdiff
|
tree
2017-11-06
Tupone Alfredo
dev-lang/spark: Re-allow zip in sci-mathematics/why3...
commit
|
commitdiff
|
tree
2017-11-06
Tupone Alfredo
sci-mathematics/why3-for-spark: dev-ml/camlzip-1.06...
commit
|
commitdiff
|
tree
2017-11-05
Tupone Alfredo
dev-lang/spark: disable zip on why3
commit
|
commitdiff
|
tree
2017-11-04
Tupone Alfredo
sci-mathematics/why3-for-spark: Add ocamlopt use flag
commit
|
commitdiff
|
tree
2017-11-04
Tupone Alfredo
sci-mathematics/why3-for-spark: Install libraries
commit
|
commitdiff
|
tree
2017-11-01
Tupone Alfredo
sci-mathematics/why3-for-spark: Enable coq tactics
commit
|
commitdiff
|
tree
2017-10-31
Tupone Alfredo
games-action/bzflag: Version bump to 2.4.12
commit
|
commitdiff
|
tree
2017-10-29
Tupone Alfredo
dev-lang/spark: Fix dev-ada/gnatcoll use depend
commit
|
commitdiff
|
tree
2017-10-25
Tupone Alfredo
sci-mathematics/why3-for-spark: remove extra --disable-zip
commit
|
commitdiff
|
tree
2017-10-24
Tupone Alfredo
sci-mathematics/why3-for-spark: Add zip use flags
commit
|
commitdiff
|
tree
2017-10-24
Tupone Alfredo
sci-mathematics/why3-for-spark: Adding examples
commit
|
commitdiff
|
tree
2017-10-23
Tupone Alfredo
sci-mathematics/why3-for-spark: Fix SRC_URI
commit
|
commitdiff
|
tree
2017-10-22
Tupone Alfredo
app-misc/geneweb: Removing ocamlopt from metadata
commit
|
commitdiff
|
tree
2017-10-21
Tupone Alfredo
dev-lang/spark: Add dev-lang/spark
commit
|
commitdiff
|
tree
2017-10-20
Tupone Alfredo
sci-mathematics/why3-for-spark: Fix metadata.xml
commit
|
commitdiff
|
tree
2017-10-19
Tupone Alfredo
sci-mathematics/why3-for-spark: Adding why3 for spark
commit
|
commitdiff
|
tree
2017-10-15
Tupone Alfredo
dev-ml/ocplib-simplex: configure.ac depends fix. Bug...
commit
|
commitdiff
|
tree
2017-10-14
Tupone Alfredo
sci-mathematics/alt-ergo: Adding alt-ergo 1.30
commit
|
commitdiff
|
tree
2017-10-12
Tupone Alfredo
dev-ml/ocplib-simplex: Add dev-ml/ocplib-simplex-0.3
commit
|
commitdiff
|
tree
2017-10-03
Tupone Alfredo
dev-lang/gnat-gpl: Fix gnat-gpl-2017 when using gnatmake...
commit
|
commitdiff
|
tree
2017-09-28
Tupone Alfredo
dev-ada/gnatmem: Adding dev-ada/gnatmem-2017
commit
|
commitdiff
|
tree
2017-09-26
Tupone Alfredo
dev-ada/aunit: Add dev-ada/aunit-2017
commit
|
commitdiff
|
tree
2017-09-14
Tupone Alfredo
dev-ada/gnatcoll: Fix dependency on dev-ada/gtkada...
commit
|
commitdiff
|
tree
2017-09-12
Tupone Alfredo
dev-ada/gprbuild: add /usr to the search path for gpr...
commit
|
commitdiff
|
tree
2017-09-04
Tupone Alfredo
dev-lang/gnat-gpl: Remove usage of PORTDIR. Fix bug...
commit
|
commitdiff
|
tree
2017-08-31
Tupone Alfredo
dev-ada/gps-bin: inherit toolchain-funcs. Fix bug ...
commit
|
commitdiff
|
tree
2017-07-14
Tupone Alfredo
dev-ada/gnatcoll: Fix build of gnatcoll-2016
commit
|
commitdiff
|
tree
2017-07-05
Tupone Alfredo
dev-ada/gnatcoll: Add tools use flag to build gnatcoll_db2ada
commit
|
commitdiff
|
tree
2017-07-05
Tupone Alfredo
dev-ada/asis: asis-2017 build only with gnat-gpl-2017
commit
|
commitdiff
|
tree
2017-07-04
Tupone Alfredo
dev-ada/aws: Fix the install phase
commit
|
commitdiff
|
tree
2017-07-03
Tupone Alfredo
dev-ada/aws: Add gnat_2016 & gnat_2017 use flags
commit
|
commitdiff
|
tree
2017-07-02
Tupone Alfredo
dev-ada/aws: Add 2017 version
commit
|
commitdiff
|
tree
2017-07-02
Tupone Alfredo
dev-ada/gnat_util: Add use flag gnat_* to 2017 version
commit
|
commitdiff
|
tree
2017-07-02
Tupone Alfredo
dev-ada/gnatcoll: Add use flag gnat_* to 2017 version
commit
|
commitdiff
|
tree
2017-07-01
Tupone Alfredo
dev-ada/asis: Add version 2017
commit
|
commitdiff
|
tree
2017-07-01
Tupone Alfredo
dev-ada/gnat_util: 2017 version is only compatible...
commit
|
commitdiff
|
tree
2017-07-01
Tupone Alfredo
dev-ada/xmlada: rm 9999 version
commit
|
commitdiff
|
tree
2017-07-01
Tupone Alfredo
dev-ada/gprbuild: rm 9999 version
commit
|
commitdiff
|
tree
2017-06-30
Tupone Alfredo
dev-ada/gtkada: Add version 2017. Purge 17 and 9999...
commit
|
commitdiff
|
tree
2017-06-28
Tupone Alfredo
dev-ada/gnat_util: Add version 2017
commit
|
commitdiff
|
tree
2017-06-27
Tupone Alfredo
dev-ada/gnatcoll: Add use flags gnat_2016 & gnat_2017
commit
|
commitdiff
|
tree
2017-06-27
Tupone Alfredo
dev-ada/xmlada: Add use flags gnat_2016 & gnat_2017...
commit
|
commitdiff
|
tree
2017-06-27
Tupone Alfredo
dev-ada/gprbuild: Add use flags gnat_2016 & gnat_2017...
commit
|
commitdiff
|
tree
2017-06-26
Tupone Alfredo
dev-ada/xmlada: add gnat_2016 and gnat_2017 use flags...
commit
|
commitdiff
|
tree
2017-06-26
Tupone Alfredo
dev-ada/gprbuild: add gnat_2016 and gnat_2017 use flags...
commit
|
commitdiff
|
tree
2017-06-24
Tupone Alfredo
dev-ada/gnatcoll: Add version 2017
commit
|
commitdiff
|
tree
2017-06-24
Tupone Alfredo
dev-ada/gnatcoll: 2016 version does not build with...
commit
|
commitdiff
|
tree
2017-06-24
Tupone Alfredo
dev-ada/gprbuild: Fix tool description
commit
|
commitdiff
|
tree
2017-06-23
Tupone Alfredo
dev-ada/gprbuild: Add compiler description file
commit
|
commitdiff
|
tree
2017-06-23
Tupone Alfredo
dev-ada/aws: Use the same ada compiler for C code
commit
|
commitdiff
|
tree
2017-06-23
Tupone Alfredo
dev-ada/gtkada: Use as C compiler the same version...
commit
|
commitdiff
|
tree
2017-06-22
Tupone Alfredo
dev-ada/xmlada: Build using the compiler associated...
commit
|
commitdiff
|
tree
2017-06-22
Tupone Alfredo
dev-ada/gprbuild: Add build tool instruction to gprbuild...
commit
|
commitdiff
|
tree
2017-06-22
Tupone Alfredo
dev-lang/gnat-gpl: Remove tool description file (to...
commit
|
commitdiff
|
tree
2017-06-20
Tupone Alfredo
dev-ada/xmlada: Respect ADA (env vars)
commit
|
commitdiff
|
tree
2017-06-20
Tupone Alfredo
dev-lang/gnat-gpl: Fix compiler description for gprbuild
commit
|
commitdiff
|
tree
2017-06-19
Tupone Alfredo
dev-ada/gprbuild: Add version 2017
commit
|
commitdiff
|
tree
2017-06-19
Tupone Alfredo
dev-ada/xmlada: die when compile fails
commit
|
commitdiff
|
tree
2017-06-18
Tupone Alfredo
dev-ada/xmlada: Add version 2017
commit
|
commitdiff
|
tree
2017-06-17
Tupone Alfredo
dev-lang/gnat-gpl: Adding version 2017
commit
|
commitdiff
|
tree
2017-06-03
Tupone Alfredo
dev-ada/gtkada: Enable verbose mode
commit
|
commitdiff
|
tree
2017-05-31
Tupone Alfredo
dev-ada/gnat_util: Enable verbose mode
commit
|
commitdiff
|
tree
2017-05-28
Tupone Alfredo
dev-ada/xmlada: Enable verbose mode during build
commit
|
commitdiff
|
tree
2017-05-24
Tupone Alfredo
dev-lang/gnat-gpl: Fix build when current compiler...
commit
|
commitdiff
|
tree
2017-05-10
Tupone Alfredo
dev-ada/gtkada: Add gtkada-9999
commit
|
commitdiff
|
tree
2017-05-09
Tupone Alfredo
dev-lang/gnat-gpl: Avoid error unrecognized relocation...
commit
|
commitdiff
|
tree
2017-05-08
Tupone Alfredo
dev-ada/xmlada: Add dev-ada/xmlada-9999
commit
|
commitdiff
|
tree
2017-05-07
Tupone Alfredo
dev-ada/gprbuild: Add dev-ada/gprbuild-9999
commit
|
commitdiff
|
tree
2017-05-02
Tupone Alfredo
dev-ada/gps-bin: gps needs clang
commit
|
commitdiff
|
tree
2017-05-01
Tupone Alfredo
dev-ada/gps-bin: Needs gnatinspect from gnatcoll
commit
|
commitdiff
|
tree
2017-04-30
Tupone Alfredo
dev-ada/aws: Add dev-ada/aws-2016
commit
|
commitdiff
|
tree
2017-04-30
Tupone Alfredo
dev-ada/gps-bin: Adding dev-ada/gps-bin-2016
commit
|
commitdiff
|
tree
2017-04-26
Tupone Alfredo
dev-ada/aunit: Add dev-ada/aunit-2016
commit
|
commitdiff
|
tree
2017-04-25
Tupone Alfredo
dev-ada/gnatmem: Adding dev-ada/gnatmem-2016
commit
|
commitdiff
|
tree
2017-04-25
Tupone Alfredo
dev-ada/gtkada: Drop $Id$ lines.
commit
|
commitdiff
|
tree
2017-04-25
Tupone Alfredo
dev-ada/gnatcoll: add pygobject use flags
commit
|
commitdiff
|
tree
2017-04-24
Tupone Alfredo
dev-ada/gnatcoll: Adding support to gtk, using python...
commit
|
commitdiff
|
tree
next