<feed xmlns='http://www.w3.org/2005/Atom'>
<title>nixos/nixpkgs.git/pkgs/development/coq-modules/vcfloat, 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.vcfloat: 2.2 -&gt; 2.3</title>
<updated>2025-02-12T12:03:19+00:00</updated>
<author>
<name>Pierre Roux</name>
<email>pierre.roux@onera.fr</email>
</author>
<published>2025-02-11T13:22:34+00:00</published>
<link rel='alternate' type='text/html' href='https://git.tavy.me/nixos/nixpkgs.git/commit/?id=373763f960303dfc44e5f9f2d017c51797c0976b'/>
<id>373763f960303dfc44e5f9f2d017c51797c0976b</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 inactive Nix files</title>
<updated>2024-12-10T19:26:33+00:00</updated>
<author>
<name>Silvan Mosberger</name>
<email>silvan.mosberger@tweag.io</email>
</author>
<published>2024-12-10T19:26:33+00:00</published>
<link rel='alternate' type='text/html' href='https://git.tavy.me/nixos/nixpkgs.git/commit/?id=4f0dadbf38ee4cf4cc38cbc232b7708fddf965bc'/>
<id>4f0dadbf38ee4cf4cc38cbc232b7708fddf965bc</id>
<content type='text'>
After final improvements to the official formatter implementation,
this commit now performs the first treewide reformat of Nix files using it.
This is part of the implementation of RFC 166.

Only "inactive" files are reformatted, meaning only files that
aren't being touched by any PR with activity in the past 2 months.
This is to avoid conflicts for PRs that might soon be merged.
Later we can do a full treewide reformat to get the rest,
which should not cause as many conflicts.

A CI check has already been running for some time to ensure that new and
already-formatted files are formatted, so the files being reformatted here
should also stay formatted.

This commit was automatically created and can be verified using

    nix-build https://github.com/infinisil/treewide-nixpkgs-reformat-script/archive/a08b3a4d199c6124ac5b36a889d9099b4383463f.tar.gz \
      --argstr baseRev b32a0943687d2a5094a6d92f25a4b6e16a76b5b7
    result/bin/apply-formatting $NIXPKGS_PATH
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
After final improvements to the official formatter implementation,
this commit now performs the first treewide reformat of Nix files using it.
This is part of the implementation of RFC 166.

Only "inactive" files are reformatted, meaning only files that
aren't being touched by any PR with activity in the past 2 months.
This is to avoid conflicts for PRs that might soon be merged.
Later we can do a full treewide reformat to get the rest,
which should not cause as many conflicts.

A CI check has already been running for some time to ensure that new and
already-formatted files are formatted, so the files being reformatted here
should also stay formatted.

This commit was automatically created and can be verified using

    nix-build https://github.com/infinisil/treewide-nixpkgs-reformat-script/archive/a08b3a4d199c6124ac5b36a889d9099b4383463f.tar.gz \
      --argstr baseRev b32a0943687d2a5094a6d92f25a4b6e16a76b5b7
    result/bin/apply-formatting $NIXPKGS_PATH
</pre>
</div>
</content>
</entry>
<entry>
<title>treewide: Remove indefinite article from meta.description</title>
<updated>2024-06-09T21:07:45+00:00</updated>
<author>
<name>Alexis Hildebrandt</name>
<email>afh@surryhill.net</email>
</author>
<published>2024-06-07T07:46:46+00:00</published>
<link rel='alternate' type='text/html' href='https://git.tavy.me/nixos/nixpkgs.git/commit/?id=755b915a158c9d588f08e9b08da9f7f3422070cc'/>
<id>755b915a158c9d588f08e9b08da9f7f3422070cc</id>
<content type='text'>
nix run nixpkgs#silver-searcher -- -G '\.nix$' -0l 'description.*"[Aa]n?' pkgs \
  | xargs -0 nix run nixpkgs#gnused -- -i '' -Ee 's/(description.*")[Aa]n? (.)/\1\U\2/'
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
nix run nixpkgs#silver-searcher -- -G '\.nix$' -0l 'description.*"[Aa]n?' pkgs \
  | xargs -0 nix run nixpkgs#gnused -- -i '' -Ee 's/(description.*")[Aa]n? (.)/\1\U\2/'
