标签：
The GNAT GPL and SPARK GPL Editions are made available to the free software developers by AdaCore. They are not intended for professional development, and AdaCore makes NO WARRANTY on them. The software on this page is made available under the Free Software licenses documented in the packages, typically the GNU General Public License (GPL). GNAT and SPARK technology is also available in a professional, fully supported version. To find out which version is right for you, review the Technology comparison chart.
标签：
原文地址：http://www.cnblogs.com/nlsoft/p/5698098.html
