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
508531 commits 276 branches 124 tags 6.1 GiB
Commit graph

696 commits

Author SHA1 Message Date
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