nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-21 22:43:01 +00:00
Code Issues Packages Projects Releases Wiki Activity
710,997 Commits 313 Branches 124 Tags 6.9 GiB
master
Commit Graph

913 Commits

Author SHA1 Message Date
Vincent Laporte
171e081b72 coqPackages_8_20.dpdgraph: init at 1.0+8.20 2024-11-19 21:37:32 +01:00
Vincent Laporte
c459597ac0
coqPackages_8_16.coq-lsp: fix for recent findlib 2024-11-14 21:22:42 +01:00
Vincent Laporte
8530d4c332
coqPackages.serapi: fix build 
Use older version of ppx_deriving where relevant and fix to newer
version of findlib.
 2024-11-14 21:22:39 +01:00
Vincent Laporte
be92f500ca
coqPackages.coq-lsp: add missing dependency (result) 2024-11-14 21:22:30 +01:00
Chen
19d66fab29 coqPackages_8_19.autosubst-ocaml: init at 1.1 2024-11-14 06:36:11 +01:00
Vincent Laporte
7a9a124cad coqPackages.ExtLib: 0.12.1 → 0.12.2 
Rename package from `coq-ext-lib` to `ExtLib`.
 2024-11-07 14:55:06 +01:00
Pierre Roux
1be419decc coqPackages.mathcomp-analysis: rename altreals to experimental-reals 
Following
https://github.com/proux01/analysis/pull/new/experimental-reals
 2024-11-06 09:56:01 +01:00
Vincent Laporte
f9c95e2357
coqPackages.stdpp: 1.10.0 → 1.11.0 
coqPackages.iris: 4.2.0 → 4.3.0
 2024-10-31 20:48:48 +01:00
4ever2
ff20028fd4 MetaCoq sub-packages dependencies 2024-10-31 11:09:26 +01:00
4ever2
51d1fd391a Add MetaCoq-translations package 2024-10-31 11:09:26 +01:00
4ever2
2d4ee5cab7 Add MetaCoq sub-packages to coq-packages 2024-10-31 11:09:26 +01:00
Pierre Roux
46143dd712 Fix coqPackages.mathcomp-altreals dependencies 2024-10-29 16:52:43 +01:00
Pierre Roux
9f128a2fb2 coqPackages.mathcomp-reals: init at 1.7.0 
Following the package split in https://github.com/math-comp/analysis/pull/1349
 2024-10-29 08:14:10 +01:00
Vincent Laporte
fc7f8bb8e6 coqPackages.mathcomp-analysis: 1.4.0 → 1.5.0 
coqPackages.mathcomp-infotheo: 0.7.2 → 0.7.3
 2024-10-28 07:20:47 +01:00
Vincent Laporte
23ca692e36 coqPackages.relation-algebra: 1.7.9 -> 1.7.11 2024-10-24 16:41:26 +02:00
StepBroBD
6d685d6728
coqPackages.coqutil: init at {0.0.5,0.0.6} (#349174) 2024-10-17 11:08:52 +02:00
4ever2
459c32e47e coqPackages.RustExtraction: init at 0.1.0 2024-10-15 08:58:49 +02:00
Pierre Roux
0231e3b877 coqPackages.json: 0.1.3 -> 0.2.0 2024-10-14 15:20:35 +02:00
Pierre Roux
320c35c793 coqPackages.parsec: 0.1.2 -> 0.2.0 2024-10-14 14:05:09 +02:00
Pierre Roux
1932f50289 Fixing coqPackages_8_19.coq-elpi 
Was missing the elpi version
 2024-10-14 14:04:52 +02:00
Vincent Laporte
782c8b0451 coqPackages.mathcomp-analysis: 1.1.0 → 1.4.0 
coqPackages.mathcomp-infotheo: 0.7.1 → 0.7.2
 2024-10-08 20:58:47 +02:00
Ali Caglayan
dbddb79827 coqPackages.coq-lsp: 0.2.0 -> 0.2.2 
Signed-off-by: Ali Caglayan <alizter@gmail.com>

<!-- ps-id: 7e13fc8b-4522-4d16-81ca-7a3ec1a111fb -->
 2024-10-07 05:36:37 +02:00
Peder Bergebakken Sundt
1c52242827
treewide: fix desktopItems (#345778) 2024-10-05 15:51:58 +02:00
Vincent Laporte
a2f49d26d3 compcert: add support for Coq 8.20.0 2024-10-04 12:57:01 +02:00
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