aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorErik Schnetter <schnetter@aei.mpg.de>2005-02-10 12:35:00 +0000
committerErik Schnetter <schnetter@aei.mpg.de>2005-02-10 12:35:00 +0000
commit91f6a1d0599a00ae5e0de4b1212b0b2d7cc139db (patch)
tree28c4f9e41ea8f5a2f19ee869cf15c3cc54632fc1
parenta842f108f2b10f55685388c2c47434906e311310 (diff)
CarpetWeb: Update darcs executable to version 1.0.2
darcs-hash:20050210123518-891bb-042f1453a93d8572fc89f87bf899469c1513b884.gz
-rw-r--r--Carpet/CarpetWeb/binaries/darcs-1.0.1-static-linux-i386.gzbin2477568 -> 0 bytes
-rw-r--r--Carpet/CarpetWeb/binaries/darcs-1.0.2-static-linux-i386.gzbin0 -> 2518901 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.1-static-linux-i386.gz b/Carpet/CarpetWeb/binaries/darcs-1.0.1-static-linux-i386.gz
deleted file mode 100644
index 02cf71ca2..000000000
--- a/Carpet/CarpetWeb/binaries/darcs-1.0.1-static-linux-i386.gz
+++ /dev/null
Binary files differ
diff --git a/Carpet/CarpetWeb/binaries/darcs-1.0.2-static-linux-i386.gz b/Carpet/CarpetWeb/binaries/darcs-1.0.2-static-linux-i386.gz
new file mode 100644
index 000000000..53f383e4f
--- /dev/null
+++ b/Carpet/CarpetWeb/binaries/darcs-1.0.2-static-linux-i386.gz
Binary files differ
diff --git a/Carpet/CarpetWeb/get-carpet-darcs.html b/Carpet/CarpetWeb/get-carpet-darcs.html
index 6215e1408..a466b0e34 100644
--- a/Carpet/CarpetWeb/get-carpet-darcs.html
+++ b/Carpet/CarpetWeb/get-carpet-darcs.html
@@ -47,7 +47,7 @@
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.1-static-linux-i386.gz">gzipped,
+ href="binaries/darcs-1.0.2-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
@@ -122,7 +122,7 @@ darcs pull</pre>
<address><a href="mailto:schnetter@uni-tuebingen.de">Erik Schnetter</a></address>
<!-- Created: Tue Sep 28 16:52:20 CEST 2004 -->
<!-- hhmts start -->
-Last modified: Sat Jan 1 17:13:44 CET 2005
+Last modified: Thu Feb 10 13:34:37 CET 2005
<!-- hhmts end -->
</body>
</html>