[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] noweb sources
From: |
Ralf Hemmecke |
Subject: |
[Axiom-developer] noweb sources |
Date: |
Tue, 29 Sep 2009 20:46:25 +0200 |
User-agent: |
Thunderbird 2.0.0.23 (X11/20090817) |
In the FriCAS install script I can read...
cd fricas
mkdir zips
cd zips
wget
https://axiom.svn.sourceforge.net/svnroot/axiom/trunk/axiom/zips/noweb-2.10a.tgz
Unfortunately, there seems to be a problem with the certificate.
Ralf
>wget
https://axiom.svn.sourceforge.net/svnroot/axiom/trunk/axiom/zips/noweb-2.10a.tgz
--11:43:40--
https://axiom.svn.sourceforge.net/svnroot/axiom/trunk/axiom/zips/noweb-2.10a.tgz
=> `noweb-2.10a.tgz'
Resolving axiom.svn.sourceforge.net... 216.34.181.65
Connecting to axiom.svn.sourceforge.net|216.34.181.65|:443... connected.
ERROR: Certificate verification error for axiom.svn.sourceforge.net:
unable to get local issuer certificate
To connect to axiom.svn.sourceforge.net insecurely, use
`--no-check-certificate'.
Unable to establish SSL connection.
- [Axiom-developer] noweb sources,
Ralf Hemmecke <=