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

Queue position: None

dev-ada/asis

Description
To develop tools for Ada software
Homepage
http://libre.adacore.com/
Maintainers

Gentoo Resources for Ada <ada@gentoo.org>

Q&A
Version history
  • gentoo - dev-ada/asis-2017 [gentoo] - July 7, 2017, 5:07 a.m.
  • gentoo - dev-ada/asis-2016 [gentoo] - July 7, 2017, 5:07 a.m.
  • gentoo + dev-ada/asis-2017 [gentoo] - July 3, 2017, 5:03 a.m.
  • gentoo + dev-ada/asis-2016 [gentoo] - April 7, 2017, 5:03 a.m.
euscan log

Date: Nov. 15, 2019, 8:15 a.m.

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