projects / gentoo.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
dev-ada/gnatcoll-bindings: enable build with gnat-gpl-2019
2019-05-30 Tupone Alfredodev-ada/gnatcoll-bindings: enable build with gnat-gpl...
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2019-05-30 Tupone Alfredodev-ada/gnatcoll-core: enable build with gnat-gpl-2019
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2019-05-30 Tupone Alfredodev-ada/libgpr: enable compile with gnat-gpl-2019
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2019-05-30 Tupone Alfredodev-ada/xmlada: Enable build with gnat-gpl-2019
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2019-05-30 Tupone Alfredodev-ada/gprbuild: Enable compilation with gnat-gpl...
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2019-05-29 Tupone Alfredodev-lang/gnat-gpl: Bump to 2019
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2019-05-28 Tupone Alfredodev-lang/gnat-gpl: Removing old
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2019-05-28 Tupone Alfredodev-lang/gnat-gpl: Stabilize gnat-gpl-2018-r2 version
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2019-05-17 Tupone Alfredodev-tcltk/tcl-mccp: Build with with /usr/lib64
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2019-05-15 Tupone Alfredodev-tcltk/tcllib: Fix some test with newer tcl
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2019-05-15 Tupone Alfredodev-tcltk/snack: Fix missing mixer during test
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2019-05-14 Tupone Alfredodev-tcltk/snack: Log test output
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2019-05-06 Tupone Alfredoapp-misc/geneweb: update HOMEPAGE
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2019-04-20 Tupone Alfredodev-lang/gnat-gpl: Fix build w/o ustat. Sync with gcc...
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2019-04-20 Tupone Alfredodev-lang/gnat-gpl: Fix build withouy ustat
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2019-04-19 Tupone Alfredodev-lang/gnat-gpl: Fix missing ustat.h for gnat-gpl...
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2019-04-14 Tupone Alfredomedia-libs/glm: Version bump to 0.9.9.5
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2019-04-08 Tupone Alfredomedia-libs/glm: remove unused patch
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2019-04-06 Tupone Alfredodev-lang/polyml: bump to 5.8
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2019-04-05 Tupone Alfredodev-lang/polyml: Fix build with libffi3
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2019-04-05 Tupone AlfredoTrying to take care of sci-mathematics/isabelle
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2019-04-05 Tupone Alfredounmask dev-lang/polyml and sci-mathematics/isabelle
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2019-04-05 Tupone Alfredodev-lang/polyml: Adding me as a maintainer
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2019-04-05 Tupone Alfredomedia-libs/raspberrypi-userland: Removing me as a maintainer
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2019-04-05 Tupone Alfredodev-lang/polyml: Fix build, sem_wait found on libpthread
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2019-04-02 Tupone Alfredomedia-libs/glm: Remove old version
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2019-03-29 Tupone Alfredosci-mathematics/why3-for-spark: remove unused patch
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2019-03-18 Tupone Alfredomedia-libs/glm: Remove failing test
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2019-03-15 Tupone Alfredosci-mathematics/why3-for-spark: use virtual/emacs on...
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2019-03-08 Tupone Alfredomedia-libs/glm: Enabled all tests. Increase the error...
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2019-03-06 Tupone Alfredomedia-libs/glm: Disable avx. Remove failing test.
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2019-02-07 Tupone Alfredodev-ada/gnatmem: Fix dependency
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2019-01-31 Tupone Alfredodev-tcltk/tcllib: Remove old 1.16 version
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2019-01-16 Tupone Alfredodev-ada/aws: Fix dependency
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2019-01-02 Tupone Alfredodev-ada/gps: Stable
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2019-01-01 Tupone Alfredodev-ada/gps: Build gtk+ compatible library
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-12-28 Tupone Alfredodev-ada/gps: Install a compatible gtk+ library
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-12-19 Tupone Alfredodev-ada/gps-bin: Maintainer ada@gentoo.org
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-12-19 Tupone Alfredodev-lang/spark: Maintainer ada@gentoo.org
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-12-19 Tupone Alfredodev-lang/gnat-gpl: Maintainer -> ada@gentoo.org
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-12-17 Tupone Alfredodev-ada/gps: Explicity call python pkg_setup
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-12-16 Tupone Alfredodev-lang/spark: Stable
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-12-16 Tupone Alfredosci-mathematics/why3-for-spark: Stable
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-12-16 Tupone Alfredosci-mathematics/alt-ergo: Stable release
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-12-05 Tupone Alfredonet-print/cnijfilter2: stable
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-12-03 Tupone Alfredodev-tcltk/bwidget: remove an old version
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-12-03 Tupone Alfredodev-tcltk/bwidget: amd64 stable
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-12-02 Tupone Alfredodev-tcltk/snack: Stabilize and fix tests
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-12-02 Tupone Alfredodev-ada/asis: add gnat_2018 to fix pkgcheck
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-12-01 Tupone Alfredodev-ada/asis: Remove unused and disable gnat_2016 on...
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-30 Tupone Alfredodev-ada/gps: fix dependency
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-30 Tupone Alfredodev-ada/gprbuild: add -no-pie
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-29 Tupone Alfredodev-ada/asis: fix dep on gnat_util
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-29 Tupone Alfredodev-ada/gps: Fix dependency
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-29 Tupone Alfredodev-ada/gps: Stable
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-28 Tupone Alfredodev-ada/gnatcoll-db: stable
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-27 Tupone Alfredodev-ada/asis: 2017 version build also with gnatcoll...
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-27 Tupone Alfredodev-ada/aws: stable
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-27 Tupone Alfredodev-ada/asis: Stable
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-27 Tupone Alfredodev-ada/gnat_util: Stable
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-27 Tupone Alfredodev-ada/asis: Fix build with libgpr-2018
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-27 Tupone Alfredodev-ada/asis: alternate depend on dev-ada/gnatcoll
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-27 Tupone Alfredodev-ada/libadalang: fix dependency
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-27 Tupone Alfredodev-ada/gnatcoll: blocks dev-ada/gnatcoll-*
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-26 Tupone Alfredodev-ada/libadalang: Fix test
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-26 Tupone Alfredodev-ada/gprbuild: Fix build with -Wl,-r
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-26 Tupone Alfredodev-ada/libadalang: Stable
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-24 Tupone Alfredodev-ada/gps: Stable
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-22 Tupone Alfredodev-ada/libadalang: Stable
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-22 Tupone Alfredodev-ada/langkit: Stable
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-21 Tupone Alfredodev-ada/gprbuild: Fix linker file
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-20 Tupone Alfredodev-ada/asis: use gnatcoll-core
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-20 Tupone Alfredodev-ada/gnatcoll-db: Stabilize
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-20 Tupone Alfredodev-ada/gnatcoll-bindings: Stabilize
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-20 Tupone Alfredodev-ada/gnatcoll-core: Stabilize
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-18 Tupone Alfredodev-ada/gnat_util: Remove old version
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-18 Tupone Alfredodev-lang/gnat-gpl: Stabilize and remove old
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-18 Tupone Alfredodev-lang/gnat-gpl: Add some profile definitions from...
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-18 Tupone Alfredodev-ada/libgpr: fix dependency on gprbuil
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-18 Tupone Alfredodev-ada/libgpr: remove old
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-18 Tupone Alfredodev-ada/gnatcoll: require dev-ada/libgpr-2018
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-18 Tupone Alfredodev-ada/gps: make it works with dev-ada/libgrp-2018
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-18 Tupone Alfredodev-lang/gna-gpl: remove go use flag
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-17 Tupone Alfredodev-ada/gps: It works for gnat_2016 now
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-17 Tupone Alfredodev-ada/gnatcoll: Enable build with gnat_2016 & remove old
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-17 Tupone Alfredodev-lang/gnat-gpl: Stabilize and remove old
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-17 Tupone Alfredodev-lang/gnat-gpl: Add Finalization_Size su gnatcoll...
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-17 Tupone Alfredodev-ada/gps: Only for gnat 2017
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-14 Tupone Alfredodev-ada/gnatcoll: Fix build with new libgpr
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-14 Tupone Alfredodev-ada/asis: Fix build with new libgpr
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-14 Tupone Alfredodev-ada/langkit: Fx build with new libgpr
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-14 Tupone Alfredodev-ada/libadalang: Fix test for new libgpr
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-13 Tupone Alfredodev-ada/libgpr: Remove old version
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-13 Tupone Alfredodev-ada/gnatcoll: require a more recent libgpr
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-12 Tupone Alfredodev-ada/libadalang: Verbose, remove GCC hack
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-11 Tupone Alfredodev-ada/langkit: work with gnat_2016 too
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-11 Tupone Alfredodev-ada/langkit: remove hack for gcc
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-11 Tupone Alfredodev-ada/gnatcoll: compatibility with gprbuild-2017
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-10 Tupone Alfredodev-ada/gtkada: Stabilize 2018 version
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
2018-11-10 Tupone Alfredodev-ada/gnatsymbolize: Stabilize
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
 commit | commitdiff | tree
next
Unnamed repository; edit this file 'description' to name the repository.