Get Gentoo!
summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* media-libs/glm: Version bump to 0.9.9.5Tupone Alfredo5 days2-0/+32
* media-libs/glm: remove unused patchTupone Alfredo11 days2-105/+0
* dev-lang/polyml: bump to 5.8Tupone Alfredo13 days3-0/+60
* dev-lang/polyml: Fix build with libffi3Tupone Alfredo13 days2-1/+22
* Trying to take care of sci-mathematics/isabelleTupone Alfredo14 days1-7/+0
* unmask dev-lang/polyml and sci-mathematics/isabelleTupone Alfredo14 days1-12/+0
* dev-lang/polyml: Adding me as a maintainerTupone Alfredo14 days1-0/+4
* media-libs/raspberrypi-userland: Removing me as a maintainerTupone Alfredo14 days1-4/+0
* dev-lang/polyml: Fix build, sem_wait found on libpthreadTupone Alfredo2019-04-052-1/+14
* media-libs/glm: Remove old versionTupone Alfredo2019-04-022-37/+0
* sci-mathematics/why3-for-spark: remove unused patchTupone Alfredo2019-03-291-40/+0
* media-libs/glm: Remove failing testTupone Alfredo2019-03-181-33/+9
* sci-mathematics/why3-for-spark: use virtual/emacs on dependencyTupone Alfredo2019-03-153-86/+2
* media-libs/glm: Enabled all tests. Increase the error toleranceTupone Alfredo2019-03-081-9/+33
* media-libs/glm: Disable avx. Remove failing test.Tupone Alfredo2019-03-062-1/+33
* dev-ada/gnatmem: Fix dependencyTupone Alfredo2019-02-071-2/+3
* dev-tcltk/tcllib: Remove old 1.16 versionTupone Alfredo2019-01-312-61/+0
* dev-ada/aws: Fix dependencyTupone Alfredo2019-01-161-2/+2
* dev-ada/gps: StableTupone Alfredo2019-01-023-106/+1
* dev-ada/gps: Build gtk+ compatible libraryTupone Alfredo2019-01-012-0/+119
* dev-ada/gps: Install a compatible gtk+ libraryTupone Alfredo2018-12-282-1/+10
* dev-ada/gps-bin: Maintainer ada@gentoo.orgTupone Alfredo2018-12-191-3/+2
* dev-lang/spark: Maintainer ada@gentoo.orgTupone Alfredo2018-12-191-3/+2
* dev-lang/gnat-gpl: Maintainer -> ada@gentoo.orgTupone Alfredo2018-12-191-3/+2
* dev-ada/gps: Explicity call python pkg_setupTupone Alfredo2018-12-171-0/+1
* dev-lang/spark: StableTupone Alfredo2018-12-162-4/+4
* sci-mathematics/why3-for-spark: StableTupone Alfredo2018-12-162-4/+4
* sci-mathematics/alt-ergo: Stable releaseTupone Alfredo2018-12-161-2/+2
* net-print/cnijfilter2: stableTupone Alfredo2018-12-051-2/+2
* dev-tcltk/bwidget: remove an old versionTupone Alfredo2018-12-032-43/+0
* dev-tcltk/bwidget: amd64 stableTupone Alfredo2018-12-031-2/+2
* dev-tcltk/snack: Stabilize and fix testsTupone Alfredo2018-12-023-0/+276
* dev-ada/asis: add gnat_2018 to fix pkgcheckTupone Alfredo2018-12-021-2/+2
* dev-ada/asis: Remove unused and disable gnat_2016 on last versionTupone Alfredo2018-12-013-56/+7
* dev-ada/gps: fix dependencyTupone Alfredo2018-11-301-2/+2
* dev-ada/gprbuild: add -no-pieTupone Alfredo2018-11-302-9/+11
* dev-ada/asis: fix dep on gnat_utilTupone Alfredo2018-11-291-1/+1
* dev-ada/gps: Fix dependencyTupone Alfredo2018-11-291-1/+1
* dev-ada/gps: StableTupone Alfredo2018-11-292-57/+39
* dev-ada/gnatcoll-db: stableTupone Alfredo2018-11-281-1/+1
* dev-ada/asis: 2017 version build also with gnatcoll-coreTupone Alfredo2018-11-271-1/+4
* dev-ada/aws: stableTupone Alfredo2018-11-271-1/+1
* dev-ada/asis: StableTupone Alfredo2018-11-271-4/+11
* dev-ada/gnat_util: StableTupone Alfredo2018-11-271-5/+4
* dev-ada/asis: Fix build with libgpr-2018Tupone Alfredo2018-11-271-8/+10
* dev-ada/asis: alternate depend on dev-ada/gnatcollTupone Alfredo2018-11-271-1/+4
* dev-ada/libadalang: fix dependencyTupone Alfredo2018-11-271-1/+1
* dev-ada/gnatcoll: blocks dev-ada/gnatcoll-*Tupone Alfredo2018-11-272-1/+7
* dev-ada/libadalang: Fix testTupone Alfredo2018-11-261-1/+5
* dev-ada/gprbuild: Fix build with -Wl,-rTupone Alfredo2018-11-262-2/+8