summaryrefslogtreecommitdiffstats
path: root/gnu/ada
diff options
context:
space:
mode:
authorJaka Kranjc2007-05-19 21:32:27 +0200
committerArwed von Merkatz2007-10-20 10:45:13 +0200
commit0a28db6de90af6c53dae3a00d7a46fc558e1f524 (patch)
tree28bf34ba853683ebfc18271dc9a627124b9f9c8b /gnu/ada
parent67dff844beb4d68af9b152fdbec769e948414c90 (diff)
ada: 4.2.0
Diffstat (limited to 'gnu/ada')
-rwxr-xr-xgnu/ada/DETAILS4
-rw-r--r--gnu/ada/HISTORY3
2 files changed, 5 insertions, 2 deletions
diff --git a/gnu/ada/DETAILS b/gnu/ada/DETAILS
index 021eb0310c..d446e221b6 100755
--- a/gnu/ada/DETAILS
+++ b/gnu/ada/DETAILS
@@ -1,5 +1,5 @@
SPELL=ada
- VERSION=4.1.2
+ VERSION=4.2.0
SOURCE=gcc-core-$VERSION.tar.bz2
SOURCE_DIRECTORY=$BUILD_DIRECTORY/gcc-$VERSION
SOURCE_URL[0]=$GNU_URL/gcc/gcc-$VERSION/$SOURCE
@@ -8,7 +8,7 @@ SOURCE_DIRECTORY=$BUILD_DIRECTORY/gcc-$VERSION
SOURCE2_URL[0]=$GNU_URL/gcc/gcc-$VERSION/$SOURCE2
SOURCE2_URL[1]=ftp://gcc.gnu.org/pub/gcc/releases/gcc-$VERSION/$SOURCE2
SOURCE3=gnat-4.1.1-i386-pc-linux-gnu.tar.bz2
- SOURCE3_GPG=gurus.gpg:$SOURCE3.sig:UPSTREAM_HASH
+ SOURCE3_GPG=gurus.gpg:$SOURCE3.sig:UPSTREAM_KEY
SOURCE3_URL[0]=http://download.sourcemage.org/distro/$SOURCE3
#upstream signatures
diff --git a/gnu/ada/HISTORY b/gnu/ada/HISTORY
index c0132705ed..840c5b2ce7 100644
--- a/gnu/ada/HISTORY
+++ b/gnu/ada/HISTORY
@@ -1,3 +1,6 @@
+2007-05-19 Jaka Kranjc <lynxlynxlynx@sourcemage.org>
+ * DETAILS: updated spell to 4.2.0; fixed the gnat verification
+
2007-02-14 Treeve Jelbert <treeve@oi.be>
* DETAILS: version 4.1.2
convert to upstream signatures