<feed xmlns='http://www.w3.org/2005/Atom'>
<title>nixos/nixpkgs.git/pkgs/development/coq-modules/ExtLib, branch master</title>
<subtitle>Nix Packages collection</subtitle>
<link rel='alternate' type='text/html' href='https://git.tavy.me/nixos/nixpkgs.git/'/>
<entry>
<title>coqPackages.ExtLib: 0.13.0 → 0.13.1</title>
<updated>2026-03-30T05:50:38+00:00</updated>
<author>
<name>Vincent Laporte</name>
<email>Vincent.Laporte@gmail.com</email>
</author>
<published>2026-03-30T05:50:38+00:00</published>
<link rel='alternate' type='text/html' href='https://git.tavy.me/nixos/nixpkgs.git/commit/?id=afc3c1ea88efd21ab6c572fb51b45d4aea4dc01c'/>
<id>afc3c1ea88efd21ab6c572fb51b45d4aea4dc01c</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>treewide: remove redundant parentheses</title>
<updated>2025-10-05T08:52:03+00:00</updated>
<author>
<name>Wolfgang Walther</name>
<email>walther@technowledgy.de</email>
</author>
<published>2025-09-01T11:18:30+00:00</published>
<link rel='alternate' type='text/html' href='https://git.tavy.me/nixos/nixpkgs.git/commit/?id=91a8fee3aaf79348aa2dc1552a29fc1b786c5133'/>
<id>91a8fee3aaf79348aa2dc1552a29fc1b786c5133</id>
<content type='text'>
Auto-fixed by nixf-diagnose.
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
Auto-fixed by nixf-diagnose.
</pre>
</div>
</content>
</entry>
<entry>
<title>coqPackages.*: 9.0 -&gt; 9.1</title>
<updated>2025-07-09T05:27:19+00:00</updated>
<author>
<name>Pierre Roux</name>
<email>pierre.roux@onera.fr</email>
</author>
<published>2025-07-08T11:52:31+00:00</published>
<link rel='alternate' type='text/html' href='https://git.tavy.me/nixos/nixpkgs.git/commit/?id=6bb4f60316f63f10779a512bdfa7cacd7893a239'/>
<id>6bb4f60316f63f10779a512bdfa7cacd7893a239</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>treewide: Format all Nix files</title>
<updated>2025-04-01T18:10:43+00:00</updated>
<author>
<name>Silvan Mosberger</name>
<email>silvan.mosberger@moduscreate.com</email>
</author>
<published>2025-04-01T18:10:43+00:00</published>
<link rel='alternate' type='text/html' href='https://git.tavy.me/nixos/nixpkgs.git/commit/?id=374e6bcc403e02a35e07b650463c01a52b13a7c8'/>
<id>374e6bcc403e02a35e07b650463c01a52b13a7c8</id>
<content type='text'>
Format all Nix files using the officially approved formatter,
making the CI check introduced in the previous commit succeed:

  nix-build ci -A fmt.check

