Re: [Axiom-developer] noweb sources

[Tim Daly]

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
> address@hidden
> http://lists.nongnu.org/mailman/listinfo/axiom-developer