<feed xmlns='http://www.w3.org/2005/Atom'>
<title>guix.git/gnu/packages/ragel.scm, branch master</title>
<subtitle>Personal branch of https://git.savannah.gnu.org/cgit/guix.git/ for implementing 'guix deploy'.
</subtitle>
<id>https://www.git.jakob.space/guix.git/atom?h=master</id>
<link rel='self' href='https://www.git.jakob.space/guix.git/atom?h=master'/>
<link rel='alternate' type='text/html' href='https://www.git.jakob.space/guix.git/'/>
<updated>2019-02-24T16:51:30Z</updated>
<entry>
<title>gnu: ragel: Update to 6.10.</title>
<updated>2019-02-24T16:51:30Z</updated>
<author>
<name>Tobias Geerinckx-Rice</name>
<email>me@tobias.gr</email>
</author>
<published>2019-02-24T16:31:50Z</published>
<link rel='alternate' type='text/html' href='https://www.git.jakob.space/guix.git/commit/?id=5d63272843e15dd2806c11ff6accbbaf766ae8bd'/>
<id>urn:sha1:5d63272843e15dd2806c11ff6accbbaf766ae8bd</id>
<content type='text'>
* gnu/packages/ragel.scm (ragel): Update to 6.10.
</content>
</entry>
<entry>
<title>gnu: ragel: Use HTTPS home page.</title>
<updated>2019-02-24T16:51:30Z</updated>
<author>
<name>Tobias Geerinckx-Rice</name>
<email>me@tobias.gr</email>
</author>
<published>2019-02-24T16:29:05Z</published>
<link rel='alternate' type='text/html' href='https://www.git.jakob.space/guix.git/commit/?id=da9e132055c2ae3b44d62d5096cce8919c3004f3'/>
<id>urn:sha1:da9e132055c2ae3b44d62d5096cce8919c3004f3</id>
<content type='text'>
* gnu/packages/ragel.scm (ragel)[source, home-page]: Use HTTPS.
</content>
</entry>
<entry>
<title>gnu: Add Ragel.</title>
<updated>2015-11-25T14:21:47Z</updated>
<author>
<name>Ricardo Wurmus</name>
<email>ricardo.wurmus@mdc-berlin.de</email>
</author>
<published>2015-11-24T15:41:59Z</published>
<link rel='alternate' type='text/html' href='https://www.git.jakob.space/guix.git/commit/?id=1c207a7658a237cf13585aa25f16042328ca767b'/>
<id>urn:sha1:1c207a7658a237cf13585aa25f16042328ca767b</id>
<content type='text'>
* gnu/packages/ragel.scm: New file.
* gnu-system.am (GNU_SYSTEM_MODULES): Add it.
</content>
</entry>
</feed>
