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