<feed xmlns='http://www.w3.org/2005/Atom'>
<title>contracts/providers, branch main</title>
<subtitle>TODO</subtitle>
<link rel='alternate' type='text/html' href='http://code.nomath.org/contracts/'/>
<entry>
<title>another take on basic contracts</title>
<updated>2025-09-05T21:52:28+00:00</updated>
<author>
<name>Alexander Foremny</name>
<email>aforemny@posteo.de</email>
</author>
<published>2025-09-05T21:52:28+00:00</published>
<link rel='alternate' type='text/html' href='http://code.nomath.org/contracts/commit/?id=7132c52c038de995eb291070a4cda3eaf975635b'/>
<id>7132c52c038de995eb291070a4cda3eaf975635b</id>
<content type='text'>
- adds "secret" consumer `nixosModules.userSecret`
- binds secret provider `testing.hardcodedSecret.rootPassword` with
  secret consumer `users.users.root.passwordSecret`
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
- adds "secret" consumer `nixosModules.userSecret`
- binds secret provider `testing.hardcodedSecret.rootPassword` with
  secret consumer `users.users.root.passwordSecret`
</pre>
</div>
</content>
</entry>
<entry>
<title>add asecret example, wip</title>
<updated>2025-09-05T19:25:50+00:00</updated>
<author>
<name>Fabian Kirchner</name>
<email>kirchner@posteo.de</email>
</author>
<published>2025-09-05T19:25:50+00:00</published>
<link rel='alternate' type='text/html' href='http://code.nomath.org/contracts/commit/?id=adba5f32fdec0ca53937d571cd76f36e66fa6556'/>
<id>adba5f32fdec0ca53937d571cd76f36e66fa6556</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
</feed>
