Summary: | dev-lang/gnat-gcc 4.6.2 4.7.0 version bumps | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Keean Schupke <keean.schupke> |
Component: | [OLD] Development | Assignee: | ada team [OBSOLETE] <ada+disabled> |
Status: | RESOLVED FIXED | ||
Severity: | normal | CC: | keean.schupke |
Priority: | Normal | Keywords: | NeedPatch |
Version: | autobuilds | ||
Hardware: | All | ||
OS: | Linux | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- |
Description
Keean Schupke
2012-04-26 18:47:54 UTC
need gnat-gcc >= 4.6 for SPARK support. +1 I just commited 4.6.4 (better late than never ;) Have at it... |