<feed xmlns='http://www.w3.org/2005/Atom'>
<title>nixfiles/home, branch main</title>
<subtitle>my nixfiles
</subtitle>
<link rel='alternate' type='text/html' href='https://stuebinm.eu/git/nixfiles/'/>
<entry>
<title>home/mail: drop books.exposed mail account</title>
<updated>2026-05-02T18:57:06+00:00</updated>
<author>
<name>stuebinm</name>
</author>
<published>2026-05-02T18:57:06+00:00</published>
<link rel='alternate' type='text/html' href='https://stuebinm.eu/git/nixfiles/commit/?id=51607f251a247950346f09c94f786fbc580f92cf'/>
<id>51607f251a247950346f09c94f786fbc580f92cf</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>home/news: change some feeds</title>
<updated>2026-03-24T21:14:42+00:00</updated>
<author>
<name>stuebinm</name>
</author>
<published>2026-03-24T21:14:42+00:00</published>
<link rel='alternate' type='text/html' href='https://stuebinm.eu/git/nixfiles/commit/?id=1129626d416e746c45c7ffd87d28fcc1eb5c8180'/>
<id>1129626d416e746c45c7ffd87d28fcc1eb5c8180</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>home/ssh: add regiolis config</title>
<updated>2026-03-24T19:55:43+00:00</updated>
<author>
<name>stuebinm</name>
</author>
<published>2026-03-24T19:55:43+00:00</published>
<link rel='alternate' type='text/html' href='https://stuebinm.eu/git/nixfiles/commit/?id=9261d36faf9368c0b1457502112272b258bc4809'/>
<id>9261d36faf9368c0b1457502112272b258bc4809</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>remove remaining mentions of hacc infra</title>
<updated>2026-02-09T20:05:01+00:00</updated>
<author>
<name>stuebinm</name>
</author>
<published>2026-02-06T20:27:03+00:00</published>
<link rel='alternate' type='text/html' href='https://stuebinm.eu/git/nixfiles/commit/?id=ca5892ae8164292cbf6cc45e88109da25ea85dd4'/>
<id>ca5892ae8164292cbf6cc45e88109da25ea85dd4</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>isabelle2unicode: update, simplify git setup</title>
<updated>2026-01-20T17:15:51+00:00</updated>
<author>
<name>stuebinm</name>
</author>
<published>2026-01-20T17:15:51+00:00</published>
<link rel='alternate' type='text/html' href='https://stuebinm.eu/git/nixfiles/commit/?id=e4a1744fa969c0d75567aa9e1541bc8604db5201'/>
<id>e4a1744fa969c0d75567aa9e1541bc8604db5201</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>home: trying out riverwm (classic version)</title>
<updated>2026-01-19T21:43:00+00:00</updated>
<author>
<name>stuebinm</name>
</author>
<published>2026-01-19T21:43:00+00:00</published>
<link rel='alternate' type='text/html' href='https://stuebinm.eu/git/nixfiles/commit/?id=248faec33648b15f3642aad0c53b62f32ee02a3c'/>
<id>248faec33648b15f3642aad0c53b62f32ee02a3c</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>home: make git produce useful diffs on .thy files</title>
<updated>2026-01-18T14:13:37+00:00</updated>
<author>
<name>stuebinm</name>
</author>
<published>2026-01-18T14:13:37+00:00</published>
<link rel='alternate' type='text/html' href='https://stuebinm.eu/git/nixfiles/commit/?id=9eb9292be4468b5b36fe4217b4f92f8a92c668f6'/>
<id>9eb9292be4468b5b36fe4217b4f92f8a92c668f6</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>pkgs/plover: init from unmerged nixpkgs PR</title>
<updated>2026-01-06T21:37:31+00:00</updated>
<author>
<name>stuebinm</name>
</author>
<published>2026-01-06T21:36:39+00:00</published>
<link rel='alternate' type='text/html' href='https://stuebinm.eu/git/nixfiles/commit/?id=0d709caed396d24acea583971d4e3c4e5b7c5673'/>
<id>0d709caed396d24acea583971d4e3c4e5b7c5673</id>
<content type='text'>
https://github.com/NixOS/nixpkgs/pull/419593

appears to work but is unmerged; this adds its files in a subdirectory
of pkgs/
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
https://github.com/NixOS/nixpkgs/pull/419593

appears to work but is unmerged; this adds its files in a subdirectory
of pkgs/
</pre>
</div>
</content>
</entry>
<entry>
<title>update sources: NixOS 25.11</title>
<updated>2026-01-06T13:17:57+00:00</updated>
<author>
<name>stuebinm</name>
</author>
<published>2026-01-06T13:17:57+00:00</published>
<link rel='alternate' type='text/html' href='https://stuebinm.eu/git/nixfiles/commit/?id=964779db4d62613d48ade8b8695474bdd57271d3'/>
<id>964779db4d62613d48ade8b8695474bdd57271d3</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>home/news: new feeds</title>
<updated>2025-12-08T22:40:00+00:00</updated>
<author>
<name>stuebinm</name>
</author>
<published>2025-12-08T22:40:00+00:00</published>
<link rel='alternate' type='text/html' href='https://stuebinm.eu/git/nixfiles/commit/?id=5c6d4efc90c4062ea6fd8accb59dac1c1eec88c4'/>
<id>5c6d4efc90c4062ea6fd8accb59dac1c1eec88c4</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
</feed>
