[opentheory-users] package upload failed

Ramana Kumar ramana at member.fsf.org
Sun Apr 3 06:12:31 UTC 2016
Previous message: [opentheory-users] package upload failed
Next message: [opentheory-users] package upload failed
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
If you do happen to get it to work, don't upload that version though. I
have made some tweaks in the meantime and don't want to have to bump the
version number yet.

On 1 April 2016 at 10:02, Ramana Kumar <ramana at member.fsf.org> wrote:

> 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/b4ec84b4/attachment.html>
Previous message: [opentheory-users] package upload failed
Next message: [opentheory-users] package upload failed
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
More information about the opentheory-users mailing list