public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #95894 from alexarice/agda-release-notes

Browse Source 
Agda: add release notes
This commit is contained in:
Robert Hensing 2020-09-01 12:26:14 +02:00 committed by GitHub
commit c914fffeba
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 34 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

34
nixos/doc/manual/release-notes/rl-2009.xml
View File

@ -997,6 +997,40 @@ services.transmission.settings.rpc-bind-address = "0.0.0.0";
the previous behaviour using <literal>undervolt.useTimer</literal>. the previous behaviour using <literal>undervolt.useTimer</literal>.
</para> </para>
</listitem> </listitem>
<listitem>
<para>
Agda has been heavily reworked.
<itemizedlist>
<listitem>
<para>
<literal>agda.mkDerivation</literal> has been heavily changed and
is now located at <package>agdaPackages.mkDerivation</package>.
</para>
</listitem>
<listitem>
<para>
New top-level packages <package>agda</package> and
<literal>agda.withPackages</literal> have been added, the second
of which sets up agda with access to chosen libraries.
</para>
</listitem>
<listitem>
<para>
All agda libraries now live under
<literal>agdaPackages</literal>.
</para>
</listitem>
<listitem>
<para>
Many broken libraries have been removed.
</para>
</listitem>
</itemizedlist>
See the <link
xlink:href="https://nixos.org/nixpkgs/manual/#agda">new
documentation</link> for more information.
</para>
</listitem>
</itemizedlist> </itemizedlist>
</section> </section>
</section> </section>