Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2023-10-26 | coqPackages.coq-lsp: 0.1.7 -> 0.1.8 | Théo Zimmermann | 1 | -6/+6 | |
2023-10-25 | Update pkgs/development/coq-modules/extructures/default.nix | Arthur Azevedo de Amorim | 1 | -1/+1 | |
Co-authored-by: Vincent Laporte <vbgl@users.noreply.github.com> | |||||
2023-10-25 | coqPackages.extructures: 0.3.1 -> 0.4.0 | Arthur Azevedo de Amorim | 1 | -0/+2 | |
2023-10-25 | Add mathcomp 2.1.0 | Pierre Roux | 1 | -0/+2 | |
2023-10-25 | coqPackages.corn: 8.16.0 → 8.18.0 | Vincent Laporte | 1 | -0/+2 | |
2023-10-25 | coqPackages.math-classes: 8.17.0 → 8.18.0 | Vincent Laporte | 1 | -0/+2 | |
2023-10-17 | coqPackages.deriving: 0.1.1 -> 0.2.0 (#258038) | Arthur Azevedo de Amorim | 1 | -2/+4 | |
Co-authored-by: Théo Zimmermann <theo.zimmermann@telecom-paris.fr> | |||||
2023-10-17 | Merge pull request #258096 from quinn-dougherty/init-coqPackages-vcfloat | Théo Zimmermann | 1 | -0/+20 | |
coqPackages.vcfloat: init at 2.1.1 | |||||
2023-10-13 | coqPackages.stdpp: 1.8 -> 1.9, coqPackages.iris: 4.0 -> 4.1 | Léo Stefanesco | 2 | -2/+6 | |
2023-09-29 | coqPackages.vcfloat: init at 2.1.1 | Quinn Dougherty | 1 | -0/+20 | |
2023-09-26 | coqPackages.serapi: fix build with Coq 8.16 | Vincent Laporte | 1 | -1/+1 | |
2023-09-21 | coqPackages.itauto: enable for Coq 8.18 | Vincent Laporte | 1 | -0/+5 | |
2023-09-21 | coqPackages.flocq: 4.1.1 → 4.1.3 | Vincent Laporte | 1 | -0/+2 | |
2023-09-19 | compcert: add aarch64 support | Weijia Wang | 1 | -3/+16 | |
2023-09-15 | coqPackages.coq-lsp: 0.1.7+8.17 -> 0.1.7+8.18 | Ali Caglayan | 1 | -0/+2 | |
Signed-off-by: Ali Caglayan <alizter@gmail.com> | |||||
2023-09-15 | coqPackages.serapi: 8.17.0+0.17 -> 8.18.0+0.18 | Ali Caglayan | 1 | -0/+2 | |
Signed-off-by: Ali Caglayan <alizter@gmail.com> | |||||
2023-09-04 | Add a few packages for Coq 8.18 and MathComp 2.0 | Pierre Roux | 6 | -12/+24 | |
2023-09-04 | coq_8_18: init at 8.18+rc1 | Vincent Laporte | 34 | -32/+43 | |
2023-09-04 | topology: 9.0.0 -> 10.2.0 | Pierre Roux | 2 | -0/+5 | |
2023-09-01 | ocamlPackages.elpi: 1.16.5 → 1.17.0 | Pierre Roux | 1 | -2/+2 | |
2023-08-31 | ocamlPackages.janestreet: 0.15 -> 0.16 (#247022) | Dimitrije Radojević | 2 | -0/+21 | |
2023-08-29 | coqPackages.coq-elpi: 1.17.0 → 1.18.0 | Vincent Laporte | 1 | -1/+2 | |
2023-08-28 | coqPackages.hierarchy-builder: 1.4.0 → 1.5.0 | Vincent Laporte | 1 | -0/+2 | |
2023-08-03 | treewide: noop: refer to `src.name` or similar in `sourceRoot` where ↵ | Jan Malakhovski | 1 | -4/+4 | |
appropriate, part 1: trivial cases | |||||
2023-08-03 | coqPackages.paco: 4.1.2 → 4.2.0 | Vincent Laporte | 1 | -0/+2 | |
2023-08-02 | coqPackages_8_17.iris: init at 4.0.0 | Steven Keuchel | 1 | -1/+1 | |
2023-07-28 | coqPackages.coquelicot: 3.3.1 → 3.4.0 | Vincent Laporte | 1 | -1/+2 | |
2023-07-28 | coqPackages.interval: 4.7.0 → 4.8.0 | Vincent Laporte | 1 | -1/+2 | |
2023-07-27 | coqPackages.trakt: fix documented license | Théo Zimmermann | 1 | -1/+1 | |
2023-07-27 | coqPackages.trakt: add recent versions | Théo Zimmermann | 1 | -2/+6 | |
2023-07-27 | coqPackages.coq-ext-lib: 0.11.7 → 0.11.8 | Vincent Laporte | 1 | -1/+2 | |
2023-07-25 | coqPackages.parsec: 0.1.1 → 0.1.2 | Vincent Laporte | 1 | -0/+2 | |
2023-07-25 | coqPackages.ceres: 0.4.0 → 0.4.1 | Vincent Laporte | 1 | -1/+7 | |
2023-07-25 | coqPackages.bignums: 8.17.0 → 9.0.0+coq8.17 | Vincent Laporte | 1 | -4/+10 | |
2023-07-21 | coqPackages.coq-lsp: 0.1.6.1 -> 0.1.7 | Léo Stefanesco | 1 | -4/+4 | |
2023-07-17 | coqPackages.compcert: enable for Coq 8.17 | Vincent Laporte | 1 | -1/+10 | |
2023-07-17 | coqPackages.compcert: 3.12 → 3.13 | Vincent Laporte | 1 | -1/+2 | |
2023-07-13 | coqPackages.autosubst: 1.7 -> 1.8 | Léo Stefanesco | 1 | -1/+4 | |
2023-07-12 | treewide: use lib.optional instead of 'then []' | Felix Buehler | 3 | -6/+3 | |
2023-07-11 | coqPackages.ITree: 5.1.0 → 5.1.1 | Vincent Laporte | 1 | -1/+2 | |
2023-07-04 | Merge pull request #241221 from vbgl/coq-CoLoR-1.8.4 | Nick Cao | 1 | -1/+2 | |
coqPackages.CoLoR: 1.8.3 → 1.8.4 | |||||
2023-07-03 | coqPackages.interval: 4.6.1 → 4.7.0 | Vincent Laporte | 1 | -1/+2 | |
2023-07-03 | coqPackages.CoLoR: 1.8.3 → 1.8.4 | Vincent Laporte | 1 | -1/+2 | |
2023-06-25 | treewide: use optionalAttrs instead of 'else {}' | Felix Buehler | 1 | -1/+1 | |
2023-06-20 | mathcomp-infotheo: 0.5.1 -> 0.5.2 | Reynald Affeldt | 1 | -0/+2 | |
2023-06-20 | hb dep is added later, after we check the version number | Cyril Cohen | 1 | -2/+1 | |
2023-06-15 | coqPackages.reglang: 1.1.2 → 1.1.3 | Vincent Laporte | 1 | -1/+2 | |
2023-06-15 | coqPackages.itauto: init at 8.17.0 for Coq 8.17 | Vincent Laporte | 2 | -3/+37 | |
Propagate `findlib` when needed Add tests | |||||
2023-06-13 | Merge pull request #235924 from Stunkymonkey/remove-then-{} | Pol Dellaiera | 1 | -3/+1 | |
treewide: use lib.optionalAttrs instead of 'then {}' | |||||
2023-06-12 | coqPackages.Verdi: 20211026 → 20230503 | Vincent Laporte | 1 | -0/+3 | |