|
»
»
noweb sources
|
View:
New views
2 Messages
—
Rating Filter:
Alert me
|
 |
noweb sources
by Ralf Hemmecke
::
Rate this Message:
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 mailing list Axiom-developer@... http://lists.nongnu.org/mailman/listinfo/axiom-developer |
|
|
Re: noweb sources
by Tim Daly-3
::
Rate this Message:
Ralf,
Axiom is no longer maintained in SVN. All of the archives are git sources now. Ralf Hemmecke wrote: > 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 mailing list > Axiom-developer@... > http://lists.nongnu.org/mailman/listinfo/axiom-developer > _______________________________________________ Axiom-developer mailing list Axiom-developer@... http://lists.nongnu.org/mailman/listinfo/axiom-developer |
| Free embeddable forum powered by Nabble | Forum Help |
