diff options
author | Erik Schnetter <schnetter@aei.mpg.de> | 2005-02-10 12:35:00 +0000 |
---|---|---|
committer | Erik Schnetter <schnetter@aei.mpg.de> | 2005-02-10 12:35:00 +0000 |
commit | 91f6a1d0599a00ae5e0de4b1212b0b2d7cc139db (patch) | |
tree | 28c4f9e41ea8f5a2f19ee869cf15c3cc54632fc1 | |
parent | a842f108f2b10f55685388c2c47434906e311310 (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.gz | bin | 2477568 -> 0 bytes | |||
-rw-r--r-- | Carpet/CarpetWeb/binaries/darcs-1.0.2-static-linux-i386.gz | bin | 0 -> 2518901 bytes | |||
-rw-r--r-- | Carpet/CarpetWeb/get-carpet-darcs.html | 4 |
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 Binary files differdeleted file mode 100644 index 02cf71ca2..000000000 --- a/Carpet/CarpetWeb/binaries/darcs-1.0.1-static-linux-i386.gz +++ /dev/null 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 Binary files differnew file mode 100644 index 000000000..53f383e4f --- /dev/null +++ b/Carpet/CarpetWeb/binaries/darcs-1.0.2-static-linux-i386.gz 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> |