</pre>
</div>
</content>
</entry>
<entry>
<title>coqPackages.vcfloat: enable for Coq 8.18 &amp; 8.19</title>
<updated>2024-04-02T20:41:01+00:00</updated>
<author>
<name>Vincent Laporte</name>
<email>Vincent.Laporte@gmail.com</email>
</author>
<published>2024-04-01T12:20:56+00:00</published>
<link rel='alternate' type='text/html' href='https://git.tavy.me/nixos/nixpkgs.git/commit/?id=e976fa8f49c35cf28496301a1ef2aa23ad576b56'/>
<id>e976fa8f49c35cf28496301a1ef2aa23ad576b56</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>treewide: fix sourceRoot for fetchgit-based src</title>
<updated>2024-03-08T23:53:25+00:00</updated>
<author>
<name>Yueh-Shun Li</name>
<email>shamrocklee@posteo.net</email>
</author>
<published>2024-03-08T17:04:40+00:00</published>
<link rel='alternate' type='text/html' href='https://git.tavy.me/nixos/nixpkgs.git/commit/?id=91b3db13093b1aecdba07041eb44b7103c235d94'/>
<id>91b3db13093b1aecdba07041eb44b7103c235d94</id>
<content type='text'>
According to Nixpkgs manual[1] and NixOS 23.11 Release Note[2], the
`sourceRoot` attribute passed to `stdenv.mkDerivation` should be
specified as `"${src.name}"` or `"${src.name}/subdir"` when `src` is
produced using `fetchgit`-based fetchers.

`sourceRoot = "source"` or `sourceRoot = "source/subdir"` is based on
the assumption that the `name` attribute of these pre-unpacked fetchers
are always `"source"`, which is not the case. Expecting constant `name`
also makes the source FODs prone to irrelevent hashes during version
bumps.

[1]: https://nixos.org/manual/nixpkgs/unstable/#var-stdenv-sourceRoot
[2]: https://nixos.org/manual/nixos/stable/release-notes#sec-release-23.11
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
According to Nixpkgs manual[1] and NixOS 23.11 Release Note[2], the
`sourceRoot` attribute passed to `stdenv.mkDerivation` should be
specified as `"${src.name}"` or `"${src.name}/subdir"` when `src` is
produced using `fetchgit`-based fetchers.

`sourceRoot = "source"` or `sourceRoot = "source/subdir"` is based on
the assumption that the `name` attribute of these pre-unpacked fetchers
are always `"source"`, which is not the case. Expecting constant `name`
also makes the source FODs prone to irrelevent hashes during version
bumps.

[1]: https://nixos.org/manual/nixpkgs/unstable/#var-stdenv-sourceRoot
[2]: https://nixos.org/manual/nixos/stable/release-notes#sec-release-23.11
</pre>
</div>
</content>
</entry>
<entry>
<title>coqPackages.vcfloat: fix</title>
<updated>2023-11-09T05:43:48+00:00</updated>
<author>
<name>Quinn Dougherty</name>
<email>quinnd@riseup.net</email>
</author>
<published>2023-11-01T19:58:58+00:00</published>
<link rel='alternate' type='text/html' href='https://git.tavy.me/nixos/nixpkgs.git/commit/?id=a0eb0aa889311cdaccd688cd88f23e2a8af61a0b'/>
<id>a0eb0aa889311cdaccd688cd88f23e2a8af61a0b</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>coqPackages.vcfloat: init at 2.1.1</title>
<updated>2023-09-29T21:57:07+00:00</updated>
<author>
<name>Quinn Dougherty</name>
<email>quinnd@riseup.net</email>
</author>
<published>2023-09-29T21:54:49+00:00</published>
<link rel='alternate' type='text/html' href='https://git.tavy.me/nixos/nixpkgs.git/commit/?id=c7634cf59a9d23569c5218435a2e72b8f32f3ddb'/>
<id>c7634cf59a9d23569c5218435a2e72b8f32f3ddb</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
</feed>
