dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity
624,433 Commits 3 Branches 0 Tags 4.3 GiB
b6e785bfad
Commit Graph

812 Commits

Author SHA1 Message Date
Vincent Laporte
7c33c8d452 coqPackages.itauto: enable for Coq 8.18 2023-09-21 11:02:55 +02:00
Vincent Laporte
0de60535c9 coqPackages.flocq: 4.1.1 → 4.1.3 2023-09-21 11:02:55 +02:00
Weijia Wang
85fd874639 compcert: add aarch64 support 2023-09-19 13:30:30 +02:00
Ali Caglayan
6b614db040 coqPackages.coq-lsp: 0.1.7+8.17 -> 0.1.7+8.18 
Signed-off-by: Ali Caglayan <alizter@gmail.com>
 2023-09-15 16:17:16 +02:00
Ali Caglayan
9d696c09f9 coqPackages.serapi: 8.17.0+0.17 -> 8.18.0+0.18 
Signed-off-by: Ali Caglayan <alizter@gmail.com>
 2023-09-15 16:17:16 +02:00
Pierre Roux
ae24e3e528 Add a few packages for Coq 8.18 and MathComp 2.0 2023-09-04 10:02:59 +02:00
Vincent Laporte
02643fe422 coq_8_18: init at 8.18+rc1 2023-09-04 10:02:59 +02:00
Pierre Roux
7e87f6c593 topology: 9.0.0 -> 10.2.0 2023-09-04 10:02:59 +02:00
Pierre Roux
946120336e ocamlPackages.elpi: 1.16.5 → 1.17.0 2023-09-01 10:02:18 +02:00
Dimitrije Radojević
9b4d043ba2
ocamlPackages.janestreet: 0.15 -> 0.16 (#247022) 2023-08-31 07:46:20 +02:00
Vincent Laporte
e8083f3021 coqPackages.coq-elpi: 1.17.0 → 1.18.0 2023-08-29 06:47:28 +02:00
Vincent Laporte
2ae7493cb6 coqPackages.hierarchy-builder: 1.4.0 → 1.5.0 2023-08-28 07:36:16 +02:00
Jan Malakhovski
5852f26bdc treewide: noop: refer to src.name or similar in sourceRoot where appropriate, part 1: trivial cases 2023-08-03 16:32:03 +00:00
Vincent Laporte
84821b9769 coqPackages.paco: 4.1.2 → 4.2.0 2023-08-03 04:30:34 +02:00
Steven Keuchel
2796baace8 coqPackages_8_17.iris: init at 4.0.0 2023-08-02 22:17:26 +02:00
Vincent Laporte
5890239093
coqPackages.coquelicot: 3.3.1 → 3.4.0 2023-07-28 08:39:50 +02:00
Vincent Laporte
16d5bc3418
coqPackages.interval: 4.7.0 → 4.8.0 2023-07-28 08:26:05 +02:00
Théo Zimmermann
4a5e022304 coqPackages.trakt: fix documented license 2023-07-27 08:37:02 +02:00
Théo Zimmermann
53ef5765ad coqPackages.trakt: add recent versions 2023-07-27 08:37:02 +02:00
Vincent Laporte
d54c57e93c coqPackages.coq-ext-lib: 0.11.7 → 0.11.8 2023-07-27 05:24:26 +02:00
Vincent Laporte
72c7597d20
coqPackages.parsec: 0.1.1 → 0.1.2 2023-07-25 04:36:39 +02:00
Vincent Laporte
335de7152a
coqPackages.ceres: 0.4.0 → 0.4.1 2023-07-25 04:36:39 +02:00
Vincent Laporte
055d78335d coqPackages.bignums: 8.17.0 → 9.0.0+coq8.17 2023-07-25 03:45:12 +02:00
Léo Stefanesco
00d2abe875 coqPackages.coq-lsp: 0.1.6.1 -> 0.1.7 2023-07-21 13:28:51 +02:00
Vincent Laporte
84637a672b coqPackages.compcert: enable for Coq 8.17 2023-07-17 07:47:50 +02:00
Vincent Laporte
5c514d49ca coqPackages.compcert: 3.12 → 3.13 2023-07-17 07:47:50 +02:00
Léo Stefanesco
526df2136c coqPackages.autosubst: 1.7 -> 1.8 2023-07-13 13:36:20 +02:00
Felix Buehler
bec27fabee treewide: use lib.optional instead of 'then []' 2023-07-12 09:36:28 +01:00
Vincent Laporte
3a512ee975 coqPackages.ITree: 5.1.0 → 5.1.1 2023-07-11 23:39:52 +02:00
Nick Cao
91d5bd5869
Merge pull request #241221 from vbgl/coq-CoLoR-1.8.4 
coqPackages.CoLoR: 1.8.3 → 1.8.4
 2023-07-04 10:31:40 +08:00
Vincent Laporte
4acdff5e91
coqPackages.interval: 4.6.1 → 4.7.0 2023-07-03 10:15:56 +02:00
Vincent Laporte
097299ac4f
coqPackages.CoLoR: 1.8.3 → 1.8.4 2023-07-03 07:46:25 +02:00
Felix Buehler
6672dde558 treewide: use optionalAttrs instead of 'else {}' 2023-06-25 11:01:34 -03:00
Reynald Affeldt
b2f53e3726 mathcomp-infotheo: 0.5.1 -> 0.5.2 2023-06-20 21:18:53 +02:00
Cyril Cohen
d22a44e57a hb dep is added later, after we check the version number 2023-06-20 13:41:07 +02:00
Vincent Laporte
30ee65ee2f coqPackages.reglang: 1.1.2 → 1.1.3 2023-06-15 10:11:09 +02:00
Vincent Laporte
cc2fb2c1e4 coqPackages.itauto: init at 8.17.0 for Coq 8.17 
Propagate `findlib` when needed
Add tests
 2023-06-15 06:16:26 +02:00
Pol Dellaiera
7907dd9d6b
Merge pull request #235924 from Stunkymonkey/remove-then-{} 
treewide: use lib.optionalAttrs instead of 'then {}'
 2023-06-13 20:14:58 +02:00
Vincent Laporte
30620750e8 coqPackages.Verdi: 20211026 → 20230503 2023-06-12 08:59:51 +02:00
Vincent Laporte
e59d94ef4c coqPackages.Cheerios: 20200201 → 20230107 2023-06-12 08:59:51 +02:00
Vincent Laporte
00144a9175 coqPackages.StructTact: 20210328 → 20230107 2023-06-12 08:59:51 +02:00
Vincent Laporte
bd28a38ebf coqPackages.InfSeqExt: 20200131 → 20230107 2023-06-12 08:59:51 +02:00
Nick Cao
bbe8c82b4c
Merge pull request #236417 from vbgl/coq-gappalib-1.5.3 
coqPackages.gappalib: 1.5.2 → 1.5.3
 2023-06-08 03:13:21 -06:00
Vincent Laporte
f09cd3b7de coqPackages.QuickChick: 1.6.4 → 1.6.5 2023-06-08 08:55:44 +02:00
Vincent Laporte
fba73283c1 coqPackages.simple-io: 1.7.0 → 1.8.0 2023-06-08 08:55:44 +02:00
Vincent Laporte
ffd47a047d coqPackages.relation-algebra: init at 1.7.9 for Coq 8.17 2023-06-07 11:51:39 +02:00
Vincent Laporte
00cc322065
coqPackages.gappalib: 1.5.2 → 1.5.3 2023-06-07 10:35:09 +02:00
Felix Buehler
ed3b102d1e treewide: use use lib.optionalAttrs instead of 'then {}' 2023-06-06 22:54:31 +02:00
Vincent Laporte
04c41a12cf coqPackages.mathcomp-word: 2.0 → 2.1 2023-06-06 10:28:20 +02:00
Vincent Laporte
8d4d822bc0 coqPackages.extructures: enable for Coq 8.17 2023-06-01 05:57:58 +02:00
Vincent Laporte
cba7a1095d coqPackages.deriving: 0.1.0 → 0.1.1 2023-06-01 05:57:58 +02:00
Vincent Laporte
4a6b131836 coqPackages.corn: enable for Coq 8.17 2023-05-31 11:46:24 +02:00
Vincent Laporte
810f901a4e coqPackages.math-classes: 8.15.0 → 8.17.0 2023-05-31 11:46:24 +02:00
Vincent Laporte
217bf86dc0 coqPackages.aac-tactics: init at 8.17.0 2023-05-24 10:18:43 +02:00
Vincent Laporte
499cad7a72
Merge pull request #230891 from proux01/update-mathcomp-1.17.0 
Mathcomp 1.16.0 -> 1.17.0
 2023-05-23 17:52:15 +02:00
Vincent Laporte
bec9f57aa5 coqPackages.CoLoR: 1.8.2 → 1.8.3 2023-05-23 12:29:31 +02:00
Vincent Laporte
a68600dc25
coqPackages.coqprime: 8.15 → 8.17 2023-05-22 08:42:07 +02:00
Vincent Laporte
47c722bd77 coqPackages_8_17.dpdgraph: init at 1.0+8.17 2023-05-22 06:40:31 +02:00
Pierre Roux
ed1f52d4c2 Mathcomp 1.16.0 -> 1.17.0 2023-05-17 16:26:09 +02:00
Pierre Roux
52c9e5c8f9 coqPackages.coqeal: 1.1.1 -> 1.1.3 2023-05-17 16:24:06 +02:00
Pierre Roux
7a3bc4f18f coqPackages.multinomials: 1.5.6 -> 1.6.0 2023-05-17 16:24:06 +02:00
Pierre Roux
e5264e45b7 coqPackages.coquelicot: 3.3.0 -> 3.3.1 2023-05-17 16:24:06 +02:00
Pierre Roux
a0ca431141 Add coqPackages.mathcomp 2.0.0 2023-05-15 11:26:42 +02:00
affeldt-aist
8a92dd9a9a
mathcomp-infotheo: init at 0.5.1 (#231077) 2023-05-11 23:09:28 +02:00
Vincent Laporte
0697e32ae1
coqPackages_8_17: enable a few packages for Coq 8.17 2023-04-13 14:23:14 +02:00
Pierre Roux
6302147d48 coqPackages.mathcomp-algebra-tactics 1.0.0 -> 1.1.1 2023-04-13 14:21:59 +02:00
Ali Caglayan
6462ef85d8 coqPackages.coq-lsp: 0.1.6.1 for Coq 8.17 
Signed-off-by: Ali Caglayan <alizter@gmail.com>
 2023-04-04 13:23:51 +02:00
Ali Caglayan
21131995d9 coqPackages.serapi: 8.16.0+0.16.3 -> 8.17.0+0.17.0 
Signed-off-by: Ali Caglayan <alizter@gmail.com>
 2023-04-04 13:23:51 +02:00
Ali Caglayan
463643afa8 coqPackages.HoTT: 8.16 -> 8.17 
We bump the HoTT library to 8.17 and switch to using Dune for the
build.

I attempted to include the 8.10 - 8.13 builds but I couldn't get
autoconf to work the way I wanted so I gave up in the end.

Signed-off-by: Ali Caglayan <alizter@gmail.com>
 2023-03-30 20:05:15 +02:00
Pierre Roux
25c631cc0e Add coqPackages.mathcomp-apery 2023-03-30 13:55:40 +02:00
Cyril Cohen
a601e65967 coqPackages_8_17.stdpp: init at 1.8.0 2023-03-27 16:56:32 +02:00
Vincent Laporte
9d8a066fd4 coqPackages.ITree: 4.0.0 → 5.1.0 2023-03-15 09:14:01 +01:00
Vincent Laporte
265f0cae75 coqPackages.paco: enable for Coq 8.17 2023-03-15 09:14:01 +01:00
Vincent Laporte
73bc86dc9c coqPackages.coq-ext-lib: enable for Coq 8.17 2023-03-15 09:14:01 +01:00
Pierre Roux
2959062362 coqPackages: various 8.16 -> 8.17 2023-03-09 13:13:00 +01:00
Vincent Laporte
d8cc4e215d coqPackages.mathcomp-analysis: 0.6.0 → 0.6.1 2023-03-03 21:17:02 +00:00
Vincent Laporte
c81f6065c5 coqPackages.mathcomp-analysis: 0.5.3 → 0.6.0 2023-03-03 21:17:02 +00:00
Vincent Laporte
1662bbb5fb coqPackages.smtcoq.cvc4: fix build with bash 5.2 
See: 4d85cedf5a
 2023-03-01 10:02:09 +00:00
Vincent Laporte
82d2212d29 compcert: 3.11 → 3.12 2023-03-01 09:45:31 +00:00
Vincent Laporte
0cad0fd119 coqPackages.coq-elpi: propagate findlib 2023-02-28 10:59:42 +00:00
Vincent Laporte
a18a7e5ff8 coqPackages.coqhammer: fix src URL 2023-02-28 10:59:42 +00:00
Mario Rodas
ca97b34a97 coqPackages_8_16.coq-lsp: init at 0.1.6.1+8.16 2023-02-21 04:20:00 +00:00
Mario Rodas
46f9a706c9 coqPackages_8_16.serapi: 8.16.0+0.16.0 -> 8.16.0+0.16.3 2023-02-21 04:20:00 +00:00
Ulrik Strid
376e9ceead treewide: add strictDeps = true to most packages depending on ocaml 2023-02-03 08:59:34 +01:00
Nick Cao
37878b459d
Merge pull request #213855 from vbgl/coq-coquelicot-3.3 
coqPackages.coquelicot: 3.2.0 → 3.3.0
 2023-02-03 10:49:30 +08:00
Vincent Laporte
4664292ca1 coqPackages_8_17.paramcoq: init at 1.1.3+coq8.17 2023-02-02 08:12:32 +01:00
Vincent Laporte
5aa7222940 coqPackages_8_17.equations: init at 1.3+8.17 2023-02-01 07:41:17 +01:00
Vincent Laporte
d8fbdbc0c4
coqPackages.coquelicot: 3.2.0 → 3.3.0 2023-01-31 21:25:44 +01:00
Weijia Wang
8ff706bad2
Merge pull request #212009 from Shawn8901/remove_with_lib_2 
treewide: remove global with lib; statements in pkgs/coq-modules
 2023-01-24 01:39:55 +01:00
Weijia Wang
218c4c526e
Merge pull request #212002 from mothsART/feature/replace_http_by_https 
treewide: replace http by https when https is a permanent redirection
 2023-01-22 03:26:02 +01:00
Ferry Jérémie
65d7e87fdb treewide: replace http by https when https is a permanent redirection 2023-01-22 02:46:49 +01:00
Shawn8901
4dcb03a5c3 treewide: remove global with lib; statements in pkgs/coq-modules 2023-01-21 23:19:48 +01:00
Guillaume Girol
33afbf39f6 treewide: switch to nativeCheckInputs 
checkInputs used to be added to nativeBuildInputs. Now we have
nativeCheckInputs to do that instead. Doing this treewide change allows
to keep hashes identical to before the introduction of
nativeCheckInputs.
 2023-01-21 12:00:00 +00:00
Vincent Laporte
290df59e84 coqPackages_8_13.smtcoq: fix build by using older make 2023-01-11 08:43:14 +01:00
Vincent Laporte
670a782340 coqPackages_8_13.smtcoq.cvc4: fix build by using older make 2023-01-11 08:43:14 +01:00
Pierre Roux
cc1d830b2a
coq_8_17: init at 8.17+rc1 (#209145) 2023-01-06 15:51:50 +01:00
Théo Zimmermann
d76cdd7b8b
coqPackages.Verdi: preemptive fix for removal of configure in future versions 2022-12-24 17:19:51 +01:00
Théo Zimmermann
365f7f342f
coqPackages.StructTact: preemptive fix for removal of configure in future versions 2022-12-24 17:19:46 +01:00
Théo Zimmermann
6bd604b37c
coqPackages.InfSeqExt: preemptive fix for removal of configure in future versions 2022-12-24 17:19:25 +01:00
Théo Zimmermann
f061c452a6
coqPackages.Cheerios: preemptive fix for removal of configure in future versions 2022-12-24 17:19:04 +01:00
Vincent Laporte
13e0b430e8 coqPackages.VST: 2.10 → 2.11.1 2022-12-22 07:34:58 +01:00
Vincent Laporte
da52ce18b6 coqPackages.VST: add support for Coq 8.16.1 2022-12-05 09:22:59 +01:00
Vincent Laporte
3eb6874bda compcert: add support for Coq 8.16.1 2022-12-05 09:22:59 +01:00
Cyril Cohen
7e5e6625e2 Update HoTT and drop archaic 8.6 specific install 2022-11-29 12:57:11 +01:00
Cyril Cohen
e31777a12c coqPackages.mathcomp-algebra-tactics: init at 1.0.0 2022-11-24 20:41:35 +01:00
Vincent Laporte
6921841682 coqPackages.interval: 4.5.2 → 4.6.0 2022-11-13 15:08:46 +01:00
Martin Weinelt
c728598b84 Merge remote-tracking branch 'origin/staging-next' into staging 2022-10-13 23:29:04 +02:00
Vincent Laporte
5b8ac1bbdc coqPackages.relation-algebra: init at 1.7.8 for Coq 8.16 2022-10-13 21:53:46 +02:00
Vladimír Čunát
00a757ed3f
Merge branch 'master' into staging 2022-10-13 08:27:55 +02:00
Artturi
e66d2fd89d
Merge pull request #194256 from Artturin/treewides2 2022-10-13 00:08:01 +03:00
Vincent Laporte
d451ea73dc coqPackages.coq-elpi: disable OCaml warnings 2022-10-12 20:38:44 +02:00
Pierre Roux
c8aa298134 Adding mathcomp-analysis single 2022-10-11 11:46:46 +02:00
Vincent Laporte
4912687343 coqPackages.VST: enable for Coq 8.16 2022-10-11 07:49:52 +02:00
Vincent Laporte
a861c34a3e coqPackages.compcert: enable for Coq 8.16 2022-10-11 07:49:52 +02:00
Artturin
f4ea1208ec treewide: *Flags convert to list from str 
*Flags implies a list

slightly relevant:
> stdenv: start deprecating non-list configureFlags https://github.com/NixOS/nixpkgs/pull/173172

the makeInstalledTests function in `nixos/tests/installed-tests/default.nix` isn't available outside of nixpkgs so
it's not a breaking change
 2022-10-10 15:30:59 +03:00
Vincent Laporte
f45bd811fc coqPackages.simple-io: fix & add tests 2022-10-07 07:54:31 +02:00
John Wiegley
a3d3f80c5a
Merge pull request #194539 from vbgl/coq-category-theory-1.0.0 2022-10-05 11:11:03 -04:00
Vincent Laporte
a2c917865f coqPackages.mathcomp-word: 1.1 → 2.0 2022-10-05 13:38:03 +02:00
Vincent Laporte
4076104a38
coqPackages.category-theory: 20211213 → 1.0.0 2022-10-05 06:44:37 +02:00
Théo Zimmermann
2dc3552aa1 coqPackages.mkCoqDerivation: upgrade to Dune 3 
And remove the version number from the corresponding attributes.
 2022-10-02 14:42:28 +02:00
Cyril Cohen
9ff8c7fd8c coqPackages.hierarchy-builder: 1.3.0 -> 1.4.0 2022-09-29 14:46:20 +02:00
Vincent Laporte
ff346a442d
Merge pull request #192437 from kyoDralliam/metacoq-fix-dev 
fix metacoq builds for coq >= 8.16 in dev mode, adds 1.1 release for coq 8.16
 2022-09-27 13:39:10 +02:00
Kenji Maillard
fb3c48614f Add metacoq 1.1 release 2022-09-27 11:08:04 +02:00
Pierre Roux
4610844682 Split coqPackages.mathcomp-analysis 
In preparation of https://github.com/math-comp/analysis/pull/600
 2022-09-26 09:46:37 +02:00
Vincent Laporte
60f34d3919 coqPackages.serapi: init at 8.16.0+0.16.0 for Coq 8.16 2022-09-25 18:17:15 +02:00
Kenji Maillard
0ba507689d fix dev metacoq builds for coq >= 8.16 2022-09-22 16:00:43 +02:00
Matthieu Sozeau
3604bfdf5b Support dev version of equations 2022-09-22 14:14:06 +02:00
Vincent Laporte
c5bfd9b4d1 coqPackages.QuickChick: 1.6.2 → 1.6.4 2022-09-20 04:26:37 +02:00
Vincent Laporte
e2abc215de coqPackages.corn: 8.13.0 → 8.16.0 2022-09-19 13:05:52 +02:00
Vincent Laporte
8f87e38995 coqPackages.interval: 4.5.1 → 4.5.2 2022-09-18 16:12:19 +02:00
Théo Zimmermann
5d1ddac949
Merge pull request #183106 from kyoDralliam/metacoq-1.0-8.16 
Add the release 1.0 of metacoq for coq 8.16
 2022-09-14 18:32:15 +02:00
Vincent Laporte
3a1bec8917
coqPackages.gappalib: 1.5.1 → 1.5.2 2022-09-10 14:29:01 +02:00
Vincent Laporte
9c0b43603a
coqPackages.Verdi: enable for Coq 8.16 2022-09-08 18:07:09 +02:00
Vincent Laporte
0b1099dc6d
coqPackages.aac-tactics: init at 8.16.0 2022-09-08 18:07:02 +02:00
Vincent Laporte
726422b4fe
coqPackages.addition-chains: enable for Coq 8.16 2022-09-08 18:07:00 +02:00
Vincent Laporte
18aa936e06
coqPackages.autosubst: enable for Coq 8.16 2022-09-08 18:06:57 +02:00
Vincent Laporte
0f25d8a02d
coqPackages.coq-bits: enable for Coq 8.16 2022-09-08 18:06:55 +02:00
Vincent Laporte
6791c185dd
coqPackages.coqeal: enable for Coq 8.16 2022-09-08 18:06:52 +02:00
Vincent Laporte
e8598c7982
coqPackages.extructures: enable for Coq 8.16 2022-09-08 18:06:47 +02:00
Vincent Laporte
0e6ea7d975
coqPackages.deriving: enable for Coq 8.16 2022-09-08 18:06:44 +02:00
Vincent Laporte
bdc09cc2e1
coqPackages.gaia-hydras: enable for Coq 8.16 2022-09-08 18:06:41 +02:00
Vincent Laporte
ac447c9772
coqPackages.goedel: enable for Coq 8.16 2022-09-08 18:06:37 +02:00
Vincent Laporte
9ad12d1d8c
coqPackages.graph-theory: enable for Coq 8.16 2022-09-08 18:06:35 +02:00
Vincent Laporte
1b0eaf4d3a
coqPackages.itauto: init at 8.16.0 2022-09-08 18:06:32 +02:00
Vincent Laporte
d8318a75d5
coqPackages.coquelicot: enable for Coq 8.16 2022-09-08 18:06:29 +02:00
Vincent Laporte
215ba1b3d3
coqPackages.mathcomp-tarjan: enable for Coq 8.16 2022-09-08 18:06:26 +02:00
Vincent Laporte
2611f23722
coqPackages.mathcomp-word: enable for Coq 8.16 2022-09-08 18:06:24 +02:00
Vincent Laporte
4bdd2be574
coqPackages.mathcomp-zify: enable for Coq 8.16 2022-09-08 18:06:21 +02:00
Vincent Laporte
3359e6ba27
coqPackages.reglang: enable for Coq 8.16 2022-09-08 18:06:18 +02:00
Vincent Laporte
557f5ee714
coqPackages.trakt: enable for Coq 8.16 2022-09-08 18:05:52 +02:00