about summary refs log tree commit diff
path: root/pkgs/development/coq-modules
AgeCommit message (Expand)AuthorFilesLines
2023-10-26coqPackages.coq-lsp: 0.1.7 -> 0.1.8Théo Zimmermann1-6/+6
2023-10-25Update pkgs/development/coq-modules/extructures/default.nixArthur Azevedo de Amorim1-1/+1
2023-10-25coqPackages.extructures: 0.3.1 -> 0.4.0Arthur Azevedo de Amorim1-0/+2
2023-10-25Add mathcomp 2.1.0Pierre Roux1-0/+2
2023-10-25coqPackages.corn: 8.16.0 → 8.18.0Vincent Laporte1-0/+2
2023-10-25coqPackages.math-classes: 8.17.0 → 8.18.0Vincent Laporte1-0/+2
2023-10-17coqPackages.deriving: 0.1.1 -> 0.2.0 (#258038)Arthur Azevedo de Amorim1-2/+4
2023-10-17Merge pull request #258096 from quinn-dougherty/init-coqPackages-vcfloatThéo Zimmermann1-0/+20
2023-10-13coqPackages.stdpp: 1.8 -> 1.9, coqPackages.iris: 4.0 -> 4.1Léo Stefanesco2-2/+6
2023-09-29coqPackages.vcfloat: init at 2.1.1Quinn Dougherty1-0/+20
2023-09-26coqPackages.serapi: fix build with Coq 8.16Vincent Laporte1-1/+1
2023-09-21coqPackages.itauto: enable for Coq 8.18Vincent Laporte1-0/+5
2023-09-21coqPackages.flocq: 4.1.1 → 4.1.3Vincent Laporte1-0/+2
2023-09-19compcert: add aarch64 supportWeijia Wang1-3/+16
2023-09-15coqPackages.coq-lsp: 0.1.7+8.17 -> 0.1.7+8.18Ali Caglayan1-0/+2
2023-09-15coqPackages.serapi: 8.17.0+0.17 -> 8.18.0+0.18Ali Caglayan1-0/+2
2023-09-04Add a few packages for Coq 8.18 and MathComp 2.0Pierre Roux6-12/+24
2023-09-04coq_8_18: init at 8.18+rc1Vincent Laporte34-32/+43
2023-09-04topology: 9.0.0 -> 10.2.0Pierre Roux2-0/+5
2023-09-01ocamlPackages.elpi: 1.16.5 → 1.17.0Pierre Roux1-2/+2
2023-08-31ocamlPackages.janestreet: 0.15 -> 0.16 (#247022)Dimitrije Radojević2-0/+21
2023-08-29coqPackages.coq-elpi: 1.17.0 → 1.18.0Vincent Laporte1-1/+2
2023-08-28coqPackages.hierarchy-builder: 1.4.0 → 1.5.0Vincent Laporte1-0/+2
2023-08-03treewide: noop: refer to `src.name` or similar in `sourceRoot` where appropri...Jan Malakhovski1-4/+4
2023-08-03coqPackages.paco: 4.1.2 → 4.2.0Vincent Laporte1-0/+2
2023-08-02coqPackages_8_17.iris: init at 4.0.0Steven Keuchel1-1/+1
2023-07-28coqPackages.coquelicot: 3.3.1 → 3.4.0Vincent Laporte1-1/+2
2023-07-28coqPackages.interval: 4.7.0 → 4.8.0Vincent Laporte1-1/+2
2023-07-27coqPackages.trakt: fix documented licenseThéo Zimmermann1-1/+1
2023-07-27coqPackages.trakt: add recent versionsThéo Zimmermann1-2/+6
2023-07-27coqPackages.coq-ext-lib: 0.11.7 → 0.11.8Vincent Laporte1-1/+2
2023-07-25coqPackages.parsec: 0.1.1 → 0.1.2Vincent Laporte1-0/+2
2023-07-25coqPackages.ceres: 0.4.0 → 0.4.1Vincent Laporte1-1/+7
2023-07-25coqPackages.bignums: 8.17.0 → 9.0.0+coq8.17Vincent Laporte1-4/+10
2023-07-21coqPackages.coq-lsp: 0.1.6.1 -> 0.1.7Léo Stefanesco1-4/+4
2023-07-17coqPackages.compcert: enable for Coq 8.17Vincent Laporte1-1/+10
2023-07-17coqPackages.compcert: 3.12 → 3.13Vincent Laporte1-1/+2
2023-07-13coqPackages.autosubst: 1.7 -> 1.8Léo Stefanesco1-1/+4
2023-07-12treewide: use lib.optional instead of 'then []'Felix Buehler3-6/+3
2023-07-11coqPackages.ITree: 5.1.0 → 5.1.1Vincent Laporte1-1/+2
2023-07-04Merge pull request #241221 from vbgl/coq-CoLoR-1.8.4Nick Cao1-1/+2
2023-07-03coqPackages.interval: 4.6.1 → 4.7.0Vincent Laporte1-1/+2
2023-07-03coqPackages.CoLoR: 1.8.3 → 1.8.4Vincent Laporte1-1/+2
2023-06-25treewide: use optionalAttrs instead of 'else {}'Felix Buehler1-1/+1
2023-06-20mathcomp-infotheo: 0.5.1 -> 0.5.2Reynald Affeldt1-0/+2
2023-06-20hb dep is added later, after we check the version numberCyril Cohen1-2/+1
2023-06-15coqPackages.reglang: 1.1.2 → 1.1.3Vincent Laporte1-1/+2
2023-06-15coqPackages.itauto: init at 8.17.0 for Coq 8.17Vincent Laporte2-3/+37
2023-06-13Merge pull request #235924 from Stunkymonkey/remove-then-{}Pol Dellaiera1-3/+1
2023-06-12coqPackages.Verdi: 20211026 → 20230503Vincent Laporte1-0/+3
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-16 03:44:57 +0000