<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On 30 March 2016 at 17:33, 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> 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></blockquote><div><br></div><div>Actually I think I've uploaded a package before (called cl), but it was a long time ago.<br></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> <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></blockquote><div><br></div><div>Yes:<br><br></div><div> 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">http://opentheory.gilith.com/?upload=d3c0f4027d2d1ba9fadd9cec2d9691e8</a><br><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> <br> What OS are you running?<br></blockquote><div><br></div><div>GNU<br></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> <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></blockquote><div><br></div><div>Verified: I get that response.<br></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> What is the output of curl --version?<br></blockquote><div><br>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<br>Protocols: dict file ftp ftps gopher http https imap imaps pop3 pop3s rtsp scp sftp smb smbs smtp smtps telnet tftp <br>Features: AsynchDNS IDN IPv6 Largefile GSS-API Kerberos SPNEGO NTLM NTLM_WB SSL libz TLS-SRP UnixSockets <br><br> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> <br> Cheers,<br> <br> Joe<br> <div><div class="h5"><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>> wrote:<br> > Hi,<br> ><br> > I am trying to upload a package to the Gilith OpenTheory repository, using<br> > the opentheory tool. It fails and does not really explain why. Here is 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 rel="stylesheet"<br> > type="text/css" href="../opentheory.css" /><script 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 href="..">Gilith<br> > OpenTheory Repo</a></h1><p><a href="../packages">packages</a>   •<br> >   <a href="../recent">recent</a>   •  <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 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>  <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 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" />   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> </div></div>> _______________________________________________<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> </blockquote></div><br></div></div>