A refresh request is in progress, please wait...

Queue position: None

dev-ada/gprbuild

Description
Multi-Language Management
Homepage
http://libre.adacore.com/
Maintainers

Gentoo Resources for Ada <ada@gentoo.org>

Q&A
Version history
  • gentoo - dev-ada/gprbuild-2017 [gentoo] - July 7, 2017, 5:07 a.m.
  • gentoo - dev-ada/gprbuild-2016 [gentoo] - July 7, 2017, 5:07 a.m.
  • gentoo - dev-ada/gprbuild-9999 [gentoo] - July 3, 2017, 5:05 a.m.
  • gentoo + dev-ada/gprbuild-2017 [gentoo] - June 21, 2017, 5:03 a.m.
  • gentoo + dev-ada/gprbuild-9999 [gentoo] - May 8, 2017, 5:03 a.m.
  • gentoo + dev-ada/gprbuild-2016 [gentoo] - March 24, 2017, 4:03 a.m.
euscan log

Date: Nov. 22, 2019, 8:09 a.m.

 * SRC_URI is 'http://mirrors.cdn.adacore.com/art/5cdf916831e87a8f1d4250b5'
 * Url doesn't seems to depend on version: 2019 not found in http://mirrors.cdn.adacore.com/art/5cdf916831e87a8f1d4250b5
 * SRC_URI is 'http://mirrors.cdn.adacore.com/art/5cdf8e8031e87a8f1d425093'
 * Url doesn't seems to depend on version: 2019 not found in http://mirrors.cdn.adacore.com/art/5cdf8e8031e87a8f1d425093