aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorErik Schnetter <schnetter@aei.mpg.de>2004-11-17 21:43:00 +0000
committerErik Schnetter <schnetter@aei.mpg.de>2004-11-17 21:43:00 +0000
commitb2df8f95fc377637bc84cdd3c5693e414408630d (patch)
treed38bb928a52bd6de637f3cce943ee173a70fd5c5
parentbb3c1a0365b96773987383b7c31c15369577f099 (diff)
CarpetWeb: Provide new version of statically linked darcs binary
darcs-hash:20041117214302-891bb-ece437c3b0df1bcb3977d13b68612bac799d4626.gz
-rw-r--r--Carpet/CarpetWeb/binaries/darcs-1.0.0-static-linux-i386.gzbin0 -> 2424468 bytes
-rw-r--r--Carpet/CarpetWeb/binaries/darcs-1.0.0rc3-static-linux-i386.gzbin2400226 -> 0 bytes
-rw-r--r--Carpet/CarpetWeb/get-carpet-darcs.html4
3 files changed, 2 insertions, 2 deletions
diff --git a/Carpet/CarpetWeb/binaries/darcs-1.0.0-static-linux-i386.gz b/Carpet/CarpetWeb/binaries/darcs-1.0.0-static-linux-i386.gz
new file mode 100644
index 000000000..c90a8d46d
--- /dev/null
+++ b/Carpet/CarpetWeb/binaries/darcs-1.0.0-static-linux-i386.gz
Binary files differ
diff --git a/Carpet/CarpetWeb/binaries/darcs-1.0.0rc3-static-linux-i386.gz b/Carpet/CarpetWeb/binaries/darcs-1.0.0rc3-static-linux-i386.gz
deleted file mode 100644
index 7d95ead0e..000000000
--- a/Carpet/CarpetWeb/binaries/darcs-1.0.0rc3-static-linux-i386.gz
+++ /dev/null
Binary files differ
diff --git a/Carpet/CarpetWeb/get-carpet-darcs.html b/Carpet/CarpetWeb/get-carpet-darcs.html
index 1b6ff3678..0e7f38488 100644
--- a/Carpet/CarpetWeb/get-carpet-darcs.html
+++ b/Carpet/CarpetWeb/get-carpet-darcs.html
@@ -48,7 +48,7 @@
problems installing or using darcs in general, then you should ask
on the darcs mailing list, which I (Erik Schnetter) read
regularly. We have also prepared a <a
- href="binaries/darcs-1.0.0rc3-static-linux-i386.gz">gzipped,
+ href="binaries/darcs-1.0.0-static-linux-i386.gz">gzipped,
statically linked version for Linux/i386</a>.</p>
<p>By the way, you can also have a look at <a
@@ -123,7 +123,7 @@ darcs pull</pre>
<address><a href="mailto:schnetter@uni-tuebingen.de"></a></address>
<!-- Created: Tue Sep 28 16:52:20 CEST 2004 -->
<!-- hhmts start -->
-Last modified: Sat Nov 13 21:06:10 CST 2004
+Last modified: Wed Nov 17 15:41:26 CST 2004
<!-- hhmts end -->
</body>
</html>