mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-19 04:02:10 +00:00
Code Issues Wiki Activity
552933 commits 276 branches 124 tags 6.1 GiB
Commit graph

737 commits

Author SHA1 Message Date
Artturi 4b27e14f8c
Merge pull request #265738 from Artturin/patchshebangcon 
stdenv: run patchShebangs on the configure script when it's a file
 2023-11-26 01:28:41 +02:00
Artturin 20591326aa treewide: remove unnecessary patching of configure script 
The configure phase of `stdenv` now runs `patchShebangs` on
`configureScript`.

Did not remove `patchShebangs` in packages which override `configurePhase`
 2023-11-25 18:16:12 +02:00
Vincent Laporte 606d32f357 coqPackages.ITree: 5.1.1 → 5.1.2 2023-11-17 13:59:33 +01:00
Vincent Laporte 73e2e4c0f3 coqPackages.dpdgraph: remove for Coq < 8.7 
ocamlgraph is no longer available for older versions of Coq
 2023-11-17 13:59:33 +01:00
Vincent Laporte f78667f7bd coqPackages.coqprime: 8.17 → 8.18 2023-11-17 13:59:33 +01:00
Vincent Laporte a19ba12bc0 coqPackages_8_18.dpdgraph: init at 1.0+8.18 2023-11-17 13:59:33 +01:00
Pierre Roux c2892b3fc9
coqPackages.mathcomp: 1.17.0 -> 1.18.0 (#265046) 
* coqPackages.mathcomp: 1.17.0 -> 1.18.0

* coqPackages.mathcomp-analysis: 0.6.5 -> 0.6.6
 2023-11-15 13:22:46 +01:00
Vincent Laporte e8ad54f562 coqPackages.gappalib: 1.5.3 → 1.5.4 2023-11-15 06:38:59 +01:00
Vincent Laporte e06c716ef1
coqPackages.interval: 4.8.0 → 4.9.0 (#266082) 2023-11-10 08:38:13 +01:00
ineol 6a63b4a97a
coqPackages.iris-named-props: new expression (#263100) 2023-11-10 08:37:23 +01:00
Quinn Dougherty a0eb0aa889 coqPackages.vcfloat: fix 2023-11-09 06:43:48 +01:00
Vincent Laporte 42bea51aa7 coqPackages.VST: 2.11.1 → 2.12 2023-11-01 07:07:41 +01:00
Pierre Roux 113bbeb1eb fourcolor: 1.3.0 -> 1.3.1 2023-10-31 08:17:03 +01:00
Pierre Roux fc9f61fa96 Add various mathcomp 2.1 versions 2023-10-31 08:17:03 +01:00
Théo Zimmermann 01af077865
coqPackages.coq-lsp: 0.1.7 -> 0.1.8 2023-10-26 10:13:24 +02:00
Arthur Azevedo de Amorim 0540b29909 Update pkgs/development/coq-modules/extructures/default.nix 
Co-authored-by: Vincent Laporte <vbgl@users.noreply.github.com>
 2023-10-25 18:19:16 +02:00
Arthur Azevedo de Amorim e5de9895e8 coqPackages.extructures: 0.3.1 -> 0.4.0 2023-10-25 18:19:16 +02:00
Pierre Roux c0c7836116 Add mathcomp 2.1.0 2023-10-25 17:45:56 +02:00
Vincent Laporte b845260c90 coqPackages.corn: 8.16.0 → 8.18.0 2023-10-25 07:56:54 +02:00
Vincent Laporte 99d78d2fb7 coqPackages.math-classes: 8.17.0 → 8.18.0 2023-10-25 07:56:54 +02:00
Arthur Azevedo de Amorim f4ec563c1d
coqPackages.deriving: 0.1.1 -> 0.2.0 (#258038) 
Co-authored-by: Théo Zimmermann <theo.zimmermann@telecom-paris.fr>
 2023-10-17 16:24:58 +02:00
Théo Zimmermann 4437483938
Merge pull request #258096 from quinn-dougherty/init-coqPackages-vcfloat 
coqPackages.vcfloat: init at 2.1.1
 2023-10-17 15:02:09 +02:00
Léo Stefanesco 8de5195ec4 coqPackages.stdpp: 1.8 -> 1.9, coqPackages.iris: 4.0 -> 4.1 2023-10-13 13:15:46 +02:00
Quinn Dougherty c7634cf59a coqPackages.vcfloat: init at 2.1.1 2023-09-29 23:57:07 +02:00
Vincent Laporte df33946f5e coqPackages.serapi: fix build with Coq 8.16 2023-09-26 14:10:44 +02:00
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