nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-06-05 21:03:40 +00:00
Code Issues Packages Projects Releases Wiki Activity
1,011,408 Commits 355 Branches 81 Tags
master
Commit Graph

53 Commits

Author SHA1 Message Date
Théo Zimmermann
ef3f1670a7 vsrocq-language-server: 2.3.4 → 2.4.3 (#523053) 2026-06-01 08:48:52 +00:00
SandaruKasa
9f822bb13b rocqPackages.vsrocq-language-server: 2.3.4 -> 2.4.3 2026-05-30 14:52:42 +03:00
Pierre Roux
34725c072b rocqPackages.micromega-plugin: 1.0.0 -> 1.1.0 2026-05-29 09:48:18 +02:00
Mysaa Java
bdf53214c6 rocqPackages.rocq-elpi: 3.3.0 -> 3.4.0 2026-05-22 14:49:57 +02:00
Pierre Roux
30b1c85e66 rocqPackages.mathcomp-algebra: master depends on micromega-plugin 2026-05-06 11:57:10 +02:00
Pierre Roux
2a7a765c10 rocqPackages.micromega-plugin: init at 1.0.0 2026-05-06 08:38:32 +02:00
Pierre Roux
96af9f8acf rocqPackages.mathcomp: rename fingroup -> finite-group and character -> group-representation 2026-05-05 14:11:16 +02:00
Vincent Laporte
7017019bc1 rocqPackages.relation-algebra: enable for Rocq 9.1 2026-04-03 14:28:23 +02:00
Pierre Roux
13bfe0d63b ocamlPackages.elpi: 3.6.1 -> 3.6.2 2026-03-23 08:26:06 +01:00
Pierre Roux
364777b471 rocqPackages.mathcomp-analysis: init at 1.16.0 2026-03-17 10:49:04 +01:00
Vincent Laporte
c42c1b9d97 rocqPackages.rocq-elpi: 3.2.0 -> 3.3.0 (#499195) 2026-03-12 12:37:41 +00:00
Pierre Roux
bb3d5ff0db rocqPackages.rocq-elpi: 3.2.0 -> 3.3.0 2026-03-12 10:39:30 +01:00
Pierre Roux
ce85f4761e rocqPackages.rocq-elpi: fix default elpi version 2026-03-12 10:25:08 +01:00
4ever2
18f99b1161 rocqPackages.iris: init at 4.5.0 2026-03-10 16:42:16 +01:00
4ever2
f136d4a6ec rocqPackages.stdpp: init at 1.13.0 2026-03-09 13:49:40 +01:00
Mysaa Java
f753947c23 ocamlPackages.elpi: 3.4.2 -> 3.4.5 2026-02-25 19:02:57 +01:00
Pierre Roux
0344418644 rocqPackages.mathcomp-finmap: init at 2.2.2 2026-02-19 09:05:23 +01:00
Pierre Roux
6d859f6a8a rocqPackages.mathcomp-bigenough: init at 1.0.4 2026-02-19 09:05:09 +01:00
Pierre Roux
396f67f973 rocqPackages.stdlib: 9.1.0 -> 9.2.0 2026-02-11 07:59:16 +01:00
Théo Zimmermann
b62a94ca89 Rocq platform 9.0 update (#485359) 2026-02-03 15:57:06 +00:00
Théo Zimmermann
28ced4eb9c rocqPackages.relation-algebra: init at 1.8.0 2026-02-03 13:55:05 +01:00
Théo Zimmermann
4937cffd27 Update vsrocq (#478436) 2026-02-01 11:44:37 +01:00
Pierre Roux
4a0cd38c8e rocqPackages.hierarchy-builder: 1.10.0 -> 1.10.2 2026-01-28 16:40:20 +01:00
Pierre Roux
9ad70fb60d Rocq: Update documentation 2026-01-26 13:17:25 +01:00
Théo Zimmermann
3fafa51bff coqPackages.vsrocq-language-server: init at 2.3.4 
There is no reason not to provide vsrocq-language-server through
coqPackages.

In fact, following the logic that only packages that do not depend on
Coq belong to rocqPackages, it should not even have been in
rocqPackages in the first place.
 2026-01-14 11:15:59 +01:00
Théo Zimmermann
e6b89d1849 rocqPackages.vsrocq-language-server: 2.3.3 -> 2.3.4 
Catch up with update of VS Code extension already done in #467514.
 2026-01-14 11:15:53 +01:00
Pierre Roux
a4d52834af rocqPackages.mathcomp: init at 2.5.0 2026-01-12 11:43:45 +01:00
Ihar Hrachyshka
c539fa85e3 treewide: remove remaining 'with [a-zA-Z]*lib;' from pkgs 
Partial #208242
 2026-01-06 20:47:21 -05:00
Vincent Laporte
eec6d815c9 ocamlPackages.yojson: 2.2.2 → 3.0.0 
ocamlPackages.atdgen-codec-runtime: 2.16.0 → 3.0.1
 2025-12-12 06:35:52 +01:00
Ihar Hrachyshka
567e8dfd8e treewide: clean up 'meta = with' pattern 
This commit was created by a combination of scripts and tools:
- an ast-grep script to prefix things in meta with `lib.`,
- a modified nixf-diagnose / nixf combination to remove unused `with
lib;`, and
- regular nixfmt.

Co-authored-by: Wolfgang Walther <walther@technowledgy.de>
 2025-12-10 18:09:49 +01:00
jstrattonsmith
72f6c87a40 rocqPackages.vsrocq-language-server: init at 2.3.3. 2025-11-19 14:54:09 -05:00
Mysaa Java
b313801450 ocamlPackages.elpi: 3.4.1 -> 3.4.2 2025-10-17 18:59:18 +02:00
Pierre Roux
bb1327e812 coqPackages.rocq-elpi: 3.1.0 -> 3.2.0 2025-10-09 13:39:28 +02:00
Wolfgang Walther
91a8fee3aa treewide: remove redundant parentheses 
Auto-fixed by nixf-diagnose.
 2025-10-05 10:52:03 +02:00
Vincent Laporte
66aded5389 rocqPackages.parseque: enable for Rocq 9.1 2025-09-23 11:47:20 +02:00
Pierre Roux
403640aa9e rocqPackages.rocq-elpi: 3.0.0 -> 3.1.0 2025-09-08 07:00:31 +02:00
Vincent Laporte
0dddd9b4fd ocamlPackages.elpi: 3.0.1 → 3.3.0 2025-09-03 13:05:31 +02:00
Pierre Roux
3fc72d286c ocamlPackages.elpi: 2.0.7 -> 3.0.1 2025-08-05 15:59:09 +02:00
mivorasu
ee0866bddd treewide: conform descriptions to the standards 2025-07-28 04:39:00 +00:00
Pierre Roux
151a2eced2 coqPackages: fix Rocq shim for Coq >= 9 2025-07-17 15:59:09 +02:00
Pierre Roux
6bb4f60316 coqPackages.*: 9.0 -> 9.1 2025-07-09 07:27:19 +02:00
Pierre Roux
2fcfe280b5 rocq-core_9_1: init at 9.1+rc1 2025-07-08 10:55:59 +02:00
Wolfgang Meier
f8bad94232 rocqPackages.parseque init at 0.3.0 (#420742) 
* init rocqPackages.parseque at 0.3.0

* make coqPackages.parseque a wrapper for rocqPackages.parseque
 2025-07-01 12:10:26 +02:00
Pierre Roux
19e4869241 coqPackages.*: better formatting fix 2025-06-30 10:10:31 +02:00
Pierre Roux
0ddb075c4d coqPackages.*: fix formatting 2025-06-21 17:23:27 +02:00
Pierre Roux
84667ad299 rocqPackages.hierarchy-builder: init at 1.9.1 2025-06-03 12:27:28 +02:00
Lucie
b965e4c283 rocqPackages.rocq-elpi: 2.5.1 -> 2.5.2 2025-05-16 18:34:47 +02:00
R. Ryantm
81aca8b2ef rocqPackages.rocq-elpi: 2.5.0 -> 2.5.1 2025-04-23 02:22:43 +00:00
Silvan Mosberger
374e6bcc40 treewide: Format all Nix files 
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](8616af08d9/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.
 2025-04-01 20:10:43 +02:00
Pierre Roux
92f87ee7ac rocqPackages.stdlib: 9.0+rc1 -> 9.0.0 2025-03-13 16:04:42 +01:00