[m-dev.] I have been making Debian packages
Paul Bone
paul at bone.id.au
Mon Mar 27 11:56:33 AEDT 2017
On Sun, Mar 26, 2017 at 09:45:32PM +1100, Paul Bone wrote:
> On Sat, Mar 25, 2017 at 01:31:44PM +0000, Sebastian Godelet wrote:
> > sudo apt-get mercury-devel resolved fine.
> >
> > Are the packaging scripts/instructions open-source?
>
> They will be, I'll publish them either later this evening or tomorrow.
https://github.com/Mercury-Language/packaging
--
Paul Bone
http://paul.bone.id.au
More information about the developers
mailing list