[opentheory-users] package upload failed

Ramana Kumar ramana at member.fsf.org
Fri Apr 1 17:02:40 UTC 2016


It should be at https://hol-theorem-prover.org/hol-base-1.0.tgz

On 1 April 2016 at 17:58, Joe Leslie-Hurd <joe at gilith.com> wrote:

> Hi Ramana,
>
> I have confirmed that I am able to upload packages (to my test repo,
> at least). Could you send me a link to your package tarball located at
>
> ~/.opentheory/packages/NAME-VERSION/NAME-VERSION.tgz
>
> so I can see if there are any issues with the particular package that
> is failing to upload?
>
> Cheers,
>
> Joe
>
> On Thu, Mar 31, 2016 at 12:22 AM, Joe Leslie-Hurd <joe at gilith.com> wrote:
> > Hi Ramana,
> >
> > Well I can't see anything immediately wrong with your setup, and my
> > server logs are also uninformative.
> >
> > Let me see whether I can still upload packages myself or if some
> > important bits have rotted.
> >
> > Cheers,
> >
> > Joe
> >
> > On Tue, Mar 29, 2016 at 11:41 PM, Ramana Kumar <ramana at member.fsf.org>
> wrote:
> >> On 30 March 2016 at 17:33, Joe Leslie-Hurd <joe at gilith.com> wrote:
> >>>
> >>> Hi Ramana,
> >>>
> >>> That doesn't look good, but I think perhaps I'm the only one who's
> >>> uploaded packages up until now, so perhaps it shouldn't be too
> >>> surprising there are bugs lurking.
> >>
> >>
> >> Actually I think I've uploaded a package before (called cl), but it was
> a
> >> long time ago.
> >>
> >>>
> >>>
> >>> Here are some questions to help debug the problem:
> >>>
> >>> Was there any output between executing the opentheory upload command
> >>> and the text you pasted?
> >>
> >>
> >> Yes:
> >>
> >>  About to upload to gilith repo in 2 steps
> >> 1. Upload the package:
> >>    hol-base-1.0
> >> 2. Send a confirmation email to the package author:
> >>    HOL developers <hol-developers at lists.sourceforge.net>
> >> Continue [y/N]? y
> >> started upload to gilith repo:
> >>   http://opentheory.gilith.com/?upload=d3c0f4027d2d1ba9fadd9cec2d9691e8
> >>
> >>>
> >>> What OS are you running?
> >>
> >>
> >> GNU
> >>
> >>>
> >>>
> >>> Can you verify that you get this response from this curl command:
> >>>
> >>> $ curl --silent --show-error --user-agent opentheory
> >>> http://opentheory.gilith.com/
> >>> gilith repo: welcome
> >>>
> >>
> >> Verified: I get that response.
> >>
> >>>
> >>> What is the output of curl --version?
> >>
> >>
> >> curl 7.47.1 (x86_64-pc-linux-gnu) libcurl/7.47.1 OpenSSL/1.0.2g
> zlib/1.2.8
> >> libidn/1.32 libssh2/1.7.0
> >> Protocols: dict file ftp ftps gopher http https imap imaps pop3 pop3s
> rtsp
> >> scp sftp smb smbs smtp smtps telnet tftp
> >> Features: AsynchDNS IDN IPv6 Largefile GSS-API Kerberos SPNEGO NTLM
> NTLM_WB
> >> SSL libz TLS-SRP UnixSockets
> >>
> >>
> >>>
> >>>
> >>> Cheers,
> >>>
> >>> Joe
> >>>
> >>>
> >>> On Tue, Mar 29, 2016 at 8:25 PM, Ramana Kumar <ramana at member.fsf.org>
> >>> wrote:
> >>> > Hi,
> >>> >
> >>> > I am trying to upload a package to the Gilith OpenTheory repository,
> >>> > using
> >>> > the opentheory tool. It fails and does not really explain why. Here
> is
> >>> > the
> >>> > output:
> >>> >
> >>> > encountered error, so deleted upload to gilith repo
> >>> >
> >>> > FATAL ERROR: opentheory failed:
> >>> > error response from repo:
> >>> > <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
> >>> > "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
> >>> > <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
> >>> > <head>
> >>> > <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
> >>> > <title>Gilith OpenTheory Repo - Upload Package</title><link
> >>> > rel="stylesheet"
> >>> > type="text/css" href="../opentheory.css" /><script
> >>> > type="text/javascript"
> >>> > src="../opentheory.js"></script><link rel="shortcut icon"
> >>> > type="image/x-icon" href="../favicon.ico" />
> >>> > </head>
> >>> > <body>
> >>> > <div id="document">
> >>> > <div id="header"><div id="loggedin"><a href="../account">Log
> >>> > in</a></div><div id="logo"><a href=".."><img src="../images/logo.png"
> >>> > alt="OpenTheory" /></a></div><div id="navigation"><h1><a
> >>> > href="..">Gilith
> >>> > OpenTheory Repo</a></h1><p><a href="../packages">packages</a>  
> >>> > •
> >>> >   <a href="../recent">recent</a>   •  
> >>> > <b>upload</b></p></div><div id="header-clearer"></div></div>
> >>> > <div id="main"><div id="content"><div id="image-wrapper"><div
> >>> > class="image"><img src="../images/elephant-and-castle.jpg"
> alt="Elephant
> >>> > and
> >>> > Castle" /></div></div><h2>Upload a Package</h2>
> >>> >
> >>> > <p>The recommended way to upload packages is to use the
> >>> >
> >>> > <a href="http://www.gilith.com/software/opentheory/">opentheory</a>
> >>> >
> >>> > package management tool, but it is also possible to <i>manually</i>
> >>> > upload package tarballs using the following form:</p><form action="."
> >>> > method="post" enctype="multipart/form-data"><p><span
> >>> > class="field">Tarball</span><span class="form_required">*</span>
>  
> >>> > <input type="file" name="t" /></p><p><input type="submit" name="x"
> >>> > value="upload package" /></p></form></div><div
> >>> > id="main-clearer"></div></div><div id="footer"><div
> >>> > id="footer-validator"><a
> >>> > href="http://validator.w3.org/check?uri=referer"><img
> >>> > src="../images/valid.png" alt="Valid XHTML 1.0" /></a></div><img
> >>> > src="../images/favicon.png" alt="OpenTheory" />   Gilith
> OpenTheory
> >>> > Repo, maintained by <a href="http://www.gilith.com/">Joe
> >>> > Leslie-Hurd</a>.</div></div>
> >>> > </body>
> >>> > </html>
> >>> > package upload failed
> >>> > package upload failed
> >>> >
> >>> > What could be wrong?
> >>> > Thanks,
> >>> > Ramana
> >>> >
> >>> > _______________________________________________
> >>> > opentheory-users mailing list
> >>> > opentheory-users at gilith.com
> >>> > http://www.gilith.com/opentheory/mailing-list
> >>> >
> >>>
> >>> _______________________________________________
> >>> opentheory-users mailing list
> >>> opentheory-users at gilith.com
> >>> http://www.gilith.com/opentheory/mailing-list
> >>
> >>
> >>
> >> _______________________________________________
> >> opentheory-users mailing list
> >> opentheory-users at gilith.com
> >> http://www.gilith.com/opentheory/mailing-list
> >>
>
> _______________________________________________
> opentheory-users mailing list
> opentheory-users at gilith.com
> http://www.gilith.com/opentheory/mailing-list
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gilith.com/opentheory/mailing-list/attachments/20160402/fc5dcf5c/attachment.html>


More information about the opentheory-users mailing list