Pierre Roux
54f8f8a829
rocqPackages.micromega-plugin: 1.1.0 -> 1.1.1
2026-07-24 09:41:27 +02:00
Pierre Roux
1870911b32
rocqPackages.rocq-elpi: 3.4.0 -> 3.5.0
2026-07-24 08:37:01 +02:00
Pierre Roux
0de6221506
rocqPackages.mathcomp: 2.5.0 -> 2.6.0
2026-07-20 11:08:29 +02:00
Théo Zimmermann
1b950b50bd
rocqPackages.mkRocqDerivation: change prefix for rocq
...
Make the defauult prefix be set to `[ "rocq" ]` (instead of
`[ "rocq-core" ]`) if `useCoq` is `false`.
This matches the opam convention and ensures that the default
`opam-name` will be correct.
2026-07-15 21:43:39 +02:00
Cyril Cohen and Pierre Roux
cbe7fae921
rocqPackages.rocqnavi: init at 0.5.0
2026-06-27 13:33:21 +02:00
Pierre Roux
45906568b2
rocqPackages.hierarchy-builder: 1.10.2 -> 1.10.3
2026-06-25 10:08:15 +02:00
Vincent Laporte and GitHub
f8a250e19b
rocqPackages.mathcomp-analysis: now depends on real-closed ( #532543 )
2026-06-17 14:35:15 +00:00
Pierre Roux
36d1ce50a7
rocqPackages.mathcomp-analysis: now depends on real-closed
2026-06-17 13:23:46 +02:00
Pierre Roux
499d913a1a
rocqPackage.mathcomp-real-closed: init at 2.0.5
2026-06-17 11:01:36 +02:00
Wolfgang Meier
c8d505b86e
rocqPackages.parseque: release v0.3.1
2026-06-17 10:42:09 +02:00
Vincent Laporte
e45516ba3b
rocqPackages.micromega-plugin: fix hash
2026-06-10 07:55:22 +02:00
Reynald Affeldt
a61e394343
rocqPackages.mathcomp-experimental-reals: update dependencies
2026-06-08 17:33:42 +09:00
Théo Zimmermann and GitHub
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 and GitHub
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 and GitHub
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 and GitHub
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 and Wolfgang Walther
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 and Vincent Laporte
403640aa9e
rocqPackages.rocq-elpi: 3.0.0 -> 3.1.0
2025-09-08 07:00:31 +02:00
Vincent Laporte and Vincent Laporte
0dddd9b4fd
ocamlPackages.elpi: 3.0.1 → 3.3.0
2025-09-03 13:05:31 +02:00
Pierre Roux and Vincent Laporte
3fc72d286c
ocamlPackages.elpi: 2.0.7 -> 3.0.1
2025-08-05 15:59:09 +02:00
Pierre Roux