noweb sources

View: New views
2 Messages — Rating Filter:   Alert me  

noweb sources

by Ralf Hemmecke :: Rate this Message:

Reply to Author | View Threaded | Show Only 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:

Reply to Author | View Threaded | Show Only 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