This is the next step of the of the [implementation](https://github.com/NixOS/nixfmt/issues/153)
of the accepted [RFC 166](https://github.com/NixOS/rfcs/pull/166).

This commit will lead to merge conflicts for a number of PRs,
up to an estimated ~1100 (~33%) among the PRs with activity in the past 2
months, but that should be lower than what it would be without the previous
[partial treewide format](https://github.com/NixOS/nixpkgs/pull/322537).

Merge conflicts caused by this commit can now automatically be resolved while rebasing using the
[auto-rebase script](https://github.com/NixOS/nixpkgs/tree/8616af08d915377bd930395f3b700a0e93d08728/maintainers/scripts/auto-rebase).

If you run into any problems regarding any of this, please reach out to the
[formatting team](https://nixos.org/community/teams/formatting/) by
pinging @NixOS/nix-formatting.
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
Format all Nix files using the officially approved formatter,
making the CI check introduced in the previous commit succeed:

  nix-build ci -A fmt.check

This is the next step of the of the [implementation](https://github.com/NixOS/nixfmt/issues/153)
of the accepted [RFC 166](https://github.com/NixOS/rfcs/pull/166).

This commit will lead to merge conflicts for a number of PRs,
up to an estimated ~1100 (~33%) among the PRs with activity in the past 2
months, but that should be lower than what it would be without the previous
[partial treewide format](https://github.com/NixOS/nixpkgs/pull/322537).

Merge conflicts caused by this commit can now automatically be resolved while rebasing using the
[auto-rebase script](https://github.com/NixOS/nixpkgs/tree/8616af08d915377bd930395f3b700a0e93d08728/maintainers/scripts/auto-rebase).

If you run into any problems regarding any of this, please reach out to the
[formatting team](https://nixos.org/community/teams/formatting/) by
pinging @NixOS/nix-formatting.
</pre>
</div>
</content>
</entry>
<entry>
<title>treewide: remove unused rec expressions</title>
<updated>2025-03-14T04:15:05+00:00</updated>
<author>
<name>Sigmanificient</name>
<email>edhyjox@gmail.com</email>
</author>
<published>2025-03-14T01:57:08+00:00</published>
<link rel='alternate' type='text/html' href='https://git.tavy.me/nixos/nixpkgs.git/commit/?id=91d5ab3ae47e000d32ad4ed3609c8c996f274066'/>
<id>91d5ab3ae47e000d32ad4ed3609c8c996f274066</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>coq_9_0: init at 9.0+rc1</title>
<updated>2025-01-26T15:32:07+00:00</updated>
<author>
<name>Pierre Roux</name>
<email>pierre.roux@onera.fr</email>
</author>
<published>2025-01-24T16:13:12+00:00</published>
<link rel='alternate' type='text/html' href='https://git.tavy.me/nixos/nixpkgs.git/commit/?id=c683a77656bfb77a8ad392a08021c2be736af250'/>
<id>c683a77656bfb77a8ad392a08021c2be736af250</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Add coqPackages.stdlib</title>
<updated>2024-12-13T10:42:53+00:00</updated>
<author>
<name>Pierre Roux</name>
<email>pierre.roux@onera.fr</email>
</author>
<published>2024-07-19T11:38:54+00:00</published>
<link rel='alternate' type='text/html' href='https://git.tavy.me/nixos/nixpkgs.git/commit/?id=629830c8ffc7d1b34533a6ebebde0eaec0c5c941'/>
<id>629830c8ffc7d1b34533a6ebebde0eaec0c5c941</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>coqPackages.ExtLib: 0.12.2 → 0.13.0</title>
<updated>2024-12-12T04:37:36+00:00</updated>
<author>
<name>Vincent Laporte</name>
<email>Vincent.Laporte@gmail.com</email>
</author>
<published>2024-12-06T06:13:03+00:00</published>
<link rel='alternate' type='text/html' href='https://git.tavy.me/nixos/nixpkgs.git/commit/?id=94b321638afed597e9bb528d45441c3fbfee2662'/>
<id>94b321638afed597e9bb528d45441c3fbfee2662</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>coqPackages.ExtLib: 0.12.1 → 0.12.2</title>
<updated>2024-11-07T13:55:06+00:00</updated>
<author>
<name>Vincent Laporte</name>
<email>Vincent.Laporte@gmail.com</email>
</author>
<published>2024-11-06T12:01:45+00:00</published>
<link rel='alternate' type='text/html' href='https://git.tavy.me/nixos/nixpkgs.git/commit/?id=7a9a124cad78b449bd02b142582534d12b013cf9'/>
<id>7a9a124cad78b449bd02b142582534d12b013cf9</id>
<content type='text'>
Rename package from `coq-ext-lib` to `ExtLib`.
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
Rename package from `coq-ext-lib` to `ExtLib`.
</pre>
</div>
</content>
</entry>
</feed>
