[Ur] Ur/Web packages for Debian

[Adam Chlipala]

Thanks to both Benjamin and Austin for their packaging efforts!

On 10/31/2012 08:34 PM, Austin Seipp wrote:
> I too have recently thought of attempting to package RPMs for Fedora.
> I also generally maintain and update the Homebrew formula for Ur/Web.
> It'd be nice if we could get a spot on the homepage documenting some
> "easy install" options like this.
>    

I talked a bit with Benjamin about this, but what do you think is the 
best way to manage version control for the files needed for packaging?  
My first impulse was to put them in directories within the main urweb 
repo, but apparently Debian discourages this.  Another option would be 
one repository for all packaging metadata, but that sounds harder to 
keep in sync with Ur/Web versions.

Thoughts, anyone?

> On Wed, Oct 31, 2012 at 4:11 PM, Benjamin Barenblat<bbaren at mit.edu>  wrote:
>    
>> -----BEGIN PGP SIGNED MESSAGE-----
>> Hash: SHA512
>>
>> Howdy all,
>>
>> I've created a few debs for Ur/Web; you can check them out at
>> <http://benjamin.barenblat.name/projects/urweb/>.  They aren't anywhere
>> near Debian standards, but they seem to work just fine.  (I am, of
>> course, interested in bringing them in line with Debian standards and
>> submitting them to the project.)  I'd appreciate it if you'd give them a
>> try and see how they work for you.
>>
>> Additionally, if anybody on list uses something other than Wheezy amd64
>> and would like to rebuild the package for your release/architecture, I'd
>> love to host your binaries (with proper credit, of course).  Let me know
>> if you're interested.
>>