h7x4
e6fc9d1fcf
coqPackages.coqide: fix desktopItems
2024-10-01 23:08:21 +02:00
Ali Caglayan
ef593972ff
coqPackages.HoTT: 8.19 -> 8.20
...
Signed-off-by: Ali Caglayan <alizter@gmail.com>
<!-- ps-id: 92474861-7551-4ab8-a321-d0de1738c5e8 -->
2024-09-30 21:01:31 +02:00
Vincent Laporte
79d3272c53
coqPackages.QuickChick: 2.0.2 → 2.0.4
2024-09-23 12:57:00 +02:00
Vincent Laporte
c02bc17349
coqPackages.simple-io: 1.8.0 → 1.10.0
2024-09-23 12:57:00 +02:00
jthulhu
ab606452c4
coq.autosubst: 1.8 -> 1.9
2024-09-20 11:49:34 +02:00
jthulhu
56501da6c7
coq.autosubst: refactor
...
Rather than explicitely naming each revision, since they all use the same naming scheme, we
encode that scheme directly using `releaseRev`.
2024-09-20 11:49:34 +02:00
Élise
7026cdf28c
coqPackages.vscoq-language-server: 2.1.4 → 2.1.7
...
Updates vscoq from 2.1.4 to 2.1.7. This does not introduce a new Coq
version range.
2024-09-18 17:25:13 +02:00
Pierre Roux
71b1f2d98d
coqPackages.mtac2: init at 1.4-coq8.19
2024-09-16 09:58:24 +02:00
Enrico Tassi
bbf4cf5e77
coqPackages.hierarchy-builder: do not pass VFILES if version >= 1.1.0 ( #341171 )
...
Co-authored-by: Pierre Roux <pierre.roux@onera.fr>
2024-09-12 21:09:04 +02:00
4ever2
0e6a2434a5
coqPackages.ssprove: 0.2.0 → 0.2.1
2024-09-11 13:20:18 +02:00
Vincent Laporte
159be5db48
coqPackages_8_20.serapi: init at 8.20.0+0.20.0
2024-09-11 10:20:13 +02:00
Vincent Laporte
4b2a32a53c
coqPackages.coq-lsp: enable for Coq 8.20
2024-09-11 10:20:13 +02:00
Vincent Laporte
0fabf4f091
coqPackages_8_20.itauto: init at 8.20.0
2024-09-11 10:20:13 +02:00
Vincent Laporte
0491865b51
coqPackages.gappalib: enable for Coq 8.20
2024-09-11 10:20:13 +02:00
4ever2
d2df1fd941
coqPackages.metacoq: update for coq 8.20
2024-09-11 06:35:25 +02:00
4ever2
0d319ecd53
coqPackages.ElmExtraction: init at 0.1.0 ( #326305 )
2024-09-11 05:51:15 +02:00
Adam C. Stephens
4da6237c1f
coqPackages.ITree: 5.1.2 -> 5.2.0 ( #334897 )
2024-09-02 20:49:38 -04:00
Ali Caglayan
4f57a97ab5
coq-lsp: 0.1.9 -> 0.2.0
...
Signed-off-by: Ali Caglayan <alizter@gmail.com>
<!-- ps-id: 63570aa2-90ab-47b4-8d64-c735422c6d36 -->
2024-09-02 14:53:18 +02:00
Pierre Roux
8ffc337b21
coqPackages.rewriter: init at 0.0.11
2024-08-28 14:39:54 +02:00
Pierre Roux
11985737dc
coqPackages.waterproof: init at 2.1.1+8.18
2024-08-27 16:00:55 +02:00
Pierre Roux
1a638589b3
coqPackages.bbv: init at 1.5
2024-08-27 11:47:40 +02:00
Pierre Roux
d5fd8a7c67
coqPackages.http: init at 0.2.1
2024-08-26 12:02:42 +02:00
Pierre Roux
67aab88f9d
coqPackages.async-test: init at 0.1.0
2024-08-26 12:02:42 +02:00
Pierre Roux
03bfa3c1a4
coqPackages.json: init at 0.1.3
2024-08-26 12:02:42 +02:00
Pierre Roux
695b7ae933
coqPackages.itree-io: init at 0.1.1
2024-08-26 12:02:42 +02:00
Pierre Roux
43aaea3618
coqPackages.atbr: init at 8.20.0
2024-08-22 10:36:04 +02:00
damhiya
b3a97d4e1f
coqPackages.compcert: use external MenhirLib
2024-08-20 14:58:36 +02:00
damhiya
5a3fe0fa46
coqPackages.MenhirLib: init at 20240715
2024-08-20 14:58:36 +02:00
h7x4
574f430583
Merge pull request #331530 from proux01/mc2-default
...
coqPackages.mathcomp: 1 -> 2
2024-08-20 08:10:55 +02:00
Philip Taron
1dbcead1d7
coqPackages.serapi: remove with statements
2024-08-18 06:31:15 -07:00
Philip Taron
4b1852399b
coqPackages_8_10.mathcomp-abel: remove with statements
2024-08-18 06:31:15 -07:00
Philip Taron
58fe1a068f
coqPackages.QuickChick: remove with statements
2024-08-18 06:31:15 -07:00
damhiya
be244015d3
coqPackages.ITree: 5.1.2 -> 5.2.0
2024-08-16 00:52:08 +09:00
damhiya
c2db29dcad
coqPackages.ITree: add 3.2.0 hash
2024-08-16 00:51:49 +09:00
Vincent Laporte
5ef32027f2
coqPackages.interval: 4.10.0 → 4.11.0
2024-08-14 10:36:09 +02:00
Pierre Roux
9134617536
coqPackages.coinduction: init at 1.9
2024-08-07 15:44:13 +02:00
Pierre Roux
a69fe54c49
coqPackages.stalmarck: init at 8.20.0
2024-08-07 12:15:20 +02:00
Sigmanificient
63d05d989e
pkgs/development: remove unused arguments
2024-08-03 17:18:20 +02:00
Pierre Roux
a06a5415bb
coqPackages.mathcomp: 1 -> 2
2024-08-01 17:13:09 +02:00
Pierre Roux
50ee8e365b
coqPackages.gaia: 1.17 -> 2.2
2024-08-01 17:13:09 +02:00
Vincent Laporte
cca3d59564
coqPackages.coquelicot: 3.4.1 → 3.4.2
2024-08-01 12:02:51 +02:00
Pierre Roux
909d51327c
reglang 1.2.1 compiles with Coq 8.20
2024-08-01 10:11:13 +02:00
Vincent Laporte
f8932c7925
coqPackages.flocq: 4.1.4 → 4.2.0
2024-08-01 07:10:30 +02:00
Vincent Laporte
ee96b8a3cf
Merge pull request #329695 from definfo/coq-high-school-geometry-8.16
...
coqPackages.high-school-geometry: init at 8.16
2024-07-31 09:52:37 +02:00
Vincent Laporte
3d84f9b40e
coqPackages.metacoq: 1.3.1 → 1.3.2
2024-07-31 07:05:29 +02:00
Aleksana
577a9c43f3
Merge pull request #330042 from Sigmanificient/remove-leading-space-description
...
treewide: remove trailing space in description
2024-07-26 23:48:02 +08:00
Sigmanificient
6dd44107ac
treewide: remove unused lib (and other) arguments
2024-07-26 11:18:09 +02:00
Sigmanificient
543cd40ecc
treewide: remove trailing space in description
...
Done using `grep -rP 'description\s+=\s+"[^"]+[ ]";' | cut -d ':' -f 1 |
xargs -i nvim {}` and sorting the opened files by hand, avoiding
generated packages list
2024-07-26 03:38:50 +02:00
definfo
b1d0e56bc4
coqPackages.high-school-geometry: init at 8.16
2024-07-24 23:57:23 +08:00
Pierre Roux
13fb2ec229
Warn about deprecated coqhammer
2024-07-23 13:40:16 +02:00
