<div dir="ltr"><div><div><div><div>Hi Joe, </div>Thank you very much for looking into this and solving the problem. </div><div>Don't worry about the delay, it was not urgent. </div>I have tried uploading the packages again, and it seems to have worked :) </div>Cheers, </div>Ramana </div><div class="gmail_extra"> <div class="gmail_quote">On 27 July 2016 at 15:47, Joe Leslie-Hurd <<a href="mailto:joe@leslie-hurd.com" target="_blank">joe@leslie-hurd.com</a>> wrote: <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi Ramana, Sorry for the long delay on resolving this issue. <executive-summary>It's all fixed: please try uploading the arm-model package to the Gilith repo again.</executive-summary> <gory-details>The root cause was a failure of the Gilith repo to handle the situation where uploaded packages successfully install, but with warnings. I believe I have fixed the repo code to handle this case properly now: theories that generate warnings when installed are not accepted for upload (and they are now cleanly removed from the staging area). The reason that the arm-model package generated warnings is that its theorems contain terms with size larger than 10,000 nodes. The default behaviour for the opentheory tool is to abbreviate such terms as term{N} where N is the size, and generate a warning whenever this occurs. I believe this is still useful behaviour when outputting a theory on the command line like so: opentheory info --theory arm-model However, I believe this abbreviating of large terms is not so useful when generating the HTML package document as part of installing a theory, so the latest version of the opentheory tool (release 20160726) no longer abbreviates terms when generating HTML package documents. Thus the arm-model theory will no longer generate this warning and will (presumably) now be accepted as an upload to the Gilith repo.</gory-details> Thank you for your patience while I was investigating and fixing this. Cheers, Joe <div class="HOEnZb"><div class="h5"> On Wed, Jun 8, 2016 at 11:51 PM, Joe Leslie-Hurd <<a href="mailto:joe@leslie-hurd.com">joe@leslie-hurd.com</a>> wrote: > Hi Ramana, > > Thanks for trying again - I have enough information now to try to > reproduce this error, so I'll try to get to the bottom of it. > > Cheers, > > Joe > > On Wed, Jun 8, 2016 at 12:55 AM, Ramana Kumar <<a href="mailto:ramana@member.fsf.org">ramana@member.fsf.org</a>> wrote: >> Hi Joe, >> >> Thanks for looking into this. >> >> I retried today, and something weird happened again: >> >> started upload to gilith repo: >> <a href="http://opentheory.gilith.com/?upload=32b54e40e38f00cd331f0a6eabb68d99" rel="noreferrer" target="_blank">http://opentheory.gilith.com/?upload=32b54e40e38f00cd331f0a6eabb68d99</a> >> encountered error, so deleted upload to gilith repo >> >> FATAL ERROR: opentheory failed: >> error response from repo: >> gilith repo: failed to upload package arm-model-1.0: >> WARNING: term too large to print >> WARNING: term too large to print >> WARNING: term too large to print >> WARNING: term too large to print >> WARNING: term too large to print >> WARNING: term too large to print >> WARNING: term too large to print >> WARNING: term too large to print >> WARNING: term too large to print >> WARNING: term too large to print >> package upload failed >> package upload failed >> >> What should I do? >> >> Cheers, >> Ramana >> >> >> On 16 May 2016 at 15:25, Joe Leslie-Hurd <<a href="mailto:joe@gilith.com">joe@gilith.com</a>> wrote: >>> >>> Hi Ramana, >>> >>> Yes, you are quite correct. There were two packages in the staging >>> area with no corresponding active uploads, which I was able to >>> cleanup: >>> >>> $ opentheory cleanup >>> cleaned up staged package arm-model-1.0 >>> cleaned up staged package arm-step-1.0 >>> >>> I have no idea how it happened. Please retry the upload and let me >>> know if something weird happens again. >>> >>> Cheers, >>> >>> Joe >>> >>> >>> On Fri, May 13, 2016 at 4:33 PM, Ramana Kumar <<a href="mailto:ramana@member.fsf.org">ramana@member.fsf.org</a>> >>> wrote: >>> > I have tried all the links sent by email and they all say the upload has >>> > been confirmed or expired. I don't think any link was sent for the >>> > original >>> > failing upload which has left something in the staging area. >>> > >>> > On 14 May 2016 03:19, "Joe Leslie-Hurd" <<a href="mailto:joe@gilith.com">joe@gilith.com</a>> wrote: >>> >> >>> >> Hi Ramana, >>> >> >>> >> You should have received an email asking you to confirm the upload. If >>> >> you visit that link you can click on the other option, >>> >> >>> >> "Report to the repo maintainer that I am not the author" >>> >> >>> >> which should delete the upload. >>> >> >>> >> Cheers, >>> >> >>> >> Joe >>> >> >>> >> On Fri, May 13, 2016 at 1:45 AM, Ramana Kumar <<a href="mailto:ramana@member.fsf.org">ramana@member.fsf.org</a>> >>> >> wrote: >>> >> > Hi, >>> >> > >>> >> > I am trying to upload a package to the Gilith OpenTheory repository >>> >> > using >>> >> > the opentheory tool. The upload fails with this error: >>> >> > >>> >> > Error: package arm-model-1.0 is already staged for installation >>> >> > >>> >> > I think the only reason it is already staged for installation is due >>> >> > to >>> >> > a >>> >> > failed attempt of mine previously to upload the package. Is there any >>> >> > way >>> >> > for me to cancel this attempt if I have lost the link the tool >>> >> > printed >>> >> > out >>> >> > initially? >>> >> > >>> >> > (My next question is going to be about why the initial failure >>> >> > occurred >>> >> > (there was no error message as far as I recall)...) >>> >> > >>> >> > Cheers, >>> >> > Ramana >>> >> > >>> >> > >>> >> > _______________________________________________ >>> >> > opentheory-users mailing list >>> >> > <a href="mailto:opentheory-users@gilith.com">opentheory-users@gilith.com</a> >>> >> > <a href="http://www.gilith.com/opentheory/mailing-list" rel="noreferrer" target="_blank">http://www.gilith.com/opentheory/mailing-list</a> >>> >> > >>> >> >>> >> _______________________________________________ >>> >> opentheory-users mailing list >>> >> <a href="mailto:opentheory-users@gilith.com">opentheory-users@gilith.com</a> >>> >> <a href="http://www.gilith.com/opentheory/mailing-list" rel="noreferrer" target="_blank">http://www.gilith.com/opentheory/mailing-list</a> >>> > >>> > >>> > _______________________________________________ >>> > opentheory-users mailing list >>> > <a href="mailto:opentheory-users@gilith.com">opentheory-users@gilith.com</a> >>> > <a href="http://www.gilith.com/opentheory/mailing-list" rel="noreferrer" target="_blank">http://www.gilith.com/opentheory/mailing-list</a> >>> > >>> >>> _______________________________________________ >>> opentheory-users mailing list >>> <a href="mailto:opentheory-users@gilith.com">opentheory-users@gilith.com</a> >>> <a href="http://www.gilith.com/opentheory/mailing-list" rel="noreferrer" target="_blank">http://www.gilith.com/opentheory/mailing-list</a> >> >> >> >> _______________________________________________ >> opentheory-users mailing list >> <a href="mailto:opentheory-users@gilith.com">opentheory-users@gilith.com</a> >> <a href="http://www.gilith.com/opentheory/mailing-list" rel="noreferrer" target="_blank">http://www.gilith.com/opentheory/mailing-list</a> >> _______________________________________________ opentheory-users mailing list <a href="mailto:opentheory-users@gilith.com">opentheory-users@gilith.com</a> <a href="http://www.gilith.com/opentheory/mailing-list" rel="noreferrer" target="_blank">http://www.gilith.com/opentheory/mailing-list</a> </div></div></blockquote></div> </